External sources of knowledge and value invention in logic programming

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

Giovambattista Ianni, Francesco Calimeri, Susanna Cozza

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 Solving, Computable Functions in ASP: Theory and Implementation, DLV-EX, Domain expansion for ASP-programs with external sources, 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