Author|Conference|Journal|Year
Look for results that meet for the following criteria:
View Top Co-Authors In Visual Explorer
Michael J. Maher

Top Co-Authors:

ObjectID : Author/1023040
Michael J. Maher
(Publications: 130)
(Citation Count: 2442)
(G-Index: 46)
(H-Index: 24)
6525 N. Sheridan Road , Chicago , IL 60626 , USA
I.B.M. Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY
Permanent Link: http://academic.research.microsoft.com/Author/1023040.aspx
Order by: Year|Citation|Rank
The rank of a paper is calculated by considering the authors, the published conference or journal, and its citation graph. The highest ranking result will appear first.                   Learn more
Year 2009
Michael J. Maher :
Open Constraints in a Boundable World
, CPAIOR
, 2009
(Citations: 1)
Michael J. Maher, Nina Narodytska, Claude-guy Quimper, Toby Walsh :
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
, CORR
, 2009
Michael J. Maher :
Open Contractible Global Constraints
, IJCAI
, 2009
Michael J. Maher :
Local consistency for extended CSPs
, TCS
, 2009
Michael J. Maher :
SOGgy Constraints: Soft Open Global Constraints
, CP
, 2009
Year 2008
Michael J. Maher, Nina Narodytska, Claude-guy Quimper, Toby Walsh :
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
, CP
, 2008
(Citations: 3)
Michael J. Maher, Ge Huang :
On Computing Constraint Abduction Answers
, LPAR(RCLP)
, 2008
Year 2007
Moreno Falaschi, Michael J. Maher :
Introduction Special Issue on Multiparadigm Languages and Constraint Programming
, TPLP
, 2007
Year 2006
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher :
Embedding defeasible logic into logic programming
, TPLP
, 2006
(Citations: 10)
Michael J. Maher :
Heyting Domains for Constraint Abduction
, AUS-AI
, 2006
(Citations: 1)
Year 2005
Michael J. Maher :
Herbrand Constraint Abduction
, LICS
, 2005
(Citations: 8)
Peter J. Stuckey, Maria J. García De La Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh :
The G12 Project: Mapping Solver Independent Models to Efficient Solutions
, CP
, 2005
(Citations: 4)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher :
Embedding Defeasible Logic into Logic Programming
, CORR
, 2005
(Citations: 2)
Junhu Wang, Rodney W. Topor, Michael J. Maher :
Rewriting Union Queries Using Views
, CONSTRAINTS
, 2005
(Citations: 1)
Michael J. Maher :
Abduction of Linear Arithmetic Constraints
, ICLP(JICSLP)
, 2005
(Citations: 1)
Year 2004
Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington :
Argumentation Semantics for Defeasible Logic
, LOGCOM
, 2004
(Citations: 31)
John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher :
A Local Search Approach to Modelling and Solving Interval Algebra Problems
, LOGCOM
, 2004
(Citations: 5)
Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher :
Solving Over-Constrained Temporal Reasoning Problems Using Local Search
, PRICAI
, 2004
(Citations: 1)
Michael J. Maher :
Propositional Defeasible Logic has Linear Complexity
, CORR
, 2004
Year 2003
Michael J. Maher :
A Synthesis of Constraint Satisfaction and Constraint Solving
, CP
, 2003
(Citations: 4)
Year 2002
M. Maher :
Analysis of a global contiguity constraint
, 2002
(Citations: 11)
Michael J. Maher :
Propagation Completeness of Reactive Constraints
, ICLP(JICSLP)
, 2002
(Citations: 12)
Junhu Wang, Michael J. Maher, Rodney W. Topor :
Rewriting Unions of General Conjunctive Queries Using Views
, EDBT
, 2002
(Citations: 5)
Michael J. Maher :
A Model-Theoretic Semantics for Defeasible Logic
, Paraconsistent Computational Logic
, 2002
(Citations: 7)
Junhu Wang, Michael J. Maher, Rodney W. Topor :
Rewriting General Conjunctive Queries Using Views
, ADC
, 2002
(Citations: 5)
John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher :
Applying Local Search to Temporal Reasoning
, TIME
, 2002
(Citations: 3)
Grigoris Antoniou, Michael J. Maher :
Embedding Defeasible Logic into Logic Programs
, ICLP(JICSLP)
, 2002
(Citations: 4)
C. Binns, S. Louch, S.h. Baker, K.w. Edmonds, M.j. Maher, S.c. Thornton :
High-moment films produced by assembling nanoclusters
, 2002
Joxan Jaffar, Michael J. Maher :
Guest Editorial
, CONSTRAINTS
, 2002
Year 2001
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher :
Representation results for defeasible logic
, TOCL
, 2001
(Citations: 83)
Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller :
Efficient Defeasible Reasoning Systems
, IJAIT
, 2001
(Citations: 42)
Michael J. Maher :
Propositional Defeasible Logic has Linear Complexity
, TPLP
, 2001
(Citations: 38)
Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton :
Solving Overconstrained Temporal Reasoning Problems
, AUS-AI
, 2001
(Citations: 6)
Junhu Wang, Rodney W. Topor, Michael J. Maher :
Reasoning with Disjunctive Constrained Tuple-Generating Dependencies
, DEXA
, 2001
(Citations: 2)
Year 2000
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher :
A Flexible Framework for Defeasible Logics
, AAAI
, 2000
(Citations: 47)
Grigoris Antoniou, Michael J. Maher, David Billington :
Defeasible Logic versus Logic Programming without Negation as Failure
, JLP
, 2000
(Citations: 41)
Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller :
Efficient defeasible reasoning systems
, ICTAI
, 2000
(Citations: 22)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock :
A Family of Defeasible Reasoning Logics and its Implementation
, ECAI
, 2000
(Citations: 24)
Guido Governatori, Michael J. Maher :
An Argumentation-Theoretic Characterization of Defeasible Logic
, ECAI
, 2000
(Citations: 20)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher :
Representation results for defeasible logic
, CORR
, 2000
(Citations: 11)
Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington :
Argumentation Semantics for Defeasible Logics
, PRICAI
, 2000
(Citations: 10)
Michael J. Maher :
A Denotational Semantics of Defeasible Logic
, CL
, 2000
(Citations: 7)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock :
A Family of Defeasible Reasoning Logics and its
, ECAI
, 2000
(Citations: 9)
Michael J. Maher, Junhu Wang :
Optimizing Queries in Extended Relational Databases
, DEXA
, 2000
(Citations: 6)
Michael J. Maher :
Propositional defeasible logic has linear complexity
, 2000
(Citations: 4)
Michael J. Maher, Peter J. Stuckey :
On Inductive Inference of Cyclic Structures
, 2000
Year 1999
Grigoris Antoniou, David Billington, Michael J. Maher :
On the Analysis of Regulations using Defeasible Rules
, HICSS
, 1999
(Citations: 32)
Michael J. Maher, Guido Governatori :
A Semantic Decomposition of Defeasible Logics
, AAAI
, 1999
(Citations: 24)
David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher :
Revising Nonmonotonic Theories: The Case of Defeasible Logic
, KI
, 1999
(Citations: 4)
Joxan Jaffar, Michael J. Maher, Gustaf Neumann :
An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems
, HICSS
, 1999
(Citations: 1)
Michael J. Maher :
Adding Constraints to Logic-based Formalisms
, 1999
(Citations: 3)
Alexander Brodsky, Catherine Lassez, Jean-louis Lassez, Michael J. Maher :
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data
, JAR
, 1999
Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori :
A Comparison of Sceptical NAF-Free Logic Programming Approaches
, LPNMR
, 1999
Evan Tick, Roland H. C. Yap, Michael J. Maher :
Finding Fair Allocations for the Coalition Problem with Constraints
, ICLP(JICSLP)
, 1999
Year 1998
Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey :
The Semantics of Constraint Logic Programs
, JLP
, 1998
(Citations: 85)
Grigoris Antoniou, David Billington, Michael J. Maher :
Normal Forms for Defeasible Logic
, ICLP(JICSLP)
, 1998
(Citations: 24)
Michael J. Maher, Grigoris Antoniou, David Billington :
A Study of Provability in Defeasible Logic
, AUS-AI
, 1998
(Citations: 25)
Year 1997
Michael J. Maher :
Constrained Dependencies
, TCS
, 1997
(Citations: 16)
Alexander Brodsky, Joxan Jaffar, Michael J. Maher :
Toward Practical Query Evaluation for Constraint Databases
, CONSTRAINTS
, 1997
(Citations: 8)
Year 1996
Michael J. Maher, Divesh Srivastava :
Chasing Constrained Tuple-Generating Dependencies
, PODS
, 1996
(Citations: 20)
Michael Jampel, Eugene C. Freuder, Michael J. Maher :
In: Over-Constrained Systems
, CP
, 1996
(Citations: 5)
Joxan Jaffar, Kim Marriott, Michael Maher :
The Semantics Of Constraint Logic Programs
, 1996
(Citations: 8)
J. Jaffar, M. J. Maher :
Constraint Logic Programming-A Survey
, 1996
(Citations: 5)
Year 1995
Alexander Brodsky, Catherine Lassez, Jean-louis Lassez, Michael J. Maher :
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data
, PODS
, 1995
(Citations: 18)
Michael J. Maher :
Constrained Dependencies
, CP
, 1995
(Citations: 8)
Michael J. Maher, Peter J. Stuckey :
On Inductive Inference of Cyclic Structures
, AMAI
, 1995
(Citations: 5)
A. Brodsky, C. Lassez, J. Lassez, M. Maher :
Separabil-ity of Polyhedra and a New Approach to Spatial Storage
, 1995
(Citations: 2)
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher :
Oracle Semantics for Prolog
, IANDC
, 1995
(Citations: 1)
Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher :
Guest Editors' Introduction: Special Section: Ten Years of Logic Programming
, JLP
, 1995
Joxan Jaffar, Michael J. Maher, Gustaf Neumann :
Logic Programming and Object Modelling: A Case Study (Abstract)
, ILPS/ISLP/NACLP/SLP
, 1995
Year 1994
Joxan Jaffar, Michael J. Maher :
Constraint Logic Programming: A Survey
, JLP
, 1994
(Citations: 444)
J. Jaffar, M. J. Maher :
Constraint logic programming' a survey. journal of logic programming
, 1994
(Citations: 55)
Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap :
Beyond Finite Domains
, PPCP
, 1994
(Citations: 33)
Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher :
Guest Editor's Introduction
, JLP
, 1994
Year 1993
Michael J. Maher :
A Logic Programming View of CLP
, ICLP(JICSLP)
, 1993
(Citations: 53)
Alexander Brodsky, Joxan Jaffar, Michael J. Maher :
Toward Practical Constraint Databases
, VLDB
, 1993
(Citations: 44)
Michael J. Maher :
A Tranformation System for Deductive Databases Modules with Perfect Model Semantics
, TCS
, 1993
(Citations: 46)
Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap :
Projecting CLP (R) Constraints
, NGC
, 1993
(Citations: 8)
Year 1992
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher :
Oracle Semantics for Prolog
, ALP
, 1992
(Citations: 16)
Michael J. Maher :
A CLP View of Logic Programming
, ALP
, 1992
(Citations: 12)
Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap :
Output in CLP
, FGCS
, 1992
(Citations: 9)
Jean-louis Lassez, Michael J. Maher :
On Fourier's Algorithm for Linear Arithmetic Constraints
, JAR
, 1992
(Citations: 8)
D. P. Watling, M. J. Maher :
A statistical procedure for estimating a mean origin-destination matrix from a partial registration plate survey
, 1992
(Citations: 6)
Year 1991
Jean-louis Lassez, Michael J. Maher, Kim Marriott :
Elimination of Negation in Term Algebras
, MFCS
, 1991
(Citations: 13)
Haim Gaifman, Michael J. Maher, Ehud Y. Shapiro :
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs
, PODC
, 1991
(Citations: 2)
Michael J. Maher :
Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning
, LPNMR
, 1991
(Citations: 1)
Year 1990
H. Gaifman, M. J. Maher, E. Shapiro, Recovery Replay, Replication :
Snapshots of nondeterministic concurrent programs
, 1990
(Citations: 3)
Michael J. Maher, Raghu Ramakrishnan :
D~j~ vu in fixpoints of logic programs
, 1990
(Citations: 2)
Year 1989
Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson :
Constraint Hierarchies and Logic Programming
, ICLP(JICSLP)
, 1989
(Citations: 88)
Michael J. Maher, Peter J. Stuckey :
Expanding Query Power in Constraint Logic Programming Languages
, ILPS/ISLP/NACLP/SLP
, 1989
(Citations: 26)
Haim Gaifman, Michael J. Maher, Ehud Y. Shapiro :
Reactive Behaviour Semantics for Concurrent Constraint Logic Programs
, ILPS/ISLP/NACLP/SLP
, 1989
(Citations: 12)
Michael J. Maher, Raghu Ramakrishnan :
Déjà Vu in Fixpoints of Logic Programs
, ILPS/ISLP/NACLP/SLP
, 1989
(Citations: 13)
Michael J. Maher :
A Transformation System for Deductive Database Modules with Perfect Model Semantics
, FSTTCS
, 1989
(Citations: 8)
Michael J. Maher, Raghu Ramakrishnan :
Deja vu in xpoints of logic programs
, 1989
(Citations: 4)
Year 1988
Jean-louis Lassez, Michael J. Maher, Kim Marriott :
Unification Revisited
, 1988
(Citations: 144)
Michael J. Maher :
Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees
, LICS
, 1988
(Citations: 134)
Michael J. Maher :
Equivalences of Logic Programs
, 1988
(Citations: 60)
J. L Lassez, M. Maher, K. Marriott :
Foundations of deductive databases and logic programming
, 1988
(Citations: 24)
L. Lassez, M. J. Maher :
On fourier's algorithm for linear arithmetic constraints, ibm research report, t. j. watson research center
, 1988
(Citations: 3)
D. P. Watling, M. J. Maher :
A graphical procedure for analysing partial registration-plate data
, 1988
(Citations: 5)
Alan Borning, Michael Maher, Amy Martindale, Logic Programming :
Technical report 88- 11-10
, 1988
(Citations: 2)
Year 1987
Michael J. Maher :
Logic Semantics for a Class of Committed-Choice Programs
, ICLP(JICSLP)
, 1987
(Citations: 133)
M. J. Maher :
Equivalences of logic programs
, 1987
(Citations: 16)
M. Maher :
Correctness of a logic program transformation system
, 1987
(Citations: 26)
J. Ja Ar, J. L Lassez, M. J. Maher :
Prolog-II as an instance of the logic programming scheme
, 1987
(Citations: 11)
J. Lassez, M. Maher, K. Marriott :
In Foundations of Deductive Databases and Logic Programming
, 1987
(Citations: 1)
Year 1986
Joxan Jaffar, Jean-louis Lassez, Michael J. Maher :
Logic Programming Language Scheme
, 1986
(Citations: 11)
Joxan Jaffar, Jean-louis Lassez, Michael J. Maher :
Invited Talk: Some Issues and Trends in the Semantics of Logic Programming
, ICLP(JICSLP)
, 1986
(Citations: 1)
Jean-louis Lassez, Michael J. Maher, Kim Marriott :
Unification Revisited
, Foundations of Logic and Functional Programming
, 1986
(Citations: 16)
Michael J. Maher :
Eqivalences of Logic Programs
, ICLP(JICSLP)
, 1986
(Citations: 10)
Joxan Jaffar, Jean-louis Lassez, Michael J. Maher :
Comments on "General Failure of Logic Programs"
, JLP
, 1986
Year 1985
Jean-louis Lassez, Michael J. Maher :
Optimal Fixedpoints of Logic Programs
, TCS
, 1985
(Citations: 20)
M. Maher :
The analysis of partial registration-plate data
, 1985
(Citations: 6)
Year 1984
Jean-louis Lassez, Michael J. Maher :
Closures and Fairness in the Semantics of Programming Logic
, TCS
, 1984
(Citations: 64)
Joxan Jaffar, Jean-louis Lassez, Michael J. Maher :
A Theory of Complete Logic Programs with Equality
, FGCS
, 1984
(Citations: 38)
David A. Wolfram, Michael J. Maher, Jean-louis Lassez :
A Unified Treatment of Resolution Strategies for Logic Programs
, ICLP(JICSLP)
, 1984
(Citations: 11)
Year 1983
Jean-louis Lassez, Michael J. Maher :
The Denotational Semantics of Horn Clauses as a Production System
, AAAI
, 1983
(Citations: 3)
J. L Lassez, M. J. Maher :
Optimal ?xedpoints of logic programs
, 1983
(Citations: 1)
Year Unknown
Brad M. Barber, Study. Bill Gebhardt, Michael Maher, Terrance Odean, Chris Solich, Dennis Trujillo, Robert Yetman, Evaluating Calpers Activism :
Monitoring the Monitor: Evaluating CalPERS’ Activism
(Citations: 5)
J. Jaffar, Jl. Lassez, M.j. Maher :
Some Issues and Trends in the Semantics of Logic Programming
(Citations: 3)
Michael J. Maher, Father Andrew Greeley :
Openly Addressing the Reality: Homosexuality and Catholic Seminary Policies
(Citations: 1)
R. Lynn Hannan, Frederick W. Rankin, Kristy L. Towry, Ramji Balakrishnan, Sudipta Basu, Jake Birnberg, Rob Bloomfield, Russ Coff, Doug Dejong, Geoff Sprinkle, Laureen Maines, Harry Evans, Annie Farrell, Jennifer Francis, Jon Glover, Jeff Hales, Gary Hecht, Theresa Libby, Joe Labianca, Bob Libby, Joan Luft, Susan Kulp, Michael Maher, Brian Mittendorf, Don Moser, Charles Noussair, Grace Pownall, Tatiana Sandino, Lisa Sedor, Frank Selto, Naomi Soderstrom, Margaret Shackell-dowell, Rick Tubbs, Wim Van Der Stede, Sandra Vera-munoz, Greg Waymire, Sally Widener, Christine Wilkinson, Michael Williamson :
Flattening the Organization: The Effect of Organizational Reporting Structure on Budgeting Effectiveness
(Citations: 1)
Michael J. Maher :
Reasoning about Stable Models (and other Unstable Semantics)
(Citations: 1)
Clarence Smith, Donald Barnes, Erik Troan, Hunter Matthews, Jim Knoble, Marc Ewing, Michael K. Johnson, Michael Maher :
Red Hat Linux 4.2
Khim Kelly, Assistant Professor, Nanyang Avenue, I Thank E'lfred Boo, Amy Choy, Mike Gibbins, Bernardine Low, Kin Yew Low, Michael Maher, Sue Mccracken, Kenneth Merchant, Ng Terence, Steve Salterio, An Anonymous Reviewer :
Rewarding Multiple Leading Indicators of Financial Performance:
E. Ashley Steel, Aimee Fullerton, Yuko Caras, Mindi B. Sheer, Patricia Olson, David Jensen, Jennifer Burke, Michael Maher, Paul Mcelhany :
A Spatially Explicit Decision Support System for Watershed-Scale Management of Salmon
Khim Kelly, Assistant Professor, Nanyang Avenue, I Thank E'lfred Boo, Amy Choy, Mike Gibbins, Bernardine Low, Kin Yew Low, Michael Maher :
Rewarding Non-Financial Measures: Does Accuracy of Incentive Weights Matter?
Jerome Pine, Michael Maher, Steven Potter, Yu-chong Tai, Svetlana Tatic-lucic :
A CULTURED NEURON PROBE
Michael J. Maher, St. Meinrad Seminary :
Pre-Theology Program Minors in Philosophy and Theology.
Michael J. Maher :
Single Rules form Canonical Logic Programs
Microsoft Research Asia | Help | Feedback | Specific Terms
©2009 Microsoft Corporation. All rights reserved. Contact Us | Terms of Use | Trademarks | Privacy Statement