scientific article; zbMATH DE number 1453063

MaRDI QIDQ4955336zbMATH OpenFDO

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

Publication date 25 May 2000

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
• scientific article; zbMATH DE number 1670569 (Why is no real title available?)
• 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:

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