From logic programs updates to action description updates

DOI10.1007/11533092_4MaRDI QIDQ5706847zbMATH OpenOpenAlexFDO

Authors José Júlio Alferes, Federico Banti, Antonio Brogi

Publication date 23 November 2005

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

Full work available at URL https://doi.org/10.1007/11533092

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Evolving logic programs
• LUPS -- a language for updating logic programs
• Evolving logic programs with temporal operators
• LUPS -- A language for updating logic programs
• Updating action domain descriptions

Cited in

(6)

• Comparing action descriptions based on semantic preferences
• Playing with rules
• An Event-Condition-Action Logic Programming Language
• EVOLP: Tranformation-Based Semantics
• Putting ABox updates into action
• Updating action domain descriptions

Describes a project that uses

Uses Software

• LUPS

This page was built for publication: From logic programs updates to action description updates

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