Developing bounded reasoning

DOI10.1007/s10849-008-9070-9zbMath1163.68038OpenAlexW1977870872MaRDI QIDQ1006510

Marc Bezem, Wojtek Szajnkenig, Michał Walicki

Publication date: 24 March 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-008-9070-9

zbMATH Keywords

AgentsTemporal reasoningBounded resources

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Belief, awareness, and limited reasoning
• Decidable and undecidable logics with a binary modality
• Completeness and Decidability in Sequence Logic
• Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures
• The complexity of propositional linear temporal logics
• A propositional modal logic of time intervals
• Logics in Artificial Intelligence
• A Road Map of Interval Temporal Logics and Duration Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Developing bounded reasoning