×
Compute Distance To:
Author ID: maher.michael-j Recent zbMATH articles by "Maher, Michael J."
Published as: Maher, Michael J.; Maher, M. J.; Maher, Michael; Maher, M.

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 317 times in 251 Documents Cited by Year
Unification revisited. Zbl 0645.68046
Lassez, J.-L.; Maher, M. J.; Marriott, K.
60
1988
Argumentation semantics for defeasible logic. Zbl 1067.03038
Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris; Billington, David
27
2004
Closures and fairness in the semantics of programming logic. Zbl 0547.68034
Lassez, J.-L.; Maher, M. J.
27
1984
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
25
1998
Constraint logic programming: A survey. Zbl 0900.68127
Jaffar, J.; Maher, M. J.
23
1998
Representation results for defeasible logic. Zbl 1171.68740
Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
20
2001
Equivalences of logic programs. Zbl 0594.68011
Maher, M. J.
19
1986
On Fourier’s algorithm for linear arithmetic constraints. Zbl 0781.90064
Lassez, Jean-Louis; Maher, Michael J.
13
1992
A theory of complete logic programs with equality. Zbl 0584.68021
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
11
1984
A transformation system for deductive database modules with perfect model semantics. Zbl 0780.68022
Maher, Michael J.
11
1993
Elimination of negation in term algebras. Zbl 0776.68070
Lassez, J.-L.; Maher, M.; Marriott, K.
10
1991
Propositional defeasible logic has linear complexity. Zbl 1066.68530
Maher, Michael J.
9
2001
Optimal fixedpoints of logic programs. Zbl 0584.68029
Lassez, J.-L.; Maher, M. J.
9
1985
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
5
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
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
Toward practical query evaluation for constraint databases. Zbl 0889.68045
Brodsky, Alexander; Jaffar, Joxan; Maher, Michael J.
2
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
Relative expressiveness of defeasible logics. Zbl 1260.68065
Maher, Michael J.
2
2012
Relative expressiveness of defeasible logics. II. Zbl 1286.68052
Maher, Michael J.
2
2013
Oracle semantics for Prolog. Zbl 1096.68583
Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Maher, Michael J.
2
1995
On computing constraint abduction answers. Zbl 1182.68046
Maher, Michael; Huang, Ge
1
2008
Local consistency for extended CSPs. Zbl 1187.68556
Maher, Michael J.
1
2009
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
Embedding defeasible logic into logic programs. Zbl 1045.68130
Antoniou, Grigoris; Maher, Michael J.
1
2002
Comments on ”General failure of logic programs”. Zbl 0596.68014
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
1
1986
A synthesis of constraint satisfaction and constraint solving. Zbl 1273.68354
Maher, Michael J.
1
2003
A study of provability in defeasible logic. Zbl 0928.03029
Maher, M. J.; Antoniou, G.; Billington, D.
1
1998
Annotated defeasible logic. Zbl 1422.68219
Governatori, Guido; Maher, Michael J.
1
2017
Reasoning with disjunctive constrained tuple-generating dependencies. Zbl 0988.68736
Wang, Junhu; Topor, Rodney; Maher, Michael
1
2001
Annotated defeasible logic. Zbl 1422.68219
Governatori, Guido; Maher, Michael J.
1
2017
Relative expressiveness of defeasible logics. II. Zbl 1286.68052
Maher, Michael J.
2
2013
Relative expressiveness of defeasible logics. Zbl 1260.68065
Maher, Michael J.
2
2012
An inclusion theorem for defeasible logics. Zbl 1351.68261
Billington, David; Antoniou, Grigoris; Governatori, Guido; Maher, Michael
5
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
Argumentation semantics for defeasible logic. Zbl 1067.03038
Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris; Billington, David
27
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.
20
2001
Propositional defeasible logic has linear complexity. Zbl 1066.68530
Maher, Michael J.
9
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
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
25
1998
Constraint logic programming: A survey. Zbl 0900.68127
Jaffar, J.; Maher, M. J.
23
1998
A study of provability in defeasible logic. Zbl 0928.03029
Maher, M. J.; Antoniou, G.; Billington, D.
1
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.
13
1992
Elimination of negation in term algebras. Zbl 0776.68070
Lassez, J.-L.; Maher, M.; Marriott, K.
10
1991
Unification revisited. Zbl 0645.68046
Lassez, J.-L.; Maher, M. J.; Marriott, K.
60
1988
Equivalences of logic programs. Zbl 0594.68011
Maher, M. J.
19
1986
Comments on ”General failure of logic programs”. Zbl 0596.68014
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
1
1986
Optimal fixedpoints of logic programs. Zbl 0584.68029
Lassez, J.-L.; Maher, M. J.
9
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
all top 5

Cited by 405 Authors

10 Maher, Michael J.
10 Stuckey, Peter James
9 Alpuente, María
9 Governatori, Guido
7 Lassez, Jean-Louis
6 Amgoud, Leila
6 Falaschi, Moreno
6 Levi, Giorgio
6 Moreno, Ginés
6 Pettorossi, Alberto
6 Proietti, Maurizio
6 Vidal, Germán
5 Gabbrielli, Maurizio
5 Meseguer Guaita, José
5 Palamidessi, Catuscia
5 Pichler, Reinhard
5 Rotolo, Antonino
5 Subrahmanian, V. S.
4 Eiter, Thomas
4 Marriott, Kim
4 Oliveri, Francesco
4 Penabad, Jaime
4 Toni, Francesca
3 Arieli, Ofer
3 Ballis, Demis
3 Cristani, Matteo
3 Delahaye, Jean-Paul
3 Escobar, Santiago
3 Giacobazzi, Roberto
3 Gottlob, Georg
3 Hölldobler, Steffen
3 Julián, Pascual
3 Mesnard, Fred
3 Nerode, Anil
3 Payet, Étienne
3 Ranzato, Francesco
3 Rodríguez-Artalejo, Mario
3 Sattar, Abdul
3 Scannapieco, Simone
3 Simari, Guillermo Ricardo
3 Subramani, Krishnan
3 Thielscher, Michael
3 Wallace, Mark G.
2 Albert, Elvira
2 Antoniou, Grigoris
2 Armando, Alessandro
2 Baader, Franz
2 Banerjee, Rabindra N.
2 Baratella, Stefano
2 Besnard, Philippe
2 Billington, David
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 Comon, Hubert
2 de Boer, Frank S.
2 De Koninck, Leslie
2 De Schreye, Danny
2 del Vado Vírseda, Rafael
2 Dovier, Agostino
2 Duck, Gregory J.
2 Etalle, Sandro
2 Filé, Gilberto
2 Fioravanti, Fabio
2 Frechina, Francisco
2 Gallagher, John P.
2 Hermenegildo, Manuel V.
2 Hunter, Anthony
2 Jaffar, Joxan
2 Kafle, Bishoksan
2 Kagan, Vadim
2 Lakin, Matthew R.
2 Maier, Frederick
2 Mancarella, Paolo
2 Meo, Maria Chiara
2 Nagashima, Masanori
2 Ojeda, Pedro
2 Olarte, Carlos
2 Pigozzi, Don Leonard
2 Pigozzi, Gabriella
2 Pitts, Andrew M.
2 Ramakrishnan, C. R.
2 Ramakrishnan, I. V.
2 Riveret, Régis
2 Ruggieri, Salvatore
2 Rusinowitch, Michaël
2 Sadri, Fariba
2 Sakai, Masahiko
2 Sapiña, Julia
2 Sato, Taisuke
2 Senni, Valerio
2 Skeirik, Stephen
2 Smolka, Gert
2 Søndergaard, Harald
2 van der Torre, Leendert W. N.
2 Winsborough, William H.
1 Achuthan, Krishnashree
...and 305 more Authors
all top 5

Cited in 41 Serials

62 Theoretical Computer Science
23 Theory and Practice of Logic Programming
18 Artificial Intelligence
12 Annals of Mathematics and Artificial Intelligence
11 Journal of Symbolic Computation
9 New Generation Computing
8 Journal of Automated Reasoning
6 Constraints
5 Journal of Computer and System Sciences
5 International Journal of Approximate Reasoning
4 Information and Computation
4 Journal of Applied Non-Classical Logics
4 Higher-Order and Symbolic Computation
4 Journal of Applied Logic
3 Information Processing Letters
3 Fuzzy Sets and Systems
3 RAIRO. Informatique Théorique et Applications
2 Acta Informatica
2 Computers & Mathematics with Applications
2 Information Sciences
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 The Journal of Logic and Algebraic Programming
2 Journal of Logical and Algebraic Methods in Programming
1 Journal of Optimization Theory and Applications
1 Studia Logica
1 Synthese
1 International Journal of Intelligent Systems
1 Annals of Operations Research
1 International Journal of Foundations of Computer Science
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