Logic for Programming, Artificial Intelligence, and Reasoning

DOI10.1007/b106931zbMath1108.68359OpenAlexW4206255911MaRDI QIDQ5705946

Thomas Eiter, Roman Schindlauer, Hans Tompits, Giovambattista Ianni

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106931

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items

Witnesses for Answer Sets of Logic Programs ⋮ Diagnostic Reasoning for Robotics Using Action Languages ⋮ Conceptual logic programs ⋮ Combining answer set programming with description logics for the semantic web ⋮ Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin ⋮ Three-valued semantics for hybrid MKNF knowledge bases revisited ⋮ Ordered completion for logic programs with aggregates ⋮ External sources of knowledge and value invention in logic programming ⋮ Exploiting conjunctive queries in description logic programs