Publication:2734940
From MaRDI portal
zbMath0979.68100MaRDI QIDQ2734940
Chitta R. Baral, Michael Gelfond
Publication date: 30 August 2001
68T27: Logic in artificial intelligence
68N15: Theory of programming languages
68N17: Logic programming
Related Items
Some properties of system descriptions of, Modular action language, 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, Approximation of action theories and its application to conformant planning, Answer set based design of knowledge systems, Logic programming and knowledge representation---The A-Prolog perspective, Alan: An action language for modelling non-Markovian domains, Applications of Action Languages in Cognitive Robotics, A New Incarnation of Action Language H, Integrating ASP into ROS for Reasoning in Robots, A Theory of Intentions for Intelligent Agents