LUPS -- A language for updating logic programs

DOI10.1016/S0004-3702(02)00183-2MaRDI QIDQ1603734zbMATH OpenOpenAlexWikidataFDO

Authors José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, 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

knowledge updateslogic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1453063
• scientific article; zbMATH DE number 1926644
• scientific article; zbMATH DE number 2085244
• A language for multi-dimensional updates
• scientific article; zbMATH DE number 1878314

Cites work

• Disjunctive logic programs with inheritance
• Dynamic updates of non-monotonic knowledge bases
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1759366 (Why is no real title available?)
• scientific article; zbMATH DE number 1761412 (Why is no real title available?)
• scientific article; zbMATH DE number 1761413 (Why is no real title available?)
• Negation as failure in the head
• Representing action and change by logic programs
• The relationship between logic programs and specifications-the subset example revisited
• Update by means of inference rules

Cited in

(16)

• Logic programming and knowledge representation---The A-Prolog perspective
• Naturalizing logic
• Computational methods for database repair by signed formulae
• scientific article; zbMATH DE number 1670569 (Why is no real title available?)
• A language for multi-dimensional updates
• A language for updating logic programs and its implementation
• Dynamic predicates in functional logic programs
• EVOLP: Tranformation-Based Semantics
• Putting logic-based distributed systems on stable grounds
• scientific article; zbMATH DE number 1931648 (Why is no real title available?)
• scientific article; zbMATH DE number 2085244 (Why is no real title available?)
• scientific article; zbMATH DE number 1890622 (Why is no real title available?)
• scientific article; zbMATH DE number 1453063 (Why is no real title available?)
• Multi-shot ASP solving with clingo
• Dynamic reasoning systems
• Computational Logic in Multi-Agent Systems

Describes a project that uses

Uses Software

• LUPS

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

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