Michael J. Maher

Available identifiers

zbMath Open maher.michael-jMaRDI QIDQ688574

List of research outcomes

Publication	Date of Publication	Type
On Signings and the Well-Founded Semantics	2023-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q5039145	2022-10-12	Paper
Rethinking Defeasible Reasoning: A Scalable Approach	2021-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4631188	2019-04-24	Paper
Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation	2018-01-05	Paper
Contractibility for open global constraints	2017-11-09	Paper
Annotated defeasible logic	2017-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q5283026	2017-07-18	Paper
An inclusion theorem for defeasible logics	2015-09-17	Paper
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs	2015-06-19	Paper
Relative expressiveness of defeasible logics II	2014-02-27	Paper
Relative expressiveness of defeasible logics	2013-03-13	Paper
CONTRACTIBILITY AND CONTRACTIBLE APPROXIMATIONS OF SOFT GLOBAL CONSTRAINTS	2012-05-11	Paper
Human and Unhuman Commonsense Reasoning	2010-10-12	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
Local consistency for extended CSPs	2009-11-04	Paper
Representation results for defeasible logic	2009-10-21	Paper
Open Constraints in a Boundable World	2009-06-03	Paper
On Computing Constraint Abduction Answers	2009-01-27	Paper
Embedding defeasible logic into logic programming	2007-02-13	Paper
Oracle semantics for Prolog	2006-10-10	Paper
Logic Programming	2006-06-27	Paper
Logic Programming	2006-06-27	Paper
Rewriting union queries using views	2006-02-23	Paper
Argumentation Semantics for Defeasible Logic	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4809162	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4812974	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3044368	2004-08-11	Paper
Propositional defeasible logic has linear complexity	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4535547	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q2767055	2002-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4702573	2002-02-21	Paper
Defeasible logic versus Logic Programming without Negation as Failure	2001-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4494325	2001-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4944873	2000-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4955346	2000-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4247209	2000-01-12	Paper
The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1	1999-05-31	Paper
Constrained dependencies	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4391452	1998-06-03	Paper
Toward practical query evaluation for constraint databases	1998-02-11	Paper
On inductive inference of cyclic structures	1996-10-20	Paper
On Fourier's algorithm for linear arithmetic constraints	1994-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4035222	1993-05-18	Paper
A transformation system for deductive database modules with perfect model semantics	1993-05-16	Paper
Projecting CLP(\({\mathcal R}\)) constraints	1993-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3355225	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3789064	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3725521	1986-01-01	Paper
Comments on “general failure of logic programs”	1986-01-01	Paper
Optimal fixedpoints of logic programs	1985-01-01	Paper
Closures and fairness in the semantics of programming logic	1984-01-01	Paper
A theory of complete logic programs with equality	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3318096	1983-01-01	Paper
The Transient Behaviour of a Cyclic Queue	1973-01-01	Paper
A generalised incomplete beta function and its application to multi-line stock control	1973-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael J. Maher