1588 search results - page 241 / 318 » On the Logic of Constitutive Rules |
113
click to vote
DOLAP
2010
ACM
14 years 10 months ago
2010
ACM
Object identification is a crucial step in most information systems. Nowadays, we have many different ways to identify entities such as surrogates, keys and object identifiers. Ho...
103
click to vote
LPNMR
1997
Springer
15 years 5 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...
124
click to vote
SCAI
2001
15 years 2 months ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
101
click to vote
ENTCS
2007
15 years 1 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
129
click to vote
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...