Sciweavers

3515 search results - page 409 / 703
» On the semantics of Strategy Logic
Sort
View
FOMI
2009
15 years 5 months ago
A First-Order Cutting Process Ontology for Sheet Metal Parts
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...
Michael Grüninger, Arnaud Delaval
COSIT
2011
Springer
322views GIS» more  COSIT 2011»
14 years 7 months ago
CLP(QS): A Declarative Spatial Reasoning Framework
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
Mehul Bhatt, Jae Hee Lee, Carl Schultz
ECRA
2002
129views more  ECRA 2002»
15 years 7 months ago
A formal approach to negotiating agents development
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
Marlon Dumas, Guido Governatori, Arthur H. M. ter ...
WWW
2004
ACM
16 years 8 months ago
Semi-automatic annotation of contested knowledge on the world wide web
We describe a strategy to support the semantic annotation of contested knowledge, in the context of the Scholarly Ontologies project, which aims at building a network of interpret...
Bertrand Sereno, Simon Buckingham Shum, Enrico Mot...
CSMR
2006
IEEE
16 years 1 months ago
Can LSI help Reconstructing Requirements Traceability in Design and Test?
Managing traceability data is an important aspect of the software development process. In this paper we investigate to what extent latent semantic indexing (LSI), an information r...
Marco Lormans, Arie van Deursen