4401 search results - page 197 / 881 » Computing with Default Logic |
237
click to vote
ACMSE
2011
ACM
14 years 4 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...
152
click to vote
PADL
2005
Springer
15 years 9 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
118
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
142
click to vote
MSCS
2008
15 years 4 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
114
click to vote
JAIR
2011
14 years 11 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...