scientific article
From MaRDI portal
Publication:2909140
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.
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