Sciweavers

690 search results - page 45 / 138
» Logical Agents for Language and Action
Sort
View
AAAI
2008
13 years 9 months ago
Reasoning about Large Taxonomies of Actions
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
Yilan Gu, Mikhail Soutchanski
ECAI
2004
Springer
14 years 1 months ago
Game-Theoretic Agent Programming in Golog
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
Alberto Finzi, Thomas Lukasiewicz
AAAI
2008
13 years 10 months ago
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
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
COLING
1992
13 years 9 months ago
Action Relations In Rationale Clauses And Means Clauses
Communication among agents collaborating on a task often involves complex utterances about multiple actions. In this paper, we analyze two particular multiaction constructions, ut...
Cecile T. Balkanski
VL
1998
IEEE
130views Visual Languages» more  VL 1998»
14 years 7 days ago
SAM - An Animated 3D Programming Language
This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interact...
Christian Geiger, Wolfgang Müller 0003, Walde...