EVOLP: Tranformation-Based Semantics

DOI10.1007/978-3-540-88833-8_7zbMATH Open1175.68463OpenAlexW1497863183MaRDI QIDQ3602944FDOQ3602944

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

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

Mathematics Subject Classification ID

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

Cites Work

• ConGolog, a concurrent programming language based on the situation calculus
• EVOLP: An Implementation
• Title not available (Why is that?)
• On properties of update sequences based on causal rejection
• Dynamic updates of non-monotonic knowledge bases
• Title not available (Why is that?)
• Multi-Agent Programming
• The refinement extension principle for semantics of dynamic logic programming
• Reasoning robots. The art and science of programming robotic agents
• LUPS -- A language for updating logic programs
• A survey of programming languages and platforms for multi-agent systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic-based specification languages for intelligent software agents
• Adding Evolving Abilities to a Multi-Agent System
• Computational Logic in Multi-Agent Systems

Cited In (3)

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

Uses Software

• ConGolog
• LUPS
• EVOLP
• IMPACT
• Jason

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)