Sciweavers

2386 search results - page 308 / 478
» Representing and Reasoning with Preferences
Sort
View
ECAI
2008
Springer
15 years 8 months ago
Conservativity in Structured Ontologies
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
Oliver Kutz, Till Mossakowski
ECBS
2008
IEEE
124views Hardware» more  ECBS 2008»
15 years 8 months ago
Hierarchical Model to Develop Component-Based Systems
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
Abdelkrim Amirat, Mourad Oussalah
ECTEL
2008
Springer
15 years 8 months ago
Evaluating Spatial Knowledge through Problem-Solving in Virtual Learning Environments
Modeling the cognitive processes of learners is fundamental to build educational software that are autonomous and that can provide highly tailored assistance during learning [3]. F...
Philippe Fournier-Viger, Roger Nkambou, Andr&eacut...
APCCM
2010
15 years 8 months ago
A conceptually rich model of business process compliance
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
Guido Governatori, Antonino Rotolo
BNCOD
2007
137views Database» more  BNCOD 2007»
15 years 8 months ago
How to Determine Output Schemas of XQuery Queries
The XQuery language is the standard query language for XML. The result of XQuery queries are typically XML documents in other formats. We introduce the term output schemas of an X...
Sven Groppe, Jinghua Groppe, Volker Linnemann