3624 search results - page 119 / 725 » Abstract Algebraic Logic |
131
click to vote
ENTCS
2008
15 years 4 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
128
click to vote
TSMC
2011
14 years 11 months ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
124
click to vote
ICLA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We show that under the assumptions of Spectrum Exchangeability and Language Invariance the so called Only Rule, a principle of instantial relevance previously know for un...
123
click to vote
RULEML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
135
click to vote
OWLED
2007
15 years 6 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...