Sciweavers

574 search results - page 91 / 115
» Coalitions in Action Logic
Sort
View
HASE
1999
IEEE
14 years 6 days ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
WETICE
1997
IEEE
14 years 2 days ago
Communication Visibility in Shared Virtual Worlds
Though the service of shared virtual worlds is an active area of research, little effort has been made to optimize such systems for urban world spaces. Tracking the motion, action...
Michael V. Capps, Seth J. Teller
AUSAI
2007
Springer
13 years 12 months ago
An Upper Ontology for Event Classifications and Relations
For knowledge representation and reasoning, there is a need to consider the nature of events because event data describe various features and behaviors of the occurrences of action...
Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda
ECML
2006
Springer
13 years 11 months ago
Skill Acquisition Via Transfer Learning and Advice Taking
We describe a reinforcement learning system that transfers skills from a previously learned source task to a related target task. The system uses inductive logic programming to ana...
Lisa Torrey, Jude W. Shavlik, Trevor Walker, Richa...
DALT
2009
Springer
13 years 11 months ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti