The following pages link to Michael J. Maher (Q688574):
Displaying 50 items.
- On Fourier's algorithm for linear arithmetic constraints (Q688575) (← links)
- Projecting CLP(\({\mathcal R}\)) constraints (Q688823) (← links)
- (Q799097) (redirect page) (← links)
- Closures and fairness in the semantics of programming logic (Q799098) (← links)
- Rewriting union queries using views (Q816684) (← links)
- Local consistency for extended CSPs (Q1035707) (← links)
- Optimal fixedpoints of logic programs (Q1069694) (← links)
- A transformation system for deductive database modules with perfect model semantics (Q1208734) (← links)
- Toward practical query evaluation for constraint databases (Q1378380) (← links)
- Constrained dependencies (Q1391931) (← links)
- On inductive inference of cyclic structures (Q1924733) (← links)
- Oracle semantics for Prolog (Q2508326) (← links)
- (Q2767055) (← links)
- CONTRACTIBILITY AND CONTRACTIBLE APPROXIMATIONS OF SOFT GLOBAL CONSTRAINTS (Q2883084) (← links)
- An inclusion theorem for defeasible logics (Q2946623) (← links)
- (Q3044368) (← links)
- Representation results for defeasible logic (Q3184510) (← links)
- (Q3318096) (← links)
- (Q3355225) (← links)
- Embedding defeasible logic into logic programming (Q3422417) (← links)
- Open Constraints in a Boundable World (Q3630158) (← links)
- A theory of complete logic programs with equality (Q3707362) (← links)
- (Q3725521) (← links)
- Comments on “general failure of logic programs” (Q3729995) (← links)
- (Q3789064) (← links)
- (Q4035222) (← links)
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1 (Q4245932) (← links)
- (Q4247209) (← links)
- (Q4391452) (← links)
- The Transient Behaviour of a Cyclic Queue (Q4403131) (← links)
- Propositional defeasible logic has linear complexity (Q4452647) (← links)
- (Q4494325) (← links)
- (Q4535547) (← links)
- Annotated defeasible logic (Q4592709) (← links)
- Contractibility for open global constraints (Q4593091) (← links)
- Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation (Q4599794) (← links)
- (Q4631188) (← links)
- Argumentation Semantics for Defeasible Logic (Q4659505) (← links)
- (Q4702573) (← links)
- (Q4809162) (← links)
- (Q4812974) (← links)
- Relative expressiveness of defeasible logics (Q4911149) (← links)
- Human and Unhuman Commonsense Reasoning (Q4933293) (← links)
- Defeasible logic versus Logic Programming without Negation as Failure (Q4934232) (← links)
- (Q4944873) (← links)
- (Q4955346) (← links)
- Rethinking Defeasible Reasoning: A Scalable Approach (Q4957204) (← links)
- (Q5039145) (← links)
- A generalised incomplete beta function and its application to multi-line stock control (Q5180143) (← links)
- Replay, recovery, replication, and snapshots of nondeterministic concurrent programs (Q5255824) (← links)
