EVOLP: Tranformation-Based Semantics

DOI10.1007/978-3-540-88833-8_7MaRDI QIDQ3602944zbMATH OpenOpenAlexFDO

Authors Martin Slota, João Leite

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

Mathematics Subject Classification ID

Logic programming (68N17) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 1931648
• Computational Logic in Multi-Agent Systems
• Evolving logic programs with temporal operators
• EVOLP: An Implementation
• scientific article; zbMATH DE number 1878314

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)

• Adding Evolving Abilities to a Multi-Agent System
• EVOLP: An Implementation
• Progress in Artificial Intelligence

Describes a project that uses

Uses Software

• Jason
• IMPACT
• EVOLP
• LUPS
• ConGolog

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)