A language for multi-dimensional updates

MaRDI QIDQ2844914zbMATH OpenFDO

Authors João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski

Publication date 20 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104805863

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• LUPS -- A language for updating logic programs
• Multi-dimensional logic programming: theoretical foundations
• scientific article; zbMATH DE number 1884401
• scientific article; zbMATH DE number 1453063
• Dynamic updates of non-monotonic knowledge bases

Cited in

(6)

• LUPS -- A language for updating logic programs
• Moviola: interpreting dynamic logic programs via multi-shot answer set programming
• Adding multidimensionality to procedural programming languages
• Context Update for Lambdas and Vectors
• scientific article; zbMATH DE number 1884401 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: A language for multi-dimensional updates

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