Sage Journals: Discover world-class research

Retricted access

Research article

First published 2005-2

Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic

S Jeyaraman, A Tsourdos, R Zbikowski [...]

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2009-5

Logic of discovery and knowledge. Decision algorithm

Sergey Babenyshev, Vladimir Rybakov

Intelligent Decision Technologies

Open access

Research article

First published 2023-05-04

Quantitative reachability analysis of generalized possibilistic decision processes

Zhanyou Ma, Yingnan Gao, Zhaokai Li [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2019

Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic

Toshihiko Kurata, Ken-etsu Fujita

Fundamenta Informaticae

Retricted access

Research article

First published 1992

Many-Vawed Modal Logics II

Melvin Fitting

Fundamenta Informaticae

Open access

Research article

First published 2012-9-1

Modal and temporal argumentation networks †

H. Barringer, D.M. Gabbay, J. Woods

Argument & Computation

Retricted access

Research article

First published 2014-11

Quantitative Analysis of Lattice-valued Kripke Structures

Haiyu Pan, Min Zhang, Hengyang Wu [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2019-02-16

Multi-valued bisimulation quotienting algorithms 1

Deng Hui, Li Zhi

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 1991

Many-Valued Modal Logics

Melvin C. Fitting

Fundamenta Informaticae

Retricted access

Research article

First published 1998-5

Avoiding logical omniscience and perfect reasoning: a survey

Antonio Moreno

The European Journal on Artificial Intelligence

Search results