DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Situation calculus
Situation calculus
Mccarthy Variations in a Modal Key ∗ Johan Van Benthem A,B
A Logic-Based Calculus of Events
Reconciling Situation Calculus and Fluent Calculus
Reconciling the Event Calculus with the Situation Calculus
Actions and Other Events in Situation Calculus
Situation Calculus
Beyond Minimizing Change
A Formal Model of Opportunism Based on Situation Calculus
Chapter 2 & 3 from Kelly, Ryan, Asynchronous Multi-Agent
A Situation Calculus Perspective?
Incomplete Causal Laws in the Situation Calculus Using Free Fluents
Representing Knowledge Within the Situation Calculus Using Interval-Valued Epistemic Fluents
Situation Calculuscalculus
Some Alternative Formulations of the Event Calculus
1988-Why Things Go Wrong: a Formal Theory of Causal Reasoning
Foundations for the Situation Calculus
Introduction to AI Chapter 1
Applications of the Situation Calculus to Formalizing Control and Strategic Information: the Prolog Cut Operator
Top View
6.5 X 11 Double Line.P65
Explanation in the Situation Calculus
Forming Beliefs About a Changing World
Arxiv:Cs/0003032V1 [Cs.AI] 8 Mar 2000 Endvlpdfrti Ups.A Neape Con- Example, an As Following Purpose
The Event Calculus Explained Murray Shanahan
Modeling Complex Systems in the Situation Calculus: a Case Study Using the Dagstuhl Steam Boiler Problem
From Situation Calculus to Fluent Calculus Involves the Introduction of the Equational Theory AC1
John Mccarthy 1927-2011
A Situation-Calculus Based Theory of Justified Knowledge and Action
Progression of Situation Calculus Action Theories with Incomplete Information
Open World Planning in the Situation Calculus
DARTMOUTH and BEYOND John Mccarthy, Stanford University • The
Situation Calculus
The Situation Calculus: a Case for Modal Logic
Representing Actions: Laws, Observations and Hypotheses
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
John Mccarthy 1927–2011
Situation Calculus Specifications for Event Calculus Logic Programs From: AAAI Technical Report SS-95-07
A Review of Agent-Based Programming for Multi-Agent Systems
The History of the Frame Problem
Concepts of Logical Ai
Oral History of John Mccarthy
15. Representing Actions
Situation Calculus
Roman Barták Department of Theoretical Computer Science and Mathematical Logic What Is AI?
1992-Concurrent Actions in the Situation Calculus
Actions and Other Events in Situation Calculus
A Framework for Decision-Theoretic Planning 1: Combining the Situation Calculus, Conditional Plans, Probability and Utility*