1588 search results - page 75 / 318 » On the Logic of Constitutive Rules |
143
click to vote
CADE
2006
Springer
16 years 6 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...
159
click to vote
RELMICS
2000
Springer
15 years 9 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...
187
click to vote
ESWS
2006
Springer
15 years 10 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...
201
click to vote
I3E
2004
15 years 7 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...
183
click to vote
DKE
2008
15 years 6 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...