Sciweavers

590 search results - page 4 / 118
» Knowledge And The Action Description Language A
Sort
View
ASP
2005
Springer
14 years 1 months ago
Modeling Hybrid Domains Using Process Description Language
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
Sandeep Chintabathina, Michael Gelfond, Richard Wa...
ENTCS
2008
158views more  ENTCS 2008»
13 years 7 months ago
Aspect-Oriented Action Semantics Descriptions
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
Luis Carlos de Sousa Menezes
AI
2003
Springer
14 years 23 days ago
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
Christel Kemke
WWW
2008
ACM
14 years 8 months ago
A logical framework for modeling and reasoning about semantic web services contract
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
Hai Liu, Qing Li, Naijie Gu, An Liu
CRV
2005
IEEE
198views Robotics» more  CRV 2005»
14 years 1 months ago
Analysis of Player Actions in Selected Hockey Game Situations
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
Fahong Li, Robert J. Woodham