scientific article
From MaRDI portal
Publication:2734932
zbMath0979.68091MaRDI QIDQ2734932
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Publication date: 27 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items (18)
Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system ⋮ The Design of the Sixth Answer Set Programming Competition ⋮ Disjunctive Programs with Set Constraints ⋮ Deductive databases for computing certain and consistent answers from mediated data integration systems ⋮ Maintenance goals of agents in a dynamic environment: formulation and policy construction ⋮ Combining answer set programming with description logics for the semantic web ⋮ Beyond NP: Quantifying over Answer Sets ⋮ On look-ahead heuristics in disjunctive logic programming ⋮ Design and results of the Fifth Answer Set Programming Competition ⋮ The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ A Logical Approach to Qualitative and Quantitative Reasoning ⋮ On reasoning about structural equality in XML: a description logic approach ⋮ Nonmonotonic Trust Management for P2P Applications ⋮ Answer Set Programming: A Primer ⋮ \textsc{Argonauts}: a working system for motivated cooperative agents ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ Fixed-parameter complexity in AI and nonmonotonic reasoning ⋮ Enhancing disjunctive logic programming systems by SAT checkers
Uses Software
This page was built for publication:
