1278 search results - page 15 / 256 » On the Semantics of Logic Program Composition |
91
Voted
LLC
2010
14 years 8 months ago
2010
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
100
click to vote
CCS
2004
ACM
15 years 7 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
103
Voted
FUIN
2007
15 years 1 months ago
2007
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
114
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
In this paper by considering an answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach t...