The following pages link to (Q5633670):
Displaying 50 items.
- The scope and limits of simulation in automated reasoning (Q253998) (← links)
- Reactive computing as model generation (Q264957) (← links)
- Bounded situation calculus action theories (Q286407) (← links)
- Action models for conditionals (Q302248) (← links)
- A qualitative spatial representation of string loops as holes (Q309906) (← links)
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- A logical theory of localization (Q310092) (← links)
- Function extraction (Q436372) (← links)
- A uniform theory of conditionals (Q484196) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- A logic-based calculus of events (Q514239) (← links)
- The dynamic frames theory (Q539422) (← links)
- Constructing situations and time (Q543532) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Non-Markovian control in the Situation Calculus (Q543575) (← links)
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579) (← links)
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- A unifying action calculus (Q543584) (← 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)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- From systems to logic in the early development of nonmonotonic reasoning (Q543606) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- A deductive solution for plan generation (Q578927) (← links)
- A logical framework for depiction and image interpretation (Q582146) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Brain-like computing based on distributed representations and neurodynamics (Q609752) (← links)
- Reusing and modifying rulebases by predicate substitution (Q676430) (← links)
- Imperatives: a judgemental analysis (Q692199) (← links)
- Situations in LTL as strings (Q731890) (← links)
- Dynamical duality of type- and token-computation as an abstract brain (Q813700) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- A unifying semantics for time and events (Q814548) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Logic-based subsumption architecture (Q814558) (← links)
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- Nonmonotonic abductive inductive learning (Q833734) (← links)
- Logical theories of intention and the database perspective (Q843770) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Operators vs. arguments: The ins and outs of reification (Q857666) (← links)
- Computational representation of practical argument (Q857688) (← links)
- A preferential semantics for causal reasoning about action (Q862556) (← links)
- An algebraic framework for temporal attribute characteristics (Q862835) (← links)
- Semantical considerations on multiagent only knowing (Q892188) (← links)
