2398 search results - page 287 / 480 » Knowledge Representation |
132
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
203
click to vote
COMAD
2009
15 years 5 months ago
2009
An ontology is an explicit specification of shared conceptualization. The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies, a...
148
click to vote
AI
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of ...
129
click to vote
IIE
2008
15 years 4 months ago
2008
Abstract. Learning Objects (LOs) play a key role for supporting eLearning. In general, however, the development of LOs remains a vague issue, because there is still no clearly defi...
136
click to vote
JUCS
2008
15 years 4 months ago
2008
: The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be s...