3983 search results - page 70 / 797 » Conceptual logic programs |
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
139
click to vote
JAIR
2007
15 years 2 months 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...
224
click to vote
ICLP
2009
Springer
16 years 3 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...
119
click to vote
POPL
2010
ACM
16 years 9 days 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...