LUPS -- a language for updating logic programs

DOI10.1007/3-540-46767-X_12MaRDI QIDQ4955336zbMATH OpenFDO

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

Publication date 25 May 2000

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

Full work available at URL http://hdl.handle.net/10362/60212

zbMATH Keywords

dynamic logic programminglanguage for dynamic updatesLUPS

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• LUPS -- A language for updating logic programs
• A language for updating logic programs and its implementation
• scientific article; zbMATH DE number 1926644
• scientific article; zbMATH DE number 1890622
• scientific article; zbMATH DE number 2085244
• Foundations of Information and Knowledge Systems
• Updates of logic programs
• scientific article; zbMATH DE number 2084427
• Logics in Artificial Intelligence

Cited in

(14)

• LUPS
• LUPS -- A language for updating logic programs
• Dynamic knowledge representation and its applications
• A language for multi-dimensional updates
• Evolving logic programs with temporal operators
• A language for updating logic programs and its implementation
• Dynamic predicates in functional logic programs
• Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
• scientific article; zbMATH DE number 1926644 (Why is no real title available?)
• scientific article; zbMATH DE number 2085244 (Why is no real title available?)
• scientific article; zbMATH DE number 1878314 (Why is no real title available?)
• scientific article; zbMATH DE number 1890622 (Why is no real title available?)
• Dynamic reasoning systems
• Computational Logic in Multi-Agent Systems

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 Q4955336)