scientific article; zbMATH DE number 1523020

MaRDI QIDQ4511287zbMATH OpenFDO

Authors Saša Buvač, John McCarthy

Publication date 1 February 2001

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cited in

(8)

• Bridges from language to logic: concepts, contexts and ontologies
• Distributed first order logic
• The well-designed child
• Partition-based logical reasoning for first-order and propositional theories
• Comparing formal theories of context in AI
• Towards a general theory of topological maps
• Local Models Semantics, or contextual reasoning = locality + compatibility
• A decidable multi-modal logic of context

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4511287)