An update front-end for extended logic programs

DOI10.1007/3-540-45402-0_30MaRDI QIDQ4800165zbMATH OpenFDO

Authors Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits

Publication date 18 May 2003

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

Full work available at URL https://doi.org/10.1007/3-540-45402-0_30

Mathematics Subject Classification ID

Logic programming (68N17) Computing methodologies and applications (68U99)

Recommendations

• Considerations on updates of logic programs
• Updating extended logic programs through abduction
• LUPS -- a language for updating logic programs
• A language for updating logic programs and its implementation
• LUPS -- A language for updating logic programs

Cited in

(12)

• Moviola: interpreting dynamic logic programs via multi-shot answer set programming
• The refinement extension principle for semantics of dynamic logic programming
• Program updating by incremental and answer subsumption tabling
• Early recovery in logic program updates
• A language for updating logic programs and its implementation
• EVOLP: Tranformation-Based Semantics
• Partial deduction of updateable definite logic programs
• Considerations on updates of logic programs
• Updating extended logic programs through abduction
• LUPS -- a language for updating logic programs
• Logic program-based updates
• A Preference-Based Framework for Updating Logic Programs

This page was built for publication: An update front-end for extended logic programs

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