Sciweavers

37 search results - page 6 / 8
» RC A Rule Based Language for Game AI
Sort
View
ICALP
2004
Springer
14 years 25 days ago
A Calculus of Coroutines
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
James Laird
ROBOCUP
1998
Springer
146views Robotics» more  ROBOCUP 1998»
13 years 11 months ago
Rocco: A RoboCup Soccer Commentator System
With the attempt to enable robots to play soccer games, the RoboCup challenge poses a demanding standard problem for AI and intelligent robotics research. The rich domain of robot ...
Dirk Voelz, Elisabeth André, Gerd Herzog, T...
ICSOC
2004
Springer
14 years 25 days ago
Associating assertions with business processes and monitoring their execution
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...
AI
2004
Springer
13 years 7 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa
ANLP
2000
141views more  ANLP 2000»
13 years 8 months ago
Aggressive Morphology for Robust Lexical Coverage
This paper describes an approach to providing lexical information for natural language processing in unrestricted domains. A system of approximately 1200 morphological rules is us...
William A. Woods