scientific article

DOI10.4230/LIPIcs.ICLP.2011.51zbMath1245.68048MaRDI QIDQ2909140

Joohyung Lee, Michael Casolary

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_a79c.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

action languagesanswer set programmingnonmonotonic causal logic

Mathematics Subject Classification ID

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

Related Items

Diagnostic Reasoning for Robotics Using Action Languages ⋮ Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions ⋮ Applications of Action Languages in Cognitive Robotics ⋮ Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming ⋮ A Language for Default Reasoning about Actions ⋮ Functional completion

Uses Software

• Coala
• Cplus2ASP
• f2lp
• CCalc