11. (97%) Analysis of a Global Contiguity Constraint - Michael J. Maher
We address a global constraint for enforcing contiguity. Contiguity is the property that all of one ...
(ps) - 31-mar-2009

12. (97%) Propagation Completeness of Reactive Constraints - Michael J. Maher
We develop a framework for addressing correctness and timeliness-of-propagation issues for reactive ...
(ps) - 31-mar-2009

13. (97%) A Synthesis of Constraint Satisfaction and Constraint Solving - Michael J. Maher
This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framew ...
(ps) - 31-mar-2009

14. (97%) A Logic Programming View of CLP - Michael J. Maher
We address the problem of lifting definitions, results, and even proofs for the theory of logic prog ...
(application/postscript) - 23-jul-2009

15. (97%) A CLP View of Logic Programming - Michael J. Maher
. We address the problem of determining those constraint domains A for which the traditional logic ...
(application/postscript) - 23-jul-2009

16. (97%) Constrained Dependencies - Michael J. Maher
We extend the notions of functional and finiteness dependencies to apply to subsets of a relation th ...
(application/postscript) - 23-jul-2009

17. (97%) Reasoning about Stable Models (and Other Unstable Semantics) - Michael J. Maher
The well-founded semantics and stable model semantics have proven popular semantics for logic progra ...
(application/postscript) - 23-jul-2009

18. (97%) Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning - Michael J. Maher
this paper our aim is to adapt and apply methods of giving semantics to non-monotonic rule systems t ...
(application/postscript) - 23-jul-2009

19. (97%) Adding Constraints to Logic-based Formalisms - Michael J. Maher
Constraints are predefined relations with a special implementation mechanism. Logic formalisms provi ...
(application/postscript) - 23-jul-2009

20. (97%) Propagation Completeness of Reactive Constraints - Michael J. Maher
We develop a framework for addressing correctness and timeliness-of-propagation issues for reactive ...
(application/postscript) - 27-ago-2009

Página de resultados:
Anterior  1  2  3  4  5  6  7  8  9  10  11  Siguiente