scientific article; zbMATH DE number 1453062

zbMath0952.68052MaRDI QIDQ4955335

Chiaki Sakama, Katsumi Inoue

Publication date: 25 May 2000

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

zbMATH Keywords

knowledge basesextended logic programs

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Logic programming (68N17)

Related Items (6)

Default Negation as Explicit Negation plus Update ⋮ Solving logic program conflict through strong and weak forgettings ⋮ Merging Logic Programs under Answer Set Semantics ⋮ EVOLP: Tranformation-Based Semantics ⋮ Model reconciliation in logic programs ⋮ The refinement extension principle for semantics of dynamic logic programming

This page was built for publication: