An epistemic logic for multi-agent systems with budget and costs

DOI10.1007/978-3-030-75775-5_8OpenAlexW3160781798MaRDI QIDQ2055785

Valentina Pitoni, Stefania Costantini, Andrea Formisano

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-75775-5_8

zbMATH Keywords

epistemic logicmental actionsmulti agents systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Dynamic logics of evidence-based beliefs
• Epistemic logic for rule-based agents
• Belief, awareness, and limited reasoning
• Prolegomena to a theory of mechanized formal reasoning
• The dynamics of epistemic attitudes in resource-bounded agents
• Dynamic epistemic logic for implicit and explicit beliefs
• Explicit and Implicit Knowledge in Neighbourhood Models
• Weight Constraints with Preferences in ASP
• Extending and Implementing RASP
• Answer Set Programming with Resources
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• Reasoning about rational, but not logically omniscient, agents
• Alternating-time temporal logic with resource bounds
• Computational Logic in Multi-Agent Systems

This page was built for publication: An epistemic logic for multi-agent systems with budget and costs