Exploring the future with resource-bounded agents

DOI10.1007/S10849-008-9074-5zbMath1163.68338DBLPjournals/jolli/FisherG09OpenAlexW2036783912WikidataQ57302189 ScholiaQ57302189MaRDI QIDQ1006514

J. Martínez

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-9074-5

zbMATH Keywords

Agent-based systemsFormal specificationResource-bounded agents

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Human rationality challenges universal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A guide to completeness and complexity for modal logics of knowledge and belief
• Foundations of rational agency
• Decision procedures for BDI logics
• A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
• Multi-Agent Programming
• Local Models Semantics, or contextual reasoning = locality + compatibility

This page was built for publication: Exploring the future with resource-bounded agents