Developing bounded reasoning

DOI10.1007/S10849-008-9070-9MaRDI QIDQ1006510zbMATH OpenOpenAlexFDO

Authors Michał Walicki, Marc Bezem, Wojtek Szajnkenig

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)

Recommendations

• Learning to reason with a restricted view
• Learning to reason
• Reasoning about reasoning
• Reasoning logically in cognitive domains
• Reasoning about rationality
• Reasoning about constructive concepts

Cites work

• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 1931665 (Why is no real title available?)
• A Road Map of Interval Temporal Logics and Duration Calculi
• A propositional modal logic of time intervals
• Belief, awareness, and limited reasoning
• Completeness and Decidability in Sequence Logic
• Decidable and undecidable logics with a binary modality
• Logics in Artificial Intelligence
• Modal logic
• Resource-bounded reasoning about knowledge
• Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures
• The complexity of propositional linear temporal logics

Cited in

(11)

• A logic of situated resource-bounded agents
• Bounded rationality in multiagent systems using decentralized metareasoning
• scientific article; zbMATH DE number 2090953 (Why is no real title available?)
• Progression and verification of situation calculus agents with bounded beliefs
• Reasoning about Other Agents’ Beliefs under Bounded Resources
• The effort of reasoning: modelling the inference steps of boundedly rational agents
• A time-situated meta-logic for characterizing goal-processing bounded agents
• The effort of reasoning: modelling the inference steps of boundedly rational agents
• ALX, an action logic for agents with bounded rationality
• Verifying Space and Time Requirements for Resource-Bounded Agents
• Logics in Artificial Intelligence

This page was built for publication: Developing bounded reasoning

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