The following pages link to Nonmonotonic causal theories (Q814551):
Displaying 27 items.
- Online Action Language $$o\mathcal {BC}$$+ (Q3449194) (← links)
- Diagnostic Reasoning for Robotics Using Action Languages (Q3449216) (← links)
- Mobile Robot Planning Using Action Language $${\mathcal {BC}}$$ with an Abstraction Hierarchy (Q3449233) (← links)
- Strongly Equivalent Temporal Logic Programs (Q3532454) (← links)
- Multivalued action languages with constraints in CLP(FD) (Q3550913) (← links)
- A Probabilistic Extension of Action Language (Q4559817) (← links)
- Some properties of system descriptions of (Q4583309) (← links)
- Functional completion (Q4583310) (← links)
- Representing hybrid automata by action language modulo theories (Q4592716) (← links)
- Hybrid conditional planning using answer set programming (Q4592727) (← links)
- Deriving conclusions from non-monotonic cause-effect relations (Q4593049) (← links)
- plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language + (Q4957223) (← links)
- Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language (Q5108524) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
- Answer Set Programming for Single-Player Games in General Game Playing (Q5325764) (← links)
- A declarative approach to distributed computing: Specification, execution and analysis (Q5398312) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424866) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424870) (← links)
- Engineering an Incremental ASP Solver (Q5504656) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)
- Hybrid planning for challenging construction problems: an answer set programming approach (Q6161492) (← links)
- A unified logical framework for reasoning about deontic properties of actions and states (Q6535323) (← links)
- Optimal planning with expressive action languages as constraint optimization (Q6545569) (← links)
- A glance at causality theories for artificial intelligence (Q6602223) (← links)
- Reasoning about action and change (Q6602230) (← links)
- Computationally hard problems for logic programs under answer set semantics (Q6636616) (← links)
