Logic programming for finding models in the logics of knowledge and its applications: A case study

DOI10.1017/S1471068410000359zbMath1213.68168arXiv1007.3700OpenAlexW3099531604MaRDI QIDQ3585176

Enrico Pontelli, Gregory Gelfond, Tran Cao Son, Chitta R. Baral

Publication date: 19 August 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.3700

zbMATH Keywords

planningmodal logicsmulti-agents

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains ⋮ Solving distributed constraint optimization problems using logic programming ⋮ An action language for multi-agent domains

Uses Software

• LoTREC

Cites Work

• Logics of communication and change
• Dynamic epistemic logic
• Logic programs with stable model semantics as a constraint programming paradigm
• Logics for epistemic programs
• A theory of knowledge and ignorance for many agents
• Bounded LTL model checking with stable models
• Domain-dependent knowledge in answer set planning

This page was built for publication: Logic programming for finding models in the logics of knowledge and its applications: A case study