2395 search results - page 172 / 479 » Reasoning in Semantic Wikis |
116
click to vote
DAGSTUHL
2008
15 years 7 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
159
click to vote
SWWS
2008
15 years 7 months ago
2008
We propose a set of metrics for measuring the semantic implications of changes during ontology evolution. Our metrics focus on the changes of classes and associated axioms or annot...
172
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
158
click to vote
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
126
click to vote
FIS
2008
15 years 7 months ago
2008
Today's economy is a service economy, and an increasing number of services is electronic, i.e. can be ordered and provisioned online. Examples include Internet access, email a...