The following pages link to (Q4779807):
Displayed 50 items.
- 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)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (Q1978240) (← links)
- An epistemic approach to nondeterminism: believing in the simplest course of events (Q2009766) (← links)
- A probabilistic interval-based event calculus for activity recognition (Q2029705) (← links)
- Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Efficient multi-agent epistemic planning: teaching planners about nested belief (Q2060737) (← links)
- Analyzing generalized planning under nondeterminism (Q2124464) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- Some thoughts on knowledge-enhanced machine learning (Q2237522) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Partially observable game-theoretic agent programming in Golog (Q2300459) (← links)
- Regression and progression in stochastic domains (Q2303514) (← links)
- On termination of transactions over semantic document models (Q2307928) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- Position systems in dynamic domains (Q2341258) (← links)
- The dramatic true story of the frame default (Q2341259) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- Planning with regression analysis in transaction logic (Q2360182) (← 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)
- Representations for robot knowledge in the \textsc{KnowRob} framework (Q2407430) (← links)
- Commonsense reasoning about containers using radically incomplete information (Q2407460) (← 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)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)