884 search results - page 104 / 177 » Using Nested Logic Programs for Answer Set Programming |
159
click to vote
FBIT
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
153
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
130
click to vote
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
132
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
153
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...