Michael J. Maher Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: SOGgy Constraints: Soft Open Global Constraints. CP 2009: 584-591
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Open Constraints in a Boundable World. CPAIOR 2009: 163-177
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Open Contractible Global Constraints. IJCAI 2009: 578-583
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Flow-Based Propagators for the SEQUENCE and Related Global Constraints CoRR abs/0909.4452: (2009)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Local consistency for extended CSPs. Theor. Comput. Sci. 410(46): 4769-4783 (2009)
2008
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP 2008: 159-174
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Ge Huang: On Computing Constraint Abduction Answers. LPAR 2008: 421-435
2007
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoreno Falaschi, Michael J. Maher: Introduction Special Issue on Multiparadigm Languages and Constraint Programming. TPLP 7(1-2): 1-2 (2007)
2006
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Michael J. Maher: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Heyting Domains for Constraint Abduction. Australian Conference on Artificial Intelligence 2006: 9-18
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding defeasible logic into logic programming. TPLP 6(6): 703-735 (2006)
2005
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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: 13-16
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Abduction of Linear Arithmetic Constraints. ICLP 2005: 174-188
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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. ICLP 2005: 9-13
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Herbrand Constraint Abduction. LICS 2005: 397-406
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding Defeasible Logic into Logic Programming CoRR abs/cs/0511055: (2005)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunhu Wang, Rodney W. Topor, Michael J. Maher: Rewriting Union Queries Using Views. Constraints 10(3): 219-251 (2005)
2004
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings Springer 2004
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher: Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI 2004: 134-143
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Propositional Defeasible Logic has Linear Complexity CoRR cs.AI/0405090: (2004)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: A Local Search Approach to Modelling and Solving Interval Algebra Problems. J. Log. Comput. 14(1): 93-112 (2004)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004)
2003
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: A Synthesis of Constraint Satisfaction and Constraint Solving. CP 2003: 525-539
2002
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunhu Wang, Michael J. Maher, Rodney W. Topor: Rewriting General Conjunctive Queries Using Views. Australasian Database Conference 2002
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunhu Wang, Michael J. Maher, Rodney W. Topor: Rewriting Unions of General Conjunctive Queries Using Views. EDBT 2002: 52-69
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Propagation Completeness of Reactive Constraints. ICLP 2002: 148-162
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Michael J. Maher: Embedding Defeasible Logic into Logic Programs. ICLP 2002: 393-404
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: A Model-Theoretic Semantics for Defeasible Logic. Paraconsistent Computational Logic 2002: 67-80
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: Applying Local Search to Temporal Reasoning. TIME 2002: 94-99
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Michael J. Maher: Guest Editorial. Constraints 7(3-4): 227-228 (2002)
2001
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton: Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001: 37-49
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunhu Wang, Rodney W. Topor, Michael J. Maher: Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. DEXA 2001: 963-973
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2): 255-287 (2001)
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller: Efficient Defeasible Reasoning Systems. International Journal on Artificial Intelligence Tools 10(4): 483-501 (2001)
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Propositional Defeasible Logic has Linear Complexity. TPLP 1(6): 691-711 (2001)
2000
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000: 405-410
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: A Denotational Semantics of Defeasible Logic. Computational Logic 2000: 209-222
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Junhu Wang: Optimizing Queries in Extended Relational Databases. DEXA 2000: 386-396
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock: A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000: 459-463
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Governatori, Michael J. Maher: An Argumentation-Theoretic Characterization of Defeasible Logic. ECAI 2000: 469-473
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller: Efficient defeasible reasoning systems. ICTAI 2000: 384-392
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logics. PRICAI 2000: 27-37
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A flexible framework for defeasible logics CoRR cs.AI/0003013: (2000)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic CoRR cs.LO/0003082: (2000)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Michael J. Maher, David Billington: Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. 42(1): 47-57 (2000)
1999
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Guido Governatori: A Semantic Decomposition of Defeasible Logics. AAAI/IAAI 1999: 299-305
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Michael J. Maher, Gustaf Neumann: An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. HICSS 1999
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Michael J. Maher: On the Analysis of Regulations using Defeasible Rules. HICSS 1999
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvan Tick, Roland H. C. Yap, Michael J. Maher: Finding Fair Allocations for the Coalition Problem with Constraints. ICLP 1999: 530-544
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher: Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999: 101-112
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori: A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999: 347-356
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher: Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. J. Autom. Reasoning 23(1): 83-104 (1999)
1998
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Jean-Francois Puget: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings Springer 1998
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Grigoris Antoniou, David Billington: A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1998: 215-226
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Michael J. Maher: Normal Forms for Defeasible Logic. IJCSLP 1998: 160-174
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey: The Semantics of Constraint Logic Programs. J. Log. Program. 37(1-3): 1-46 (1998)
1997
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Brodsky, Joxan Jaffar, Michael J. Maher: Toward Practical Query Evaluation for Constraint Databases. Constraints 2(3/4): 279-304 (1997)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Constrained Dependencies. Theor. Comput. Sci. 173(1): 113-149 (1997)
1996
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Jampel, Eugene C. Freuder, Michael J. Maher: Over-Constrained Systems Springer 1996
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Divesh Srivastava: Chasing Constrained Tuple-Generating Dependencies. PODS 1996: 128-138
1995
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Constrained Dependencies. CP 1995: 170-185
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Michael J. Maher, Gustaf Neumann: Logic Programming and Object Modelling: A Case Study (Abstract). ILPS 1995: 48
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher: Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. PODS 1995: 54-65
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Peter J. Stuckey: On Inductive Inference of Cyclic Structures. Ann. Math. Artif. Intell. 15(2): 167-208 (1995)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher: Oracle Semantics for Prolog. Inf. Comput. 122(2): 178-200 (1995)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher: Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. J. Log. Program. 23(2): 87-88 (1995)
1994
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Beyond Finite Domains. PPCP 1994: 86-94
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher: Guest Editor's Introduction. J. Log. Program. 19/20: 1-3 (1994)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Michael J. Maher: Constraint Logic Programming: A Survey. J. Log. Program. 19/20: 503-581 (1994)
1993
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: A Logic Programming View of CLP. ICLP 1993: 737-753
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Brodsky, Joxan Jaffar, Michael J. Maher: Toward Practical Constraint Databases. VLDB 1993: 567-580
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Projecting CLP (R) Constraints. New Generation Comput. 11(3): 449-469 (1993)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: A Tranformation System for Deductive Databases Modules with Perfect Model Semantics. Theor. Comput. Sci. 110(2): 377-403 (1993)
1992
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher: Oracle Semantics for Prolog. ALP 1992: 100-114
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: A CLP View of Logic Programming. ALP 1992: 364-383
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Output in CLP. FGCS 1992: 987-995
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Michael J. Maher: On Fourier's Algorithm for Linear Arithmetic Constraints. J. Autom. Reasoning 9(3): 373-379 (1992)
1991
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. LPNMR 1991: 181-195
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Michael J. Maher, Kim Marriott: Elimination of Negation in Term Algebras. MFCS 1991: 1-16
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaim Gaifman, Michael J. Maher, Ehud Y. Shapiro: Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. PODC 1991: 241-255
1989
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: A Transformation System for Deductive Database Modules with Perfect Model Semantics. FSTTCS 1989: 89-98
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Borning, Michael J. Maher, Amy Martindale, Molly Wilson: Constraint Hierarchies and Logic Programming. ICLP 1989: 149-164
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Peter J. Stuckey: Expanding Query Power in Constraint Logic Programming Languages. NACLP 1989: 20-36
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaim Gaifman, Michael J. Maher, Ehud Y. Shapiro: Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. NACLP 1989: 553-569
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Raghu Ramakrishnan: Déjà Vu in Fixpoints of Logic Programs. NACLP 1989: 963-980
1988
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees LICS 1988: 348-357
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Michael J. Maher, Kim Marriott: Unification Revisited Foundations of Deductive Databases and Logic Programming. 1988: 587-625
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Equivalences of Logic Programs Foundations of Deductive Databases and Logic Programming. 1988: 627-658
1987
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Logic Semantics for a Class of Committed-Choice Programs. ICLP 1987: 858-876
1986
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Michael J. Maher, Kim Marriott: Unification Revisited. Foundations of Logic and Functional Programming 1986: 67-113
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher: Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. ICLP 1986: 223-241
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher: Eqivalences of Logic Programs. ICLP 1986: 410-424
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher: Logic Programming Language Scheme. Logic Programming: Functions, Relations, and Equations 1986: 441-467
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher: Comments on "General Failure of Logic Programs". J. Log. Program. 3(2): 115-118 (1986)
1985
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Michael J. Maher: Optimal Fixedpoints of Logic Programs. Theor. Comput. Sci. 39: 15-25 (1985)
1984
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher: A Theory of Complete Logic Programs with Equality. FGCS 1984: 175-184
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Wolfram, Michael J. Maher, Jean-Louis Lassez: A Unified Treatment of Resolution Strategies for Logic Programs. ICLP 1984: 263-276
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher: A Theory of Complete Logic Programs with Equality. J. Log. Program. 1(3): 211-223 (1984)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Michael J. Maher: Closures and Fairness in the Semantics of Programming Logic. Theor. Comput. Sci. 29: 167-184 (1984)
1983
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Louis Lassez, Michael J. Maher: The Denotational Semantics of Horn Clauses as a Production System. AAAI 1983: 229-231

