Exploring the future with resource-bounded agents

DOI10.1007/S10849-008-9074-5MaRDI QIDQ1006514zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2090953
• On the (un-)decidability of model checking resource-bounded agents
• A logic of situated resource-bounded agents
• Verifying systems of resource-bounded agents
• Verifying Space and Time Requirements for Resource-Bounded Agents

Cites work

• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2090953 (Why is no real title available?)
• scientific article; zbMATH DE number 1418378 (Why is no real title available?)
• A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
• A guide to completeness and complexity for modal logics of knowledge and belief
• Decision procedures for BDI logics
• Foundations of rational agency
• Local Models Semantics, or contextual reasoning = locality + compatibility
• Multi-Agent Programming
• Reasoning about rational agents

Cited in

(1)

• Human rationality challenges universal logic

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

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