scientific article; zbMATH DE number 1878314

zbMath1056.68138MaRDI QIDQ4797777

João Alexandre Leite

Publication date: 9 March 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

dynamic logic programminglogic program updatesmultidimensional dynamic logic programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

Related Items (8)

Default Negation as Explicit Negation plus Update ⋮ Belief revision within fragments of propositional logic ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Solving logic program conflict through strong and weak forgettings ⋮ Merging Logic Programs under Answer Set Semantics ⋮ EVOLP: Tranformation-Based Semantics ⋮ Forgetting in ASP: The Forgotten Properties ⋮ The refinement extension principle for semantics of dynamic logic programming

Uses Software

• Unnamed Item

This page was built for publication: