3572 search results - page 33 / 715 » Nominal Logic Programming |
62
Voted
AAAI
1994
14 years 11 months ago
1994
ing with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. The following notice...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
116
click to vote
LPNMR
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
67
Voted
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
ICLP
2001
Springer
15 years 2 months ago
2001
Springer