scientific article; zbMATH DE number 1523020

zbMATH Open0953.03517MaRDI QIDQ4511287FDOQ4511287

Authors: Saša Buvač, John McCarthy 

Publication date: 1 February 2001

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cited In (8)

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

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)