Coauthor Index

1Grigoris Antoniou [46] [47] [50] [51] [53] [56] [57] [58] [59] [60] [62] [65] [67] [68] [74] [79] [85] [90]
2Maria Garcia de la Banda (Maria J. García de la Banda) [87] [89]
3Roberto Barbuti [27] [36]
4Matthew Beaumont [70] [72] [80] [82]
5David Billington [46] [47] [50] [51] [53] [56] [57] [58] [59] [60] [62] [65] [67] [68] [79] [85] [90]
6Alan Borning [19]
7Annalisa Bossi [92]
8Alexander Brodsky [30] [38] [44] [49]
9Maurice Bruynooghe [33] [35]
10Michael Codish [27] [36]
11Saumya K. Debray [33] [35]
12Moreno Falaschi [93]
13Eugene C. Freuder [42]
14Haim Gaifman [17] [21]
15Roberto Giacobazzi [27] [36]
16Guido Governatori [50] [51] [55] [57] [58] [59] [61] [62] [65] [68] [79] [85] [90]
17Manuel V. Hermenegildo [33] [35]
18Ge Huang [94]
19Joxan Jaffar [3] [5] [7] [8] [10] [25] [29] [30] [32] [34] [39] [44] [45] [54] [71]
20Michael Jampel [42]
21Catherine Lassez [38] [49]
22Jean-Louis Lassez [1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [14] [22] [24] [38] [49]
23Kim Marriott [11] [14] [22] [45] [87] [89]
24Amy Martindale [19]
25Tristan Miller [60] [67]
26Nina Narodytska [95] [97]
27Gustaf Neumann [39] [54]
28Jean-François Puget (Jean-Francois Puget) [48]
29Claude-Guy Quimper [95] [97]
30Raghu Ramakrishnan [16]
31Andrew Rock [60] [62] [67]
32Abdul Sattar [70] [72] [80] [82]
33Ehud Y. Shapiro [17] [21]
34John K. Slaney [87] [89]
35Zoltan Somogyi [87] [89]
36Divesh Srivastava [41]
37Peter J. Stuckey [18] [25] [29] [34] [37] [45] [87] [89]
38John Thornton [70] [72] [80] [82]
39Evan Tick [52]
40Rodney W. Topor [69] [76] [77] [84]
41Mark Wallace [87] [89]
42Toby Walsh [87] [89] [95] [97]
43Junhu Wang [63] [69] [76] [77] [84]
44Molly Wilson [19]
45David A. Wolfram [4]
46Roland H. C. Yap [25] [29] [34] [52]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)