External sources of knowledge and value invention in logic programming

DOI10.1007/s10472-007-9076-zzbMath1125.68026OpenAlexW2066812801MaRDI QIDQ2457798

Susanna Cozza, Francesco Calimeri, Giovambattista Ianni

Publication date: 23 October 2007

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-007-9076-z

zbMATH Keywords

Logic programmingArtificial intelligenceAnswer set semanticsValue invention

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (16)

Supportedly stable answer sets for logic programs with generalized atoms ⋮ The Intelligent Grounder of DLV ⋮ Constraint Answer Set Programming without Grounding ⋮ A model building framework for answer set programming with external computations ⋮ Constraint answer set solver EZCSP and why integration schemas matter ⋮ Constraint Answer Set Solving ⋮ Multi-shot ASP solving with clingo ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ The Fusemate logic programming system ⋮ DLV-EX ⋮ Towards a Type Discipline for Answer Set Programming ⋮ Answer Set Programming: A Primer ⋮ Combining Nonmonotonic Knowledge Bases with External Sources ⋮ Computable Functions in ASP: Theory and Implementation ⋮ Domain expansion for ASP-programs with external sources

Uses Software

• DLV
• foaf

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning with infinite stable models
• Datalog extensions for database queries and updates
• The expressive power of stratified logic programs with value invention
• Extending and implementing the stable model semantics
• Set unification
• Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming
• Discovery Science
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: External sources of knowledge and value invention in logic programming