Search Sciweavers | Sciweavers

265 search results - page 9 / 53

» Inductive Situation Calculus

click to vote

IJCNN
2008
IEEE

109views Neural Networks» more IJCNN 2008»

A quantum calculus formulation of dynamic programming and ordered derivatives

14 years 1 months ago

Download scholarsmine.mst.edu

— Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there ...

John Seiffertt, Donald C. Wunsch

claim paper

Read More »

click to vote

AAAI
2008

126views Intelligent Agents» more AAAI 2008»

On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture

13 years 9 months ago

Download stavros.lostre.org

In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...

Stavros Vassos, Hector J. Levesque

claim paper

Read More »

click to vote

ARGMAS
2009
Springer

269views Intelligent Agents» more ARGMAS 2009»

A Generative Dialogue System for Arguing about Plans in Situation Calculus

14 years 2 months ago

Download homepages.inf.ed.ac.uk

Abstract. This paper presents an argumentation mechanism for reconciling conﬂicts between planning agents related to plan proposals, which are caused by inconsistencies between b...

Alexandros Belesiotis, Michael Rovatsos, Iyad Rahw...

claim paper

Read More »

click to vote

KR
2010
Springer

240views Automated Reasoning» more KR 2010»

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

14 years 7 days ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Yves Lespérance, Adria...

claim paper

Read More »