Forward chaining for hybrid ASP

DOI10.1007/978-3-642-35722-0_6MaRDI QIDQ3455837zbMATH OpenOpenAlexFDO

Authors Alex Brik, Jeffrey Remmel

Publication date 11 December 2015

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35722-0_6

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic programs, well-orderings, and forward chaining
• A First Order Forward Chaining Approach for Answer Set Computing
• Forward chaining is simple\((x)\)
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• Extensions of answer set programming

Cites work

• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• Extending and implementing the stable model semantics
• Logic programs, well-orderings, and forward chaining
• Monte Carlo sampling methods using Markov chains and their applications
• The Markov chain Monte Carlo revolution
• The Semantics of Predicate Logic as a Programming Language
• What do we know about the Metropolis algorithm?

Cited in

(3)

• Forward chaining is simple\((x)\)
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• scientific article; zbMATH DE number 7455702 (Why is no real title available?)

This page was built for publication: Forward chaining for hybrid ASP

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