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
Planning under uncertainty as G<scp>OLOG</scp>programs, A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence, Twelve Definitions of a Stable Model, DEL-sequents for progression, DEL-sequents for progression, 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, 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, Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes), A dynamic logic of agency. I: STIT, capabilities and powers, 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, 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, ALPprolog – A new logic programming method for dynamic domains, Making Golog Norm Compliant, PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS, 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, Practical reasoning about knowledge states for open world planning with sensing, A Declarative Agent Programming Language Based on Action Theories
Uses Software
