4617 search results - page 566 / 924 » Automation of Diagrammatic Reasoning |
224
click to vote
LICS
2002
IEEE
16 years 15 days ago
2002
IEEE
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
238
click to vote
LICS
2002
IEEE
16 years 15 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
204
click to vote
TPHOL
2002
IEEE
16 years 15 days ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
210
click to vote
DEON
2010
Springer
16 years 12 days ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...
200
click to vote
KR
2010
Springer
16 years 11 days ago
2010
Springer
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...