A First Order Forward Chaining Approach for Answer Set Computing

DOI10.1007/978-3-642-04238-6_18MaRDI QIDQ3643118zbMATH OpenOpenAlexFDO

Authors Claire Lefèvre, Pascal Nicolas

Publication date 10 November 2009

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04238-6_18

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic programming (68N17)

Recommendations

• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• Integrating grounding in the search process for answer set computing
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming
• A translational approach to constraint answer set solving

Cited in

(8)

• scientific article; zbMATH DE number 7121940 (Why is no real title available?)
• Logic programming
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
• -ASP for computing repairs with existential ontologies
• Forward chaining for hybrid ASP
• Quantified constraint handling rules
• Integrating grounding in the search process for answer set computing

Describes a project that uses

Uses Software

• Gringo
• ASSAT
• ASPeRiX

This page was built for publication: A First Order Forward Chaining Approach for Answer Set Computing

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