BibSLEIGH — Michael_J

Travelled to:

1 × Australia
1 × Canada
1 × Denmark
1 × Hungary
1 × Italy
1 × Spain
1 × Sweden
2 × Ireland
5 × USA
5 × United Kingdom

Collaborated with:

∅ J.Jaffar J.Lassez G.Antoniou P.J.Stuckey A.Brodsky D.Srivastava R.Ramakrishnan E.Tick R.H.C.Yap D.Billington G.Neumann H.Gaifman E.Y.Shapiro D.A.Wolfram C.Lassez R.Barbuti M.Codish R.Giacobazzi M.J.G.d.l.Banda K.Marriott J.K.Slaney Z.Somogyi M.Wallace T.Walsh

Talks about:

logic (16) program (11) constraint (9) semant (5) defeas (5) relat (3) contract (2) argument (2) reactiv (2) express (2)

Person: Michael J. Maher

DBLP: Maher:Michael_J=

Facilitated 2 volumes:

Contributed to:

2015

2013

2012

2010

2005

2002

2000

1999

1998

1996

1995

1993

1992

1989

1988

1987

1986

1984

Wrote 27 papers:

ICLP-2015-Maher: Relating Concrete Argumentation Formalisms and Abstract Argumentation (MJM), pp. 140–152.
ICLP-J-2013-Maher #logic: Relative expressiveness of defeasible logics II (MJM), pp. 579–592.
ICLP-J-2012-Maher #logic: Relative expressiveness of defeasible logics (MJM), pp. 793–810.
ICLP-2010-Maher10 #approximate #constraints: Contractibility and Contractible Approximations of Soft Global Constraints (MJM), pp. 114–123.
ICLP-2005-Maher #abduction #constraints #linear: Abduction of Linear Arithmetic Constraints (MJM), pp. 174–188.
ICLP-2005-StuckeyBMMSSWW #independence #modelling #performance: The G12 Project: Mapping Solver Independent Models to Efficient Solutions (PJS, MJGdlB, MJM, KM, JKS, ZS, MW, TW), pp. 9–13.
LICS-2005-Maher #abduction #constraints: Herbrand Constraint Abduction (MJM), pp. 397–406.
ICLP-2002-AntoniouM #logic programming #source code: Embedding Defeasible Logic into Logic Programs (GA, MJM), pp. 393–404.
ICLP-2002-Maher #constraints: Propagation Completeness of Reactive Constraints (MJM), pp. 148–162.
CL-2000-Maher #logic #semantics: A Denotational Semantics of Defeasible Logic (MJM), pp. 209–222.
ICLP-1999-TickYM #constraints #problem: Finding Fair Allocations for the Coalition Problem with Constraints (ET, RHCY, MJM), pp. 530–544.
JICSLP-1998-AntoniouBM #logic #normalisation: Normal Forms for Defeasible Logic (GA, DB, MJM), pp. 160–174.
PODS-1996-MaherS #dependence: Chasing Constrained Tuple-Generating Dependencies (MJM, DS), pp. 128–138.
ILPS-1995-JaffarMN #case study #logic programming #modelling: Logic Programming and Object Modelling: A Case Study (JJ, MJM, GN), p. 48.
PODS-1995-BrodskyLLM #constraints: Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data (AB, CL, JLL, MJM), pp. 54–65.
ICLP-1993-Maher #logic programming: A Logic Programming View of CLP (MJM), pp. 737–753.
VLDB-1993-BrodskyJM #constraints #database #towards: Toward Practical Constraint Databases (AB, JJ, MJM), pp. 567–580.
ALP-1992-BarbutiCGM #prolog #semantics: Oracle Semantics for Prolog (RB, MC, RG, MJM), pp. 100–114.
ALP-1992-Maher #logic programming: A CLP View of Logic Programming (MJM), pp. 364–383.
NACLP-1989-GaifmanMS #behaviour #concurrent #constraints #logic programming #semantics #source code: Reactive Behaviour Semantics for Concurrent Constraint Logic Programs (HG, MJM, EYS), pp. 553–569.
NACLP-1989-MaherR #fixpoint #logic programming #source code: Déjà Vu in Fixpoints of Logic Programs (MJM, RR), pp. 963–980.
NACLP-1989-MaherS #constraints #logic programming #programming language #query: Expanding Query Power in Constraint Logic Programming Languages (MJM, PJS), pp. 20–36.
LICS-1988-Maher #algebra #axiom #finite #infinity: Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees (MJM), pp. 348–357.
ICLP-1987-Maher87 #logic #semantics #source code: Logic Semantics for a Class of Committed-Choice Programs (MJM), pp. 858–876.
ICLP-1986-JaffarLM86 #logic programming #roadmap #semantics: Invited Talk: Some Issues and Trends in the Semantics of Logic Programming (JJ, JLL, MJM), pp. 223–241.
ICLP-1986-Maher86 #logic programming #source code: Eqivalences of Logic Programs (MJM), pp. 410–424.
ILPC-1984-WolframML84 #logic programming #source code: A Unified Treatment of Resolution Strategies for Logic Programs (DAW, MJM, JLL), pp. 263–276.