scientific article
From MaRDI portal
Publication:2734940
zbMath0979.68100MaRDI QIDQ2734940
Chitta R. Baral, Michael Gelfond
Publication date: 30 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Logic programming (68N17)
Related Items (16)
Integrating ASP into ROS for Reasoning in Robots ⋮ A Theory of Intentions for Intelligent Agents ⋮ Applications of Action Languages in Cognitive Robotics ⋮ A New Incarnation of Action Language H ⋮ Answer set based design of knowledge systems ⋮ Some properties of system descriptions of ⋮ Modular action language ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ Approximation of action theories and its application to conformant planning ⋮ plasp 3: Towards Effective ASP Planning ⋮ Action-Centered Information Retrieval ⋮ Modelling last-act attempted crime in criminal law ⋮ Authorization and Obligation Policies in Dynamic Systems ⋮ Automatic Composition of Melodic and Harmonic Music by Answer Set Programming ⋮ Alan: An action language for modelling non-Markovian domains ⋮ Logic programming and knowledge representation---The A-Prolog perspective
This page was built for publication:
