3032 search results - page 197 / 607 » Description Logic Rules |
159
Voted
HICSS
2011
IEEE
14 years 4 months ago
2011
IEEE
Open source projects do have requirements; they are, however, mostly informal, text descriptions found in requests, forums, and other correspondence. Understanding of such require...
96
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi...
93
Voted
RELMICS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implica...
128
Voted
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
132
Voted
I3E
2004
15 years 2 months ago
2004
: The notion of service is closely coupled with the notion of process in general and of workflow in particular. Processes capture the coordination logic for the various resources i...