Hybrid answer set programming

DOI10.1016/J.APAL.2013.07.008MaRDI QIDQ392277zbMATH OpenOpenAlexFDO

Authors Alex Brik, Jeffrey 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

answer set programmingMarkov decision processesmodeling and simulationdynamic domainsstable models

Mathematics Subject Classification ID

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

Recommendations

• Hybrid ASP
• Extensions of answer set programming
• Action language Hybrid AL
• Extensions of answer set programming
• Combining answer set programming and Prolog: The \(\mathbb{ASP}\)-\(\mathbb{PROLOG}\) system

Cites work

• scientific article; zbMATH DE number 3126094 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• A new approach to hybrid probabilistic logic programs
• Complexity of finite-horizon Markov decision process problems
• Constraint Answer Set Solving
• Extensions of answer set programming
• Hybrid ASP
• Integrating answer set programming and constraint logic programming
• Probabilistic reasoning with answer sets
• Reinforcement learning in finite MDPs: PAC analysis
• The Complexity of Markov Decision Processes

Cited in

(2)

• Extensions of answer set programming
• Hybrid ASP

This page was built for publication: Hybrid answer set programming

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