31. (84%) Toward Practical Query Evaluation for Constraint Databases - Alexander Brodsky,Michael J. Maher
. Linear constraint databases (LCDBs) extend relational databases to include linear arithmetic const ...
(ps) - 31-mar-2009

32. (84%) Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs - Haim Gaifman,Michael J. Maher
The problem of replaying computations of nondeterministic concurrent programs arises in contexts suc ...
(ps) - 31-mar-2009

33. (84%) Déjà Vu in Fixpoints of Logic Programs - Michael J. Maher,Raghu Ramakrishnan
We investigate properties of logic programs that permit refinements in their fixpoint evaluation and ...
(ps) - 31-mar-2009

34. (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

35. (84%) A Semantic Decomposition of Defeasible Logic - Maher, Michael J.; Governatori, Guido
Logics for knowledge representation suffer from over-specialization: while each logic may provide an ...
(http://espace.library.uq.edu.au/eserv/UQ:9688/aaai99.pdf) - 23-abr-2009

36. (84%) An Argumentation-Theoretic Characterization of Defeasible Logic - Governatori, Guido; Maher, Michael J.
Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It ha ...
(http://espace.library.uq.edu.au/eserv/UQ:9669/ecai2000a.pdf) - 23-abr-2009

37. (84%) D'ej`a vu in fixpoints of logic programs - Michael J. Maher; Raghu Ramakrishnan
We investigate properties of logic programs that permit refinements in their fixpoint evaluation and ...
(application/pdf) - 17-jul-2009

38. (84%) A Semantic Decomposition of Defeasible Logics - Michael J Maher; Guido Governatori
We investigate defeasible logics using a technique which decomposes the semantics of such logics int ...
(application/pdf) - 22-jul-2009

39. (84%) Constraint Logic Programming: A Survey - Joxan Jaffar; Michael J. Maher
(application/postscript) - 24-jul-2009

40. (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 ...
(application/postscript) - 28-jul-2009

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