scientific article
From MaRDI portal
Publication:2751371
zbMath0991.03036MaRDI QIDQ2751371
Jürgen Dix, Ulrich Furbach, Ilkka Niemelä
Publication date: 29 August 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
artificial intelligenceautoepistemic logicdefault logicimplementationlogic programmingcircumscriptionnonmonotonic logicsrational closure
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
Related Items (8)
Model checking multi-agent systems with logic based Petri nets ⋮ Proof complexity of propositional default logic ⋮ Heterogeneous active agents. III: Polynomially implementable agents ⋮ A general theory of confluent rewriting systems for logic programming and its applications ⋮ Nonmonotonicity in the framework of parametric logic ⋮ Explaining updates by minimal sums ⋮ Proof Complexity of Non-classical Logics ⋮ Relating defeasible and normal logic programming through transformation properties.
Uses Software
This page was built for publication:
