External sources of knowledge and value invention in logic programming

DOI10.1007/S10472-007-9076-ZzbMATH Open1125.68026OpenAlexW2066812801MaRDI QIDQ2457798FDOQ2457798

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

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

zbMATH Keywords

Artificial intelligenceLogic programmingAnswer set semanticsValue invention

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (17)

• Constraint answer set programming without grounding
• Domain expansion for ASP-programs with external sources
• 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
• 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
• DLV-EX
• 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

Uses Software

• DLV
• foaf

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)