Publication:4779807
From MaRDI portal
zbMath1018.03022MaRDI QIDQ4779807
Publication date: 27 October 2002
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B70: Logic in computer science
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
The scope and limits of simulation in automated reasoning, Bounded situation calculus action theories, Action models for conditionals, Progression and verification of situation calculus agents with bounded beliefs, A logical theory of localization, Online belief tracking using regression for contingent planning, Applicability conditions for plans with loops: computability results and algorithms, Hybrid answer set programming, Foundations of instance level updates in expressive description logics, A weighted causal theory for acquiring and utilizing open knowledge, John McCarthy's legacy, Non-Markovian control in the Situation Calculus, A semantic characterization of a useful fragment of the situation calculus with knowledge, Iterated belief change in the situation calculus, First-order logical filtering, How does a box work? A study in the qualitative dynamics of solid objects, The well-designed logical robot: learning and experience from observations to the Situation Calculus, McCarthy variations in a modal key, A description logic based situation calculus, The situation calculus: a case for modal logic, Preface to the special issue: Temporal logics of agency, Updating action domain descriptions, Specifying and computing preferred plans, Abductive logic programming agents with destructive databases, From knowledge-based programs to graded belief-based programs. I: On-line reasoning, Knowledge, action, and the frame problem, Introduction: Progress in formal commonsense reasoning, Heuristic planning: A declarative approach based on strategies for action selection, Conditional logic of actions and causation, A causal approach to nonmonotonic reasoning, Practical solution techniques for first-order MDPs, Computer-aided proofs of Arrow's and other impossibility theorems, Semantical considerations on multiagent only knowing, Proof systems for planning under 0-approximation semantics, Agent planning programs, Robot location estimation in the situation calculus, A logic of intention and attempt, The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself, Property persistence in the situation calculus, Linear temporal logic as an executable semantics for planning languages, Inductive situation calculus, An executable specification of a formal argumentation protocol, Metatheory of actions: beyond consistency, Systems of agents controlled by logical programs: complexity of verification, On feasible cases of checking multi-agent systems behavior., ConGolog, a concurrent programming language based on the situation calculus, Computation as social agency: what, how and who, Belief revision and projection in the epistemic situation calculus, First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus, Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems, Reasoning about actions with loops via Hoare logic, Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes), An epistemic approach to nondeterminism: believing in the simplest course of events, Non-terminating processes in the situation calculus, Probabilistic reasoning about epistemic action narratives, A dynamic logic of agency. I: STIT, capabilities and powers, Partially observable game-theoretic agent programming in Golog, Regression and progression in stochastic domains, On termination of transactions over semantic document models, A paraconsistent approach to actions in informationally complex environments, Position systems in dynamic domains, The dramatic true story of the frame default, Representing and reasoning about game strategies, Planning with regression analysis in transaction logic, On propositional definability, Maintenance goals of agents in a dynamic environment: formulation and policy construction, Pouring liquids: a study in commonsense physical reasoning, A family of dynamic description logics for representing and reasoning about actions, Representations for robot knowledge in the \textsc{KnowRob} framework, Commonsense reasoning about containers using radically incomplete information, Reasoning about non-immediate triggers in biological networks, A general first-order solution to the ramification problem with cycles, SLAP: specification logic of actions with probability, Event calculus and temporal action logics compared, Existential assertions and quantum levels on the tree of the situation calculus, Knowledge and communication: A first-order theory, Analysis of meeting protocols by formalisation, simulation, and verification, On complexity of verification of interacting agents' behavior, Attacking Fair-Exchange Protocols, To Vladimir Lifschitz on His 65th Birthday, A New Incarnation of Action Language H, Logics of Rational Interaction, Simulating Dynamic Systems Using Linear Time Calculus Theories, Action Theories over Generalized Databases with Equality Constraints, Probabilistic Event Calculus for Event Recognition, ALPprolog – A new logic programming method for dynamic domains, Making Golog Norm Compliant, PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS, On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus, Verifying Agents’ Conformance with Multiparty Protocols, SIMULATION AND ANALYSIS OF ADAPTIVE AGENTS: AN INTEGRATIVE MODELING APPROACH, Complexity of Planning in Action Formalisms Based on Description Logics, A Fluent Calculus Semantics for ADL with Plan Constraints, Multivalued action languages with constraints in CLP(FD), Thirteen Definitions of a Stable Model, A Semantical Account of Progression in the Presence of Defaults, Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web, Regression in Modal Logic, Belief Change: from Situation Calculus to Modal Logic, Interpreting an action from what we perceive and what we expect, Planning under uncertainty as G<scp>OLOG</scp>programs, Public announcements, public assignments and the complexity of their logic, Some properties of system descriptions of, Dynamic epistemic logics: promises, problems, shortcomings, and perspectives, Non-monotonic spatial reasoning with answer set programming modulo theories, CASP solutions for planning in hybrid domains, A Logical Representation of Extension Transformation, Unnamed Item, A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence, CONTINGENCY AND KNOWING WHETHER, Incorporating Action Models into the Situation Calculus, Progression of Decomposed Local-Effect Action Theories, Twelve Definitions of a Stable Model, DEL-sequents for progression, DEL-sequents for progression, Practical reasoning about knowledge states for open world planning with sensing, A Declarative Agent Programming Language Based on Action Theories
Uses Software
