Evolving logic programs

DOI10.1007/3-540-45757-7_5MaRDI QIDQ4708906zbMATH OpenFDO

Authors José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira

Publication date 20 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240050.htm

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1878314
• Evolving logic programs with temporal operators
• Reasoning about evolving nonmonotonic knowledge bases
• Reasoning about evolving nonmonotonic knowledge bases
• LUPS -- A language for updating logic programs

Cited in

(25)

• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Naturalizing logic
• Multi-context systems in dynamic environments
• Reactive computing as model generation
• Inconsistency Management in Reactive Multi-context Systems
• Program updating by incremental and answer subsumption tabling
• A selective semantics for logic programs with preferences
• Reasoning about evolving nonmonotonic knowledge bases
• Evolving logic programs with temporal operators
• Approved Models for Normal Logic Programs
• EVOLP: Tranformation-Based Semantics
• EVOLP: An Implementation
• Composing Open Logic Programs
• scientific article; zbMATH DE number 1081141 (Why is no real title available?)
• Logic programming updating -- A guided approach
• scientific article; zbMATH DE number 1878314 (Why is no real title available?)
• scientific article; zbMATH DE number 1420815 (Why is no real title available?)
• Asynchronous multi-context systems
• Progress in Artificial Intelligence
• Reasoning about evolving nonmonotonic knowledge bases
• Collaborative vs. Conflicting Learning, Evolution and Argumentation
• scientific article; zbMATH DE number 5044617 (Why is no real title available?)
• Computational Logic in Multi-Agent Systems
• Updating action domain descriptions
• Methodological naturalism and epistemic internalism

Describes a project that uses

Uses Software

• LUPS

This page was built for publication: Evolving logic programs

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