The following pages link to (Q4779807):
Displaying 50 items.
- The scope and limits of simulation in automated reasoning (Q253998) (← links)
- Bounded situation calculus action theories (Q286407) (← links)
- Action models for conditionals (Q302248) (← links)
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- A logical theory of localization (Q310092) (← links)
- Online belief tracking using regression for contingent planning (Q334802) (← links)
- 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)
- Semantical considerations on multiagent only knowing (Q892188) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- Agent planning programs (Q899440) (← links)
- Robot location estimation in the situation calculus (Q901076) (← 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)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Belief revision and projection in the epistemic situation calculus (Q1680698) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
