21. (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 frame ...
(application/postscript) - 02-sep-2009

22. (97%) Abduction of Linear Arithmetic Constraints - Michael J. Maher
There are two errors in the published version of [1].
(application/pdf) - 03-sep-2009

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

24. (97%) Single Rules form Canonical Logic Programs - Michael J. Maher
It has been conjectured [Blair] that every definite clause logic program containing exactly one rule ...
(application/pdf) - 18-sep-2009

25. (97%) Abduction of Linear Arithmetic Constraints - Michael J. Maher
Abstract. Abduction is usually carried out on partially-defined predicates. In this paper we investi ...
(application/pdf) - 24-sep-2009

26. (84%) Chasing Constrained Tuple-Generating Dependencies - Michael J. Maher,Divesh Srivastava
We investigate the implication problem for constrained tuple-generating dependencies (CTGDs), the ex ...
(ps) - 31-mar-2009

27. (84%) An Architecture and Prototype Implementation of a System for Individualised Workflows in Medical Information Systems - Michael J. Maher,Gustaf Neumann
This paper is a report from a project that tried to design and implement a highly exible workow mana ...
(ps) - 31-mar-2009

28. (84%) Chasing Constrained Tuple-Generating Dependencies - Michael J. Maher,Divesh Srivastava
We investigate the implication problem for constrained tuple-generating dependencies (CTGDs), the ex ...
(ps) - 31-mar-2009

29. (84%) Constraint Logic Programming: A Survey - Joxan Jaffar Michael J. Maher
Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and ...
(ps) - 31-mar-2009

30. (84%) Constraint Logic Programming: A Survey - Joxan Jaffar Michael J. Maher
Machine This section discusses some major issues in the design of an abstract machine for the execut ...
(ps) - 31-mar-2009

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