EVOLP: Tranformation-Based Semantics
From MaRDI portal
Publication:3602944
DOI10.1007/978-3-540-88833-8_7zbMath1175.68463MaRDI QIDQ3602944
Publication date: 12 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-88833-8_7
Related Items
Uses Software
Cites Work
- ConGolog, a concurrent programming language based on the situation calculus
- LUPS -- A language for updating logic programs
- Reasoning robots. The art and science of programming robotic agents
- The refinement extension principle for semantics of dynamic logic programming
- EVOLP: An Implementation
- On properties of update sequences based on causal rejection
- Dynamic updates of non-monotonic knowledge bases
- Logic-based specification languages for intelligent software agents
- Adding Evolving Abilities to a Multi-Agent System
- Multi-Agent Programming
- Computational Logic in Multi-Agent Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item