Sciweavers

37 search results - page 6 / 8
» RC A Rule Based Language for Game AI
Sort
View
132
Voted
ICALP
2004
Springer
15 years 9 months 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»
15 years 8 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
15 years 9 months 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
15 years 3 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»
15 years 5 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