Pages that link to "Item:Q2734940"
From MaRDI portal
The following pages link to Reasoning agents in dynamic domains (Q2734940):
Displaying 25 items.
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Alan: An action language for modelling non-Markovian domains (Q2574883) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- A representation framework for modelling intelligent systems (Q2729803) (← links)
- Dynamic logic for reasoning about actions and agents (Q2734941) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- A New Incarnation of Action Language H (Q2900548) (← links)
- AGENT LANGUAGES, VISUAL VIRTUAL TREES, AND MODELS (Q2962493) (← links)
- Integrating ASP into ROS for Reasoning in Robots (Q3449192) (← links)
- A Theory of Intentions for Intelligent Agents (Q3449198) (← links)
- (Q4536704) (← links)
- Some properties of system descriptions of (Q4583309) (← links)
- Modular action language (Q4593024) (← links)
- (Q4708197) (← links)
- Formal semantics of meta-level architectures: Dynamic control of reasoning (Q4785088) (← links)
- (Q4797443) (← links)
- plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
- Action-Centered Information Retrieval (Q4957195) (← links)
- Modelling last-act attempted crime in criminal law (Q5243395) (← links)
- (Q5282969) (← links)
- Contextual Reasoning in Agent Systems (Q5302002) (← links)
- Authorization and Obligation Policies in Dynamic Systems (Q5504643) (← links)
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (Q5504654) (← links)