1278 search results - page 15 / 256 » On the Semantics of Logic Program Composition |
LLC
2010
13 years 2 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...
CCS
2004
ACM
14 years 29 days 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...
FUIN
2007
13 years 7 months ago
2007
LPNMR
2004
Springer
14 years 28 days 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 ...
LPNMR
2007
Springer
14 years 1 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...