The following pages link to (Q4779807):
Displayed 50 items.
- Applicability conditions for plans with loops: computability results and algorithms (Q359973) (← links)
- Hybrid answer set programming (Q392277) (← links)
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- A weighted causal theory for acquiring and utilizing open knowledge (Q465606) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Non-Markovian control in the Situation Calculus (Q543575) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- Iterated belief change in the situation calculus (Q543588) (← links)
- First-order logical filtering (Q543591) (← links)
- How does a box work? A study in the qualitative dynamics of solid objects (Q543601) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- A description logic based situation calculus (Q604908) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Preface to the special issue: Temporal logics of agency (Q616042) (← links)
- Updating action domain descriptions (Q622109) (← links)
- Specifying and computing preferred plans (Q646542) (← links)
- Abductive logic programming agents with destructive databases (Q656819) (← links)
- From knowledge-based programs to graded belief-based programs. I: On-line reasoning (Q813424) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- Conditional logic of actions and causation (Q814610) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- Practical solution techniques for first-order MDPs (Q835833) (← links)
- Computer-aided proofs of Arrow's and other impossibility theorems (Q840816) (← links)
- A logic of intention and attempt (Q934779) (← links)
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) (← links)
- Property persistence in the situation calculus (Q991025) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- Inductive situation calculus (Q1028914) (← links)
- An executable specification of a formal argumentation protocol (Q1028953) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- Systems of agents controlled by logical programs: complexity of verification (Q1040334) (← links)
- On feasible cases of checking multi-agent systems behavior. (Q1401355) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (Q1978240) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- On propositional definability (Q2389643) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- Pouring liquids: a study in commonsense physical reasoning (Q2389667) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- Reasoning about non-immediate triggers in biological networks (Q2426107) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- SLAP: specification logic of actions with probability (Q2447174) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Existential assertions and quantum levels on the tree of the situation calculus (Q2457629) (← links)
- Knowledge and communication: A first-order theory (Q2457657) (← links)
- Analysis of meeting protocols by formalisation, simulation, and verification (Q2463822) (← links)
- On complexity of verification of interacting agents' behavior (Q2498917) (← links)