EVOLP: An Implementation

DOI10.1007/978-3-540-88833-8_16MaRDI QIDQ3602956zbMATH 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_16

Mathematics Subject Classification ID

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

Recommendations

• EVOLP: Tranformation-Based Semantics
• scientific article; zbMATH DE number 1931648
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 490759
• Program updating by incremental and answer subsumption tabling

Cites work

• scientific article; zbMATH DE number 1931648 (Why is no real title available?)
• Adding Evolving Abilities to a Multi-Agent System
• EVOLP: Tranformation-Based Semantics
• Programming Multi-Agent Systems in AgentSpeak usingJason
• The refinement extension principle for semantics of dynamic logic programming

Cited in

(2)

• EVOLP: Tranformation-Based Semantics
• EVOLP

Describes a project that uses

Uses Software

• Jason

This page was built for publication: EVOLP: An Implementation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602956)