K Modal Logic Approach to Maze Solving

2018 IEEE 12th International Symposium on Applied Computational Intelligence and Informatics (SACI) ◽

10.1109/saci.2018.8441020 ◽

2018 ◽

Author(s):

Dinko Osmankovic ◽

Aleksandar Acimovic

Keyword(s):

Modal Logic ◽

Download Full-text

Modelling and Verification Analysis of the Predator-Prey System via a Modal Logic Approach

Lecture Notes in Computer Science - Advances in Swarm Intelligence ◽

10.1007/978-3-319-93815-8_2 ◽

2018 ◽

pp. 14-21

Author(s):

Zvi Retchkiman Konigsberg

Keyword(s):

Modal Logic ◽

Predator Prey ◽

Prey System ◽

Download Full-text

Modeling Belief, Capability and Promise for Cognitive Agents – A Modal Logic Approach

Lecture Notes in Computer Science - Advances in Natural Computation ◽

10.1007/11539087_111 ◽

2005 ◽

pp. 825-834 ◽

Author(s):

Xinyu Zhao ◽

Zuoquan Lin

Keyword(s):

Modal Logic ◽

Cognitive Agents ◽

Download Full-text

Knowledge Assessment: A Modal Logic Approach

Intelligent Agents and Multi-Agent Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89674-6_35 ◽

2008 ◽

pp. 315-322

Author(s):

Vineet Padmanabhan ◽

Guido Governatori ◽

Subhasis Thakur

Keyword(s):

Modal Logic ◽

Knowledge Assessment ◽

Download Full-text

Handling imperfection in databases: A modal logic approach

Lecture Notes in Computer Science - Database and Expert Systems Applications ◽

10.1007/bfb0022069 ◽

1997 ◽

pp. 613-622 ◽

Author(s):

Michinori Nakata ◽

Germano Resconi ◽

Tetsuya Murai

Keyword(s):

Modal Logic ◽

Download Full-text

A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples

Fuzzy Approaches for Soft Computing and Approximate Reasoning: Theories and Applications - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-030-54341-9_5 ◽

2020 ◽

pp. 45-59

Author(s):

Francesc Esteva ◽

Lluis Godo ◽

Sandra Sandri

Keyword(s):

Modal Logic ◽

Download Full-text

Roles and dynamic subclasses: A modal logic approach

Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0052175 ◽

1994 ◽

pp. 32-59 ◽

Author(s):

Roel Wieringa ◽

Wiebren de Jonge ◽

Paul Spruit

Keyword(s):

Modal Logic ◽

Download Full-text

Modelling and Verification Analysis of Cooperative and Non-Cooperative Games via a Modal Logic Approach

Computación y Sistemas ◽

10.13053/cys-25-3-3998 ◽

2021 ◽

Vol 25 (3) ◽

Author(s):

Zvi Retchkiman Königsberg

Keyword(s):

Modal Logic ◽

Cooperative Games ◽

Logic Approach ◽

Non Cooperative Games

Download Full-text

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach

2009 International Conference on Computational Science and Engineering ◽

10.1109/cse.2009.251 ◽

2009 ◽

Author(s):

Yasuyuki Tsukada ◽

Ken Mano ◽

Hideki Sakurada ◽

Yoshinobu Kawabe

Keyword(s):

Modal Logic ◽

Download Full-text

Aristotle's modal logic

10.1017/cbo9780511609015 ◽

1995 ◽

Author(s):

Richard Patterson

Keyword(s):

Download Full-text

Modal Logic

10.1017/cbo9780511621192 ◽

1980 ◽

Cited By ~ 1028

Author(s):

Brian F. Chellas

Keyword(s):

Download Full-text