EVOLP: Tranformation-Based Semantics
From MaRDI portal
Publication:3602944
Recommendations
Cites work
- scientific article; zbMATH DE number 1931644 (Why is no real title available?)
- scientific article; zbMATH DE number 1931648 (Why is no real title available?)
- scientific article; zbMATH DE number 1878314 (Why is no real title available?)
- scientific article; zbMATH DE number 1890622 (Why is no real title available?)
- scientific article; zbMATH DE number 1453062 (Why is no real title available?)
- A survey of programming languages and platforms for multi-agent systems
- Adding Evolving Abilities to a Multi-Agent System
- Computational Logic in Multi-Agent Systems
- ConGolog, a concurrent programming language based on the situation calculus
- Dynamic updates of non-monotonic knowledge bases
- EVOLP: An Implementation
- LUPS -- A language for updating logic programs
- Logic-based specification languages for intelligent software agents
- Multi-Agent Programming
- On properties of update sequences based on causal rejection
- Reasoning robots. The art and science of programming robotic agents
- The refinement extension principle for semantics of dynamic logic programming
Cited in
(3)
This page was built for publication: EVOLP: Tranformation-Based Semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602944)