Modal Logics for Qualitative Spatial Reasoning

Logic Journal of the IGPL- United Kingdom

doi 10.1093/jigpal/4.1.23

Full Text

Abstract

Available in

Categories

Date

January 1, 1996

Authors

BRANDON BENNETT

Publisher

Oxford University Press (OUP)

Related search

Qualitative Spatial Logics for Buffered Geometries

Journal of Artificial Intelligence Research

Artificial Intelligence

English

Qualitative Spatial Reasoning

English

The Complexity of Reasoning With Boolean Modal Logics

English

Qualitative Spatial Reasoning and Spatial Relations

European Journal of Psychological Studies

English

Combining Qualitative Spatial Reasoning and Ontological Reasoning for Supporting Robot Tasks

English

SPARQS: A Qualitative Spatial Reasoning Engine

Knowledge-Based Systems

Information Systems

Artificial Intelligence

Management Information Systems

Spanish

Modal Logics for Continuous Dynamics

English

Sequent Systems for Modal Logics

English

First-Order Resolution Methods for Modal Logics

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English