Action language BC+

DOI10.1093/LOGCOM/EXV062MaRDI QIDQ3304092zbMATH OpenOpenAlexFDO

Authors Joseph Babb, Joohyung Lee

Publication date 5 August 2020

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exv062

zbMATH Keywords

action languagesanswer set programmingtransition systems

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30) Natural language processing (68T50)

Recommendations

• A probabilistic extension of action language \(\mathcal{BC}+\)
• Reformulating action language \(\mathcal{C}+\) in answer set programming
• Online action language \(o\mathcal {BC}+\)
• Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
• Representing the language of the causal calculator in answer set programming

Cited in

(11)

• Two components of an action language
• Elaboration tolerant representation of Markov decision process via decision-theoretic extension of probabilistic action language \(p\mathcal{BC}+\)
• Action language Hybrid AL
• Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
• Extending action language \(\mathcal{C}+\) by formalizing composite actions
• Reformulating action language \(\mathcal{C}+\) in answer set programming
• Online action language \(o\mathcal {BC}+\)
• A probabilistic extension of action language \(\mathcal{BC}+\)
• Coala: a compiler from action languages to ASP
• Statistical relational extension of answer set programming
• Optimal planning with expressive action languages as constraint optimization

This page was built for publication: Action language \(\mathcal{BC}+\)

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