Search Sciweavers | Sciweavers

265 search results - page 10 / 53

» Inductive Situation Calculus

116

click to vote

ISMIS
2000
Springer

68views Artificial Intelligence» more ISMIS 2000»

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

15 years 7 months ago

Download www.irit.fr

Robert Demolombe, Maria del Pilar Pozos Parra

claim paper

Read More »

Voted

AAAI
2007

103views Intelligent Agents» more AAAI 2007»

A Situation-Calculus Semantics for an Expressive Fragment of PDDL

15 years 5 months ago

Download www.cs.toronto.edu

Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer

claim paper

Read More »

click to vote

IJCAI
2007

166views Artificial Intelligence» more IJCAI 2007»

Decidable Reasoning in a Modified Situation Calculus

15 years 5 months ago

Download www.cs.toronto.edu

Yilan Gu, Mikhail Soutchanski

claim paper

Read More »

106

Voted

KRDB
2001

110views Database» more KRDB 2001»

Towards a General Theory of Advanced Transaction Models in the Situation Calculus

15 years 4 months ago

Download www.cs.toronto.edu

Iluju Kiringa

claim paper

Read More »

Voted

AAAI
2000

86views Intelligent Agents» more AAAI 2000»

(De)Composition of Situation Calculus Theories

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers