3572 search results - page 57 / 715 » Nominal Logic Programming |
66
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
116
click to vote
JAIR
2007
15 years 12 days ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
111
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
199
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
92
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...