Making Golog Norm Compliant
From MaRDI portal
Publication:3092308
DOI10.1007/978-3-642-22359-4_19zbMath1348.68257OpenAlexW1759964758MaRDI QIDQ3092308
Publication date: 16 September 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22359-4_19
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Agent strands in the action language \(n\mathcal C +\)
- Choosing social laws for multi-agent systems: Minimality and simplicity
- ConGolog, a concurrent programming language based on the situation calculus
- Evolving Logic Programs with Temporal Operators
- Some contributions to the metatheory of the situation calculus
- Verification of Protocol Conformance and Agent Interoperability
- Normative Multi-agent Programs and Their Logics
- GOLOG: A logic programming language for dynamic domains
This page was built for publication: Making Golog Norm Compliant