8232 search results - page 92 / 1647 » Dynamic Logic Programming |
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
82
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
136
Voted
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...
122
Voted
GLVLSI
2003
IEEE
15 years 7 months ago
2003
IEEE
Clock-delayed (CD) domino is a dynamic logic family developed to provide both inverting and non-inverting logic on single-rail gates. It is self-timed and can be easily pipelined ...
222
Voted
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...