scientific article; zbMATH DE number 1884393
From MaRDI portal
Publication:4798013
zbMath1007.68591MaRDI QIDQ4798013
Sheila A. McIlraith, Tran Cao Son, Chitta R. Baral
Publication date: 18 March 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2173/21730226.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)
Related Items (4)
Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions ⋮ Agenda control for heterogeneous reasoners ⋮ Linear temporal logic as an executable semantics for planning languages ⋮ An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
Uses Software
This page was built for publication:
