| Searching for m j maher or michael j maher or michael maher or m maher. |
Results restricted to the author field.
Retrieving citations...
784 citations found.
Context Doc 71 (4): J. Jaffar and M. Maher, "Constraint logic programming: a survey," Journal of Logic Programming, vol. 19-20, pp. 503--582, 1994.
| One or more of the query terms is very common - only partial results have been returned. Try Google (CiteSeer). |
Context Doc 65 (0): Ja#ar, J. & Maher, M.J. (1994), Constraint logic programming: A survey., in `Journal of Logic Programming ' pp. 503--581 Kinny, D. & George#, M. (1997), Modeling and design of multi-agent systems, Intelligent Agents III, Lecture Notes in Artificial Intelligence Springer, Berlin.
Context Doc 35 (0): Joxan Ja#ar and Michael J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19(20):503--581, 1994.
Context Doc 33 (6): Michael J. Maher. Complete axiomatizations of the algebras of the finite, rational, and infinite trees. Proc. 3rd IEEE LICS, 1988.
Context Doc 28 (7): Maher, M. J. (1987). Logic semantics for a class of committed-choice programs. In Lassez, J.-L., editor, Proc. of the Fourth International Conference on Logic Programming, Series in Logic Programming, pages 858--876, Melbourne. The MIT Press.
Context Doc 25 (5): ) Lassez J.L., Maher M.J., and Marriott K., "Unification Revisited," in Foundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann, Los Altos, Ca., pp. 587--625, 1988.
Context Doc 18 (1): Borning, A., Maher, M., Martindale, A., Wilson, M.: Constraint hierarchies and logic programming. In Levi, G., Martelli, M., eds.: ICLP'89: Proceedings 6th International Conference on Logic Programming, Lisbon, Portugal, MIT Press (1989) 149-164
Context Doc 13 (0): J. Jaffar, J-L. Lassez, and M. J. Maher. Prolog-II as an instance of the logic programming scheme. In M. Wirsing, editor, Formal Descriptions of Programming Concepts III, pages 275-299. North-Holland, 1987. 21
Context Doc 13 (0): J.-L. Lassez, M. Maher, and K. Marriott. Uni cation revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 587-625. Morgan-Kaufmann, 1988.
Context Doc 11 (0): M. Maher, Complete axiomatizations of the algebras of nite, rational and in nite trees, Proc 3rd Symp. on Logic in Computer Science, Edinburgh, pp.348-357, (1988).
Context Doc 10 (1): J. Jaffar, J.-L. Lassez, and M. J. Maher. A Theory of Complete Logic Programs with Equality. Journal of Logic Programming, 1(3):211--223, November 1984.
Context Doc 9 (3): Michael J. Maher. Equivalences of logic programs. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 627--658. Morgan Kaufmann, Los Altos, CA, 1988.
Context Doc 9 (4): MAHER, M. J. A transformation system for deductive database modules with perfect model semantics. Theoretical Computer Science 110 (1993), 377-403.
Context Doc 8 (3): Maher, M. J., Rock, A., Antoniou, G., Billignton, D. & Miller, T. (2001), `Efficient defeasible reasoning systems ', International Journal of Artificial Intelligence Tools 10(4), 483--501.
Context Doc 7 (1): J. Jaffar, M. Maher, K. Marriot, and P. Stuckey. The Semantics of Constraint Logic Programs. Journal of Logic Programming, 37:1--46, 1998.
Context Doc 7 (2): Joxan Ja#ar, Michael J. Maher, Kim Marriott, and Peter J. Stuckey. The semantics of constraint logic programs. Journal of Logic Programming, 37(1--3):1--46, 1998.
Context Doc 6 (1): M. L. Maher, M. B. Balachandran, D. M. Zhang, Case-Based Reasoning in Design, Mahwah, NJ: Lawrence Erlbaum Associates, 1995.
Context Doc 6 (11): Antoniou, Grigoris, Maher, Michael J., & Billington, David. (2000a). Defeasible logic versus logic programming without negation as failure. Journal of logic programming, 42, 47--57.
Context Doc 6 (3): Maher, M. (2001), `Propositional defeasible logic has linear complexity', Theory and Practice of Logic Programming 1(6), 601--711.
Context Doc 6 (0): J. Jaffar, L.-J. Lassez, and M. J. Maher. A logic programming language scheme. In D. DeGroot and G. Lindstrom, editors, Logic Programming, pages 441--467. Prentice Hall, 1986.
Context Doc 6 (0): J. Jaar, M. Maher, K. Marriott, and P. Stuckey. The semantics of constraint logic programming. Journal of Logic Programming, 37:146, 1998.
Context Doc 5 (7): M. Maher. A logic programmingview of CLP. In D. S. Warren, editor, Proceedings of the 10th International Conference on Logic Programming, pages 737-753. The MIT Press, 1993.
Context Doc 4 (0): J.-L. Lassez, M. Maher, and K. Marriott. Elimination of Negation in Term Algebras. In A. Tarlecki, editor, Mathematical Foundations of Computer Science, number 520 in Lecture Notes in Computer Science, pages 1--16. Springer-Verlag, 1991.
Context Doc 4 (1): M.J. Maher. Correctness of a logic program transformation system. IBM Research Report RC13496, T.J. Watson Research Center, 1987.
Context Doc 4 (12): Antoniou, Grigoris, Billington, David, Governatori, Guido, & Maher, Michael J. (2001). Representation results for defeasible logics. Acm transactions on computational logic, 2(2), 255--287.
Context Doc 3 (2): Maher, M. J. and Ramakrishnan, R. D'ej`a Vu in Fixpoints of Logic Programs. In Proceedings of the North American Conference on Logic Programming, (MIT Press, Cambridge, MA, 1989) 963--980.
Context Doc 3 (2): Lassez, J. L. and Maher, M. J. (1984). Closures and fairness in the semantics of programming logic. Theoretical Computer Science, 29:167-- 184.
Context Doc 3 (4): Maher, M. J. and Srivastava, D. (1996). Chasing Constrained Tuple-Generating Dependencies. In ACM Symposium on Principles of Database Systems, pages 128-138.
Context Doc 3 (0): Maher, M. "Designing the Virtual Campus as a Virtual World". In proceedings of CSCL 1999.
Context Doc 3 (1): J. Wang, M. Maher, and R. Toper. Rewriting general conjunctive queries using views. In X. Zhou, editor, Thirteenth Australasian Database Conference (ADC2002.
Context Doc 3 (4): A. Brodsky, J. Jaffar, and M. Maher. Toward Practical Constraint Databases. In Proc. of the 19th Int. Conf. on Very Large Data Bases, pages 567--579, 1993.
Context Doc 2 (6): Antoniou, Grigoris, Billington, David, Governatori, Guido, Maher, Michael J., & Rock, Andrew. (2000b). A family of defeasible reasoning logics and its implementation. Pages 459--463 of: Proceedings of european conference on artificial intelligence (ecai).
Context Doc 2 (0): M. J. Maher. Complete axiomatizations of nite, rational and innite trees. In LICS'88: Proceedings 3rd Symposium on Logic in Computer Science, pages 348-357, Edinburgh, UK, June 1988.
Context Doc 2 (1): M. J. Maher. Constrained dependencies. Theoretical Computer Science, 173(1):113-149, February 1997.
Context Doc 2 (0): Michael Maher. Constrained dependencies. In Proceedings ILPS'94 Workshop on Constraints and Databases, Ithaca, November 1994.
Context Doc 2 (1): G. Antoniou, Billington D., Governatori G., and Maher M. Revising non-monotonic belief sets: The case of defeasible logic. Proceedings of the 23th German Conference in Artificial Intelligence, LNAI 1701, Springer, 1999.
Context Doc 2 (3): J. Jaffar, M. Maher, P. Stuckey, and R. Yap. Beyond finite domains. In PPCP'94: Second Workshop on Principles and Practice of Constraint Programming, 1994.
Context Doc 2 (0): Maher, M., "ATM Signalling Support for IP over ATM - UNI Signalling 4.0 Update", RFC 2331, April 1998.
Context Doc 2 (1): J-L. Lassez and M.J. Maher, On Fourier's Algorithm for Linear Arithmetic Constraints, in Journal of Automated Reasoning, 1988.
Context Doc 2 (0): J. Jaffar, M.J. Maher, P.J. Stuckey, and R.H.C. Yap. Output in clp(r). In Proc. Int. Conf. on Fifth Generation Computer Systems, volume 2, pages 987--995, Tokyo, Japan, 1992.
Context Doc 2 (0): Jaffar, J. and Maher, M. J., Constraint Logic Programming,Journal of Logic Programming 19/20, 503-581,1994
Context Doc 2 (0): MAHER,M.P.,AND PERKINS, C. Session Announcement Protocol: Version 2. IETF Internet Draft, November 1998. draft-ietf-mmusicsap -v2-00.txt.
Context Doc 2 (2): M.J. Maher. On Parameterized Substitutions. Technical Report RC 16042, IBM - T.J. Watson Research Center, Yorktown Heights, NY, 1990.
Context Doc 2 (0): Gaifman, H., Maher, M. J., and Shapiro, E. (1989). Reactive Behaviour semantics for Concurrent Constraint Logic Programs. In Lusk, E. and Overbeck, R., editors, North American Conference on Logic Programming.
Context Doc 2 (3): Wolfram, D. A., Maher, M. J., and Lassez, J.-L. (1983). A unified treatment of resolution strategies for logic programs. Technical Report 83/12, Department of Computer Science, Melbourne.
Context Doc 2 (0): M. J. Maher and P. J. Stuckey, Expanding Query Power in Constraint Logic Programming Languages, Proc. 1989 North American Conf. Logic Programming, Cleveland, OH, Oct. 1989, 20-36.
Context Doc 2 (0): Poon, J., and Maher, M. L. Emergent behaviour in co-evolutionary design. In International Conference on Artificial Intelligence in Design (4th,
Context Doc 2 (0): de Silva Garza, A.G., Maher, M.L.: An evolutionary approach to case adaptation. In: Proceedings of Third International Conference on Case-Based Reasoning. (1999) 162--172
Context Doc 1 (0): Contemporary educational psychology (5th ed.). New York: Longman. Maher M. and Skow B. (1999) Available: http://www.ultivbase.eu.rmit.edu.au/articles/ maher1.html Mayer, R.E. (1992). Cognition and instruction: Their historical meeting within educational psychology.
Context Doc 1 (0): Gero, J. S. , Maher, M. L. (eds) (1993). Modeling Creativity and KnowledgeBased Creative Design, Lawrence Erlbaum, Hillsdale, New Jersey, pp. 354.
First 50 documents Next 50
The numbers before each article are the number of citations (excluding self-citations), and the predicted number of self-citations. 784 citations were found, of which 250 were predicted to be self-citations. Self-citations are not included in the graph.
Try your query at: Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
CiteSeer.IST - Copyright Penn State and NEC