External sources of knowledge and value invention in logic programming

DOI10.1007/s10472-007-9076-zzbMath1125.68026MaRDI 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 programming; Artificial intelligence; Answer set semantics; Value invention

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68N17: Logic programming

Related Items

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, A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders, Multi-shot ASP solving with clingo, Computable Functions in ASP: Theory and Implementation, DLV-EX, Domain expansion for ASP-programs with external sources, Pruning external minimality checking for answer set programs using semantic dependencies, The Fusemate logic programming system, Supportedly stable answer sets for logic programs with generalized atoms, The Intelligent Grounder of DLV, Towards a Type Discipline for Answer Set Programming, Answer Set Programming: A Primer, Combining Nonmonotonic Knowledge Bases 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