1634 search results - page 136 / 327 » Reasoning about Knowledge Using Rough Sets |
123
Voted
SIGMOD
2008
ACM
15 years 3 days ago
2008
ACM
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
FAABS
2000
Springer
15 years 4 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
92
Voted
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
100
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
90
Voted
ESWS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...