External sources of knowledge and value invention in logic programming

DOI10.1007/S10472-007-9076-ZMaRDI QIDQ2457798zbMATH OpenOpenAlexFDO

Authors Francesco Calimeri, Susanna Cozza, 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

Artificial intelligenceLogic programmingAnswer set semanticsValue invention

Mathematics Subject Classification ID

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

Recommendations

• Decidable Fragments of Logic Programming with Value Invention
• scientific article; zbMATH DE number 826302
• Logic programming with external procedures: Introducing S-unification
• Domain expansion for ASP-programs with external sources
• Logic Programming in Knowledge Domains

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1884395 (Why is no real title available?)
• scientific article; zbMATH DE number 1884396 (Why is no real title available?)
• Datalog extensions for database queries and updates
• Discovery Science
• Extending and implementing the stable model semantics
• Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming
• Logic for Programming, Artificial Intelligence, and Reasoning
• Reasoning with infinite stable models
• Set unification
• The expressive power of stratified logic programs with value invention

Cited in

(17)

• Domain expansion for ASP-programs with external sources
• Constraint answer set programming without grounding
• A model building framework for answer set programming with external computations
• Computable Functions in ASP: Theory and Implementation
• Answer Set Programming: A Primer
• Towards a Type Discipline for Answer Set Programming
• The Fusemate logic programming system
• DLV-EX
• A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
• Constraint answer set solver EZCSP and why integration schemas matter
• Pruning external minimality checking for answer set programs using semantic dependencies
• Multi-shot ASP solving with clingo
• Decidable Fragments of Logic Programming with Value Invention
• Combining nonmonotonic knowledge bases with external sources
• The intelligent grounder of DLV
• Supportedly stable answer sets for logic programs with generalized atoms
• Constraint Answer Set Solving

Describes a project that uses

Uses Software

• foaf
• DLV

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2457798)