1. (100%) Single Rules form Canonical Logic Programs - Michael Maher Ibm; Michael J. Maher
It has been conjectured [Blair] that every definite clause logic program containing exactly one rul ...
(application/postscript) - 14-ago-2009

2. (97%) A Model-Theoretic Semantics for Defeasible Logic - Maher, Michael J.
Defeasible logic is an efficient logic for defeasible reasoning. It is defined through a proof theor ...
- 24-feb-2007

3. (97%) Propositional Defeasible Logic has Linear Complexity - Maher, Michael J.
Defeasible logic is a rule-based nonmonotonic logic, with both strict and defeasible rules, and a pr ...
- 25-feb-2007

4. (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 ...
(ps) - 31-mar-2009

5. (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 p ...
(ps) - 31-mar-2009

6. (97%) Constrained Dependencies - Michael J. Maher
We extend the notions of functional and finiteness dependencies to apply to subsets of a relation th ...
(ps) - 31-mar-2009

7. (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 ...
(ps) - 31-mar-2009

8. (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 ...
(ps) - 31-mar-2009

9. (97%) Adding Constraints to Logic-based Formalisms - Michael J. Maher
Constraints are predefined relations with a special implementation mechanism. Logic formalisms provi ...
(ps) - 31-mar-2009

10. (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 ...
(ps) - 31-mar-2009

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