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

logic programmingknowledge updates

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

• 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?)
• Disjunctive logic programs with inheritance
• Dynamic updates of non-monotonic knowledge bases
• 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

(15)

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

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)