×

zbMATH — the first resource for mathematics

Maher, Michael J.

Compute Distance To:
Author ID: maher.michael-j Recent zbMATH articles by "Maher, Michael J."
Published as: Maher, M.; Maher, M. J.; Maher, Michael; Maher, Michael J.
Documents Indexed: 56 Publications since 1973, including 1 Book

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 351 times in 273 Documents Cited by Year
Unification revisited. Zbl 0645.68046
Lassez, J.-L.; Maher, M. J.; Marriott, K.
61
1988
Constraint logic programming: A survey. Zbl 0900.68127
Jaffar, J.; Maher, M. J.
56
1998
Closures and fairness in the semantics of programming logic. Zbl 0547.68034
Lassez, J.-L.; Maher, M. J.
27
1984
Argumentation semantics for defeasible logic. Zbl 1067.03038
Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris; Billington, David
24
2004
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
24
1998
Representation results for defeasible logic. Zbl 1171.68740
Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
18
2001
Equivalences of logic programs. Zbl 0594.68011
Maher, M. J.
18
1986
Optimal fixedpoints of logic programs. Zbl 0584.68029
Lassez, J.-L.; Maher, M. J.
13
1985
A transformation system for deductive database modules with perfect model semantics. Zbl 0780.68022
Maher, Michael J.
11
1993
On Fourier’s algorithm for linear arithmetic constraints. Zbl 0781.90064
Lassez, Jean-Louis; Maher, Michael J.
11
1992
Elimination of negation in term algebras. Zbl 0776.68070
Lassez, J.-L.; Maher, M.; Marriott, K.
11
1991
A theory of complete logic programs with equality. Zbl 0584.68021
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
11
1984
Comments on ”General failure of logic programs”. Zbl 0596.68014
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
9
1986
Propositional defeasible logic has linear complexity. Zbl 1066.68530
Maher, Michael J.
8
2001
The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517
Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby
7
2005
Defeasible logic versus logic programming without negation as failure. Zbl 0959.68117
Antoniou, G.; Maher, M. J.; Billington, D.
5
2000
Revising nonmonotonic theories: The case of defeasible logic. Zbl 0957.03017
Billington, D.; Antoniou, G.; Governatori, G.; Maher, M.
5
1999
An inclusion theorem for defeasible logics. Zbl 1351.68261
Billington, David; Antoniou, Grigoris; Governatori, Guido; Maher, Michael
4
2010
Embedding defeasible logic into logic programming. Zbl 1108.68027
Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
4
2006
Constrained dependencies. Zbl 0902.68042
Maher, Michael J.
3
1997
A local search approach to modelling and solving interval algebra problems. Zbl 1085.68154
Thornton, J.; Beaumont, M.; Sattar, A.; Maher, Michael
2
2004
Propagation completeness of reactive constraints. Zbl 1045.68529
Maher, Michael J.
2
2002
Toward practical query evaluation for constraint databases. Zbl 0889.68045
Brodsky, Alexander; Jaffar, Joxan; Maher, Michael J.
2
1997
Oracle semantics for Prolog. Zbl 1096.68583
Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Maher, Michael J.
2
1995
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
Relative expressiveness of defeasible logics. II. Zbl 1286.68052
Maher, Michael J.
1
2013
Relative expressiveness of defeasible logics. Zbl 1260.68065
Maher, Michael J.
1
2012
Local consistency for extended CSPs. Zbl 1187.68556
Maher, Michael J.
1
2009
On computing constraint abduction answers. Zbl 1182.68046
Maher, Michael; Huang, Ge
1
2008
Abduction of linear arithmetic constraints. Zbl 1165.68493
Maher, Michael J.
1
2005
A synthesis of constraint satisfaction and constraint solving. Zbl 1273.68354
Maher, Michael J.
1
2003
Embedding defeasible logic into logic programs. Zbl 1045.68130
Antoniou, Grigoris; Maher, Michael J.
1
2002
Reasoning with disjunctive constrained tuple-generating dependencies. Zbl 0988.68736
Wang, Junhu; Topor, Rodney; Maher, Michael
1
2001
Adding constraints to logic-based formalisms. Zbl 0979.68518
Maher, Michael J.
1
1999
On inductive inference of cyclic structures. Zbl 0855.68023
Maher, Michael J.; Stuckey, Peter J.
1
1995
Optimal fixedpoints of logic programs. Zbl 0534.68013
Lassez, J.-L.; Maher, M. J.
1
1983
Relative expressiveness of defeasible logics. II. Zbl 1286.68052
Maher, Michael J.
1
2013
Relative expressiveness of defeasible logics. Zbl 1260.68065
Maher, Michael J.
1
2012
An inclusion theorem for defeasible logics. Zbl 1351.68261
Billington, David; Antoniou, Grigoris; Governatori, Guido; Maher, Michael
4
2010
Local consistency for extended CSPs. Zbl 1187.68556
Maher, Michael J.
1
2009
On computing constraint abduction answers. Zbl 1182.68046
Maher, Michael; Huang, Ge
1
2008
Embedding defeasible logic into logic programming. Zbl 1108.68027
Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
4
2006
The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517
Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby
7
2005
Abduction of linear arithmetic constraints. Zbl 1165.68493
Maher, Michael J.
1
2005
Argumentation semantics for defeasible logic. Zbl 1067.03038
Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris; Billington, David
24
2004
A local search approach to modelling and solving interval algebra problems. Zbl 1085.68154
Thornton, J.; Beaumont, M.; Sattar, A.; Maher, Michael
2
2004
A synthesis of constraint satisfaction and constraint solving. Zbl 1273.68354
Maher, Michael J.
1
2003
Propagation completeness of reactive constraints. Zbl 1045.68529
Maher, Michael J.
2
2002
Embedding defeasible logic into logic programs. Zbl 1045.68130
Antoniou, Grigoris; Maher, Michael J.
1
2002
Representation results for defeasible logic. Zbl 1171.68740
Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
18
2001
Propositional defeasible logic has linear complexity. Zbl 1066.68530
Maher, Michael J.
8
2001
Reasoning with disjunctive constrained tuple-generating dependencies. Zbl 0988.68736
Wang, Junhu; Topor, Rodney; Maher, Michael
1
2001
Defeasible logic versus logic programming without negation as failure. Zbl 0959.68117
Antoniou, G.; Maher, M. J.; Billington, D.
5
2000
Revising nonmonotonic theories: The case of defeasible logic. Zbl 0957.03017
Billington, D.; Antoniou, G.; Governatori, G.; Maher, M.
5
1999
Adding constraints to logic-based formalisms. Zbl 0979.68518
Maher, Michael J.
1
1999
Constraint logic programming: A survey. Zbl 0900.68127
Jaffar, J.; Maher, M. J.
56
1998
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
24
1998
Constrained dependencies. Zbl 0902.68042
Maher, Michael J.
3
1997
Toward practical query evaluation for constraint databases. Zbl 0889.68045
Brodsky, Alexander; Jaffar, Joxan; Maher, Michael J.
2
1997
Oracle semantics for Prolog. Zbl 1096.68583
Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Maher, Michael J.
2
1995
On inductive inference of cyclic structures. Zbl 0855.68023
Maher, Michael J.; Stuckey, Peter J.
1
1995
A transformation system for deductive database modules with perfect model semantics. Zbl 0780.68022
Maher, Michael J.
11
1993
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
On Fourier’s algorithm for linear arithmetic constraints. Zbl 0781.90064
Lassez, Jean-Louis; Maher, Michael J.
11
1992
Elimination of negation in term algebras. Zbl 0776.68070
Lassez, J.-L.; Maher, M.; Marriott, K.
11
1991
Unification revisited. Zbl 0645.68046
Lassez, J.-L.; Maher, M. J.; Marriott, K.
61
1988
Equivalences of logic programs. Zbl 0594.68011
Maher, M. J.
18
1986
Comments on ”General failure of logic programs”. Zbl 0596.68014
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
9
1986
Optimal fixedpoints of logic programs. Zbl 0584.68029
Lassez, J.-L.; Maher, M. J.
13
1985
Closures and fairness in the semantics of programming logic. Zbl 0547.68034
Lassez, J.-L.; Maher, M. J.
27
1984
A theory of complete logic programs with equality. Zbl 0584.68021
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
11
1984
Optimal fixedpoints of logic programs. Zbl 0534.68013
Lassez, J.-L.; Maher, M. J.
1
1983
all top 5

Cited by 457 Authors

10 Maher, Michael J.
10 Stuckey, Peter James
9 Alpuente, María
8 Governatori, Guido
7 Pettorossi, Alberto
7 Proietti, Maurizio
6 Falaschi, Moreno
6 Lassez, Jean-Louis
6 Moreno, Ginés
6 Vidal, Germán
5 Amgoud, Leila
5 Gabbrielli, Maurizio
5 Levi, Giorgio
5 Meseguer Guaita, José
5 Palamidessi, Catuscia
5 Pichler, Reinhard
5 Rodríguez-Artalejo, Mario
5 Rotolo, Antonino
5 Subrahmanian, V. S.
4 del Vado Vírseda, Rafael
4 Marriott, Kim
4 Mesnard, Fred
4 Penabad, Jaime
4 Toni, Francesca
3 Arieli, Ofer
3 Armando, Alessandro
3 Ballis, Demis
3 de Boer, Frank S.
3 Delahaye, Jean-Paul
3 Escobar, Santiago
3 Estévez-Martín, Sonia
3 Fernández, Antonio J.
3 Fioravanti, Fabio
3 Giacobazzi, Roberto
3 Gottlob, Georg
3 Hölldobler, Steffen
3 Julián, Pascual
3 Lipton, James B.
3 Meo, Maria Chiara
3 Nerode, Anil
3 Oliveri, Francesco
3 Payet, Étienne
3 Ranzato, Francesco
3 Sáenz-Pérez, Fernando
3 Scannapieco, Simone
3 Simari, Guillermo Ricardo
3 Subramani, Krishnan
3 Thielscher, Michael
3 Wallace, Mark G.
2 Albert, Elvira
2 Bagnara, Roberto
2 Banerjee, Rabindra N.
2 Baratella, Stefano
2 Besnard, Philippe
2 Billington, David
2 Bistarelli, Stefano
2 Blair, Howard A.
2 Boella, Guido
2 Bossi, Annalisa
2 Bujosa, Andrés
2 Caminada, Martin W. A.
2 Chesñevar, Carlos Iván
2 Cristani, Matteo
2 De Angelis, Emanuele
2 De Koninck, Leslie
2 De Schreye, Danny
2 Dovier, Agostino
2 Duck, Gregory J.
2 Eiter, Thomas
2 Etalle, Sandro
2 Fages, François
2 Filé, Gilberto
2 Frechina, Francisco
2 Gallagher, John P.
2 Hermenegildo, Manuel V.
2 Hortalá-González, Teresa
2 Huynh, Tien
2 Jaffar, Joxan
2 Jayaraman, Bharat
2 Kafle, Bishoksan
2 Kagan, Vadim
2 Lakin, Matthew R.
2 Lassez, Catherine
2 Maier, Frederick
2 Mancarella, Paolo
2 Nagashima, Masanori
2 Nieva, Susana
2 Ojeda, Pedro
2 Olarte, Carlos
2 Pigozzi, Don Leonard
2 Pigozzi, Gabriella
2 Pitts, Andrew M.
2 Podelski, Andreas
2 Ramakrishnan, C. R.
2 Ramakrishnan, I. V.
2 Ranise, Silvio
2 Ringeissen, Christophe
2 Riveret, Régis
2 Ruggieri, Salvatore
2 Rusinowitch, Michaël
...and 357 more Authors
all top 5

Cited in 45 Serials

70 Theoretical Computer Science
24 Theory and Practice of Logic Programming
20 Artificial Intelligence
13 Journal of Symbolic Computation
12 Annals of Mathematics and Artificial Intelligence
9 New Generation Computing
9 Information and Computation
7 Journal of Automated Reasoning
6 Constraints
5 Journal of Computer and System Sciences
4 International Journal of Approximate Reasoning
4 Journal of Applied Non-Classical Logics
4 Higher-Order and Symbolic Computation
4 The Journal of Logic and Algebraic Programming
4 Journal of Applied Logic
3 Computers & Mathematics with Applications
3 Information Processing Letters
3 Fuzzy Sets and Systems
3 Information Sciences
3 RAIRO. Informatique Théorique et Applications
2 Acta Informatica
2 Journal of Philosophical Logic
2 Annals of Pure and Applied Logic
2 Formal Aspects of Computing
2 Journal of Logic, Language and Information
2 Journal of Functional Programming
2 Fundamenta Informaticae
2 Journal of Logical and Algebraic Methods in Programming
1 Discrete Applied Mathematics
1 Journal of Optimization Theory and Applications
1 Studia Logica
1 Synthese
1 Computers & Operations Research
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 Annals of Operations Research
1 International Journal of Foundations of Computer Science
1 European Journal of Operational Research
1 Pattern Recognition
1 Applicable Algebra in Engineering, Communication and Computing
1 Applied Categorical Structures
1 Journal of Scheduling
1 International Journal of Semantic Computing
1 International Journal of Information Technology & Decision Making
1 Nonlinear Analysis. Theory, Methods & Applications

Citations by Year