Hybrid answer set programming

DOI10.1016/j.apal.2013.07.008zbMath1344.68041OpenAlexW2089704334MaRDI QIDQ392277

Alex Brik, Jeffery B. Remmel

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.008

zbMATH Keywords

Markov decision processesanswer set programmingmodeling and simulationdynamic domainsstable models

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Integrating answer set programming and constraint logic programming
• A new approach to hybrid probabilistic logic programs
• Extensions of Answer Set Programming
• Complexity of finite-horizon Markov decision process problems
• Probabilistic reasoning with answer sets
• The Complexity of Markov Decision Processes
• Constraint Answer Set Solving