Forward Chaining for Hybrid ASP

DOI10.1007/978-3-642-35722-0_6zbMath1419.68033OpenAlexW37580550MaRDI QIDQ3455837

Alex Brik, Jeffery B. 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)

Cites Work

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

This page was built for publication: Forward Chaining for Hybrid ASP