3515 search results - page 405 / 703 » On the semantics of Strategy Logic |
182
Voted
OTM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper discusses methodological strategies for architecting ontologies. The development context is an EC IST project, aimed at the use of ontology to help detect and ...
188
click to vote
JUCS
2008
15 years 7 months ago
2008
: This paper describes the process of translating an adaptive sequencing strategy designed using Sequencing Graphs to the semantics of IMS Learning Design. The relevance of this co...
241
Voted
ADC
2008
Springer
16 years 2 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
186
Voted
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...
224
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...