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

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

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)

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

Describes a project that uses

Uses Software

• ASPeRiX
• Gringo
• ASSAT

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)