LUPS -- A language for updating logic programs

DOI10.1016/S0004-3702(02)00183-2zbMath0995.68023OpenAlexW2012373058WikidataQ62038988 ScholiaQ62038988MaRDI QIDQ1603734

Halina Przymusinska, José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski

Publication date: 15 July 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(02)00183-2

zbMATH Keywords

logic programmingknowledge updates

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (7)

Dynamic Reasoning Systems ⋮ Putting logic-based distributed systems on stable grounds ⋮ Naturalizing logic ⋮ Computational methods for database repair by signed formulae ⋮ EVOLP: Tranformation-Based Semantics ⋮ Multi-shot ASP solving with clingo ⋮ Logic programming and knowledge representation---The A-Prolog perspective

Uses Software

• LUPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Negation as failure in the head
• Representing action and change by logic programs
• Update by means of inference rules
• The relationship between logic programs and specifications-the subset example revisited
• Disjunctive logic programs with inheritance
• Dynamic updates of non-monotonic knowledge bases

This page was built for publication: LUPS -- A language for updating logic programs