scientific article; zbMATH DE number 1820675
From MaRDI portal
Publication:4779807
zbMath1018.03022MaRDI QIDQ4779807
Publication date: 27 October 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (only showing first 100 items - show all)
Planning with regression analysis in transaction logic ⋮ Analyzing generalized planning under nondeterminism ⋮ Bounded situation calculus action theories ⋮ Practical solution techniques for first-order MDPs ⋮ To Vladimir Lifschitz on His 65th Birthday ⋮ A New Incarnation of Action Language H ⋮ Action models for conditionals ⋮ Computer-aided proofs of Arrow's and other impossibility theorems ⋮ Logics of Rational Interaction ⋮ Progression and verification of situation calculus agents with bounded beliefs ⋮ A logical theory of localization ⋮ Verification of agent navigation in partially-known environments ⋮ Computation as social agency: what, how and who ⋮ Online belief tracking using regression for contingent planning ⋮ 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 ⋮ Applicability conditions for plans with loops: computability results and algorithms ⋮ Simulating Dynamic Systems Using Linear Time Calculus Theories ⋮ Action Theories over Generalized Databases with Equality Constraints ⋮ Representations for robot knowledge in the \textsc{KnowRob} framework ⋮ Commonsense reasoning about containers using radically incomplete information ⋮ A description logic based situation calculus ⋮ Knowledge-based programs as building blocks for planning ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Probabilistic Event Calculus for Event Recognition ⋮ Hybrid answer set programming ⋮ The situation calculus: a case for modal logic ⋮ Preface to the special issue: Temporal logics of agency ⋮ SIMULATION AND ANALYSIS OF ADAPTIVE AGENTS: AN INTEGRATIVE MODELING APPROACH ⋮ Complexity of Planning in Action Formalisms Based on Description Logics ⋮ PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS ⋮ Semantical considerations on multiagent only knowing ⋮ Non-terminating processes in the situation calculus ⋮ Proof systems for planning under 0-approximation semantics ⋮ Updating action domain descriptions ⋮ On feasible cases of checking multi-agent systems behavior. ⋮ Reasoning about non-immediate triggers in biological networks ⋮ Agent planning programs ⋮ Robot location estimation in the situation calculus ⋮ Foundations of instance level updates in expressive description logics ⋮ 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 ⋮ Probabilistic reasoning about epistemic action narratives ⋮ Reasoning about actions with loops via Hoare logic ⋮ Specifying and computing preferred plans ⋮ A general first-order solution to the ramification problem with cycles ⋮ SLAP: specification logic of actions with probability ⋮ A weighted causal theory for acquiring and utilizing open knowledge ⋮ Abductive logic programming agents with destructive databases ⋮ A logic of intention and attempt ⋮ 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 ⋮ Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) ⋮ On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus ⋮ Analysis of meeting protocols by formalisation, simulation, and verification ⋮ Some thoughts on knowledge-enhanced machine learning ⋮ The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself ⋮ 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 ⋮ An epistemic approach to nondeterminism: believing in the simplest course of events ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ On complexity of verification of interacting agents' behavior ⋮ Property persistence in the situation calculus ⋮ A probabilistic interval-based event calculus for activity recognition ⋮ Linear temporal logic as an executable semantics for planning languages ⋮ Knowledge-based programs as succinct policies for partially observable domains ⋮ Partially observable game-theoretic agent programming in Golog ⋮ Regression and progression in stochastic domains ⋮ ALPprolog – A new logic programming method for dynamic domains ⋮ On termination of transactions over semantic document models ⋮ Making Golog Norm Compliant ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation ⋮ Efficient multi-agent epistemic planning: teaching planners about nested belief ⋮ Verifying Agents’ Conformance with Multiparty Protocols ⋮ Inductive situation calculus ⋮ An executable specification of a formal argumentation protocol ⋮ Metatheory of actions: beyond consistency ⋮ Attacking Fair-Exchange Protocols ⋮ Systems of agents controlled by logical programs: complexity of verification ⋮ A paraconsistent approach to actions in informationally complex environments ⋮ ConGolog, a concurrent programming language based on the situation calculus ⋮ Position systems in dynamic domains ⋮ The dramatic true story of the frame default ⋮ Representing and reasoning about game strategies ⋮ The scope and limits of simulation in automated reasoning ⋮ 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
Uses Software
This page was built for publication:
