BibSonomy ::  author :: Michael Maher ::

bookmarks

publications

• Clever clustering vs. simple speed-up for summarizing rushes.
  Alexander G. Hauptmann and Michael G. Christel and Wei-Hao Lin and Bryan Maher and Jun Yang and Robert V. Baron and Guang Xiang TVS, page 20-24. ACM, (2007)
  to dblp by dblp on Jan 21, 2010, 12:00 AM
  URL | BibTeX | spam 
• Exploring the utility of fast-forward surrogates for bbc rushes.
  Michael G. Christel and Alexander G. Hauptmann and Wei-Hao Lin and Ming yu Chen and Jun Yang and Bryan Maher and Robert V. Baron TVS, page 35-39. ACM, (2008)
  to dblp by dblp on Jan 21, 2010, 12:00 AM
  URL | BibTeX | spam 
• Local consistency for extended CSPs.
  Michael J. Maher Theor. Comput. Sci.410(46):4769-4783(2009)
  to dblp by dblp on Dec 29, 2009, 12:00 AM
  URL | BibTeX | spam 
• A CLP View of Logic Programming.
  Michael J. Maher ALP, volume 632 of Lecture Notes in Computer Science, page 364-383. Springer, (1992)
  to dblp by dblp on Oct 14, 2009, 12:00 AM
  URL | BibTeX | spam 
• Oracle Semantics for Prolog.
  Roberto Barbuti and Michael Codish and Roberto Giacobazzi and Michael J. Maher ALP, volume 632 of Lecture Notes in Computer Science, page 100-114. Springer, (1992)
  to dblp by dblp on Oct 14, 2009, 12:00 AM
  URL | BibTeX | spam 
• Open Contractible Global Constraints.
  Michael J. Maher IJCAI, page 578-583. (2009)
  to dblp by dblp on Oct 13, 2009, 12:00 AM
  URL | BibTeX | spam 
• A Study of Provability in Defeasible Logic.
  Michael J. Maher and Grigoris Antoniou and David Billington Australian Joint Conference on Artificial Intelligence, volume 1502 of Lecture Notes in Computer Science, page 215-226. Springer, (1998)
  to dblp by dblp on Oct 2, 2009, 12:00 AM
  URL | BibTeX | spam 
• Flow-Based Propagators for the SEQUENCE and Related Global Constraints
  Michael J. Maher and Nina Narodytska and Claude-Guy Quimper and Toby Walsh CoRR(2009) informal publication .
  to dblp by dblp on Oct 2, 2009, 12:00 AM
  URL | BibTeX | spam 
• A Transformation System for Deductive Database Modules with Perfect Model Semantics.
  Michael J. Maher FSTTCS, volume 405 of Lecture Notes in Computer Science, page 89-98. Springer, (1989)
  to dblp by dblp on Oct 1, 2009, 12:00 AM
  URL | BibTeX | spam 
• SOGgy Constraints: Soft Open Global Constraints.
  Michael J. Maher CP, volume 5732 of Lecture Notes in Computer Science, page 584-591. Springer, (2009)
  to dblp by dblp on Oct 1, 2009, 12:00 AM
  URL | BibTeX | spam 
• Rewriting Unions of General Conjunctive Queries Using Views.
  Junhu Wang and Michael J. Maher and Rodney W. Topor EDBT, volume 2287 of Lecture Notes in Computer Science, page 52-69. Springer, (2002)
  to dblp by dblp on Sep 23, 2009, 12:00 AM
  URL | BibTeX | spam 
• Elimination of Negation in Term Algebras.
  Jean-Louis Lassez and Michael J. Maher and Kim Marriott MFCS, page 1-16. (1991)
  to dblp by dblp on Sep 21, 2009, 12:00 AM
  URL | BibTeX | spam 
• Auctions with Dynamic Populations: Efficiency and Revenue Maximization.
  Maher Said AMMA, volume 14 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 87-88. Springer, (2009)
  to dblp by dblp on Sep 11, 2009, 12:00 AM
  URL | BibTeX | spam 
• Information economics and accounting research
  Joel S. Demski and Gerald Lobo and Michael Maher (eds.). Michigan business papers Division of Research, Graduate School of Business Administration, University of Michigan, Ann Arbor, Mich, (1980)
  to imported by fbw_hannover on Aug 21, 2009, 12:21 PM
  URL | BibTeX | spam 
• Management accounting research
  Charles F. Klemstine and Michael W. Maher Accounting history and the development of a profession Garland, New York, NY u.a., (1984)
  to imported by fbw_hannover on Aug 21, 2009, 11:04 AM
  URL | BibTeX | spam 
• GeneTrailExpress: a web-based pipeline for the statistical evaluation of microarray experiments.
  Andreas Keller and Christina Backes and Maher Al-Awadhi and Andreas Gerasch and Jan Küntzer and Oliver Kohlbacher and Michael Kaufmann and Hans-Peter Lenhof BMC Bioinformatics(2008)
  to dblp by dblp on Jun 30, 2009, 12:00 AM
  URL | BibTeX | spam 
• Analysis of transaction logs for insights into use of life oral histories.
  Michael G. Christel and Bryan Maher and Huan Li JCDL, page 371-372. ACM, (2009)
  to dblp by dblp on Jun 18, 2009, 12:00 AM
  URL | BibTeX | spam 
• Open Constraints in a Boundable World.
  Michael J. Maher CPAIOR, volume 5547 of Lecture Notes in Computer Science, page 163-177. Springer, (2009)
  to dblp by dblp on May 20, 2009, 12:00 AM
  URL | BibTeX | spam 
• Dynamic and On-Line Design Space Exploration for Reconfigurable Architectures.
  Ghaffari Fakhreddine and Michel Auguin and Mohamed Abid and Maher Ben Jemaa T. HiPEAC(2007)
  to dblp by dblp on May 4, 2009, 12:00 AM
  URL | BibTeX | spam 
• Agents for multidisciplinary design in virtual worlds.
  Mary Lou Maher and Michael Rosenman and Kathryn Elizabeth Merrick AI EDAM21(3):267-277(2007)
  to dblp by dblp on Mar 12, 2009, 12:00 AM
  URL | BibTeX | spam 
• Evaluating audio skimming and frame rate acceleration for summarizing BBC rushes.
  Michael G. Christel and Wei-Hao Lin and Bryan Maher CIVR, page 407-416. ACM, (2008)
  to dblp by dblp on Jan 2, 2009, 12:00 AM
  URL | BibTeX | spam 
• On Computing Constraint Abduction Answers.
  Michael Maher and Ge Huang LPAR, volume 5330 of Lecture Notes in Computer Science, page 421-435. Springer, (2008)
  to dblp by dblp on Nov 18, 2008, 12:00 AM
  URL | BibTeX | spam 
• A Model-Theoretic Semantics for Defeasible Logic.
  Michael J. Maher Paraconsistent Computational Logic, volume 95 of Datalogiske Skrifter, page 67-80. Roskilde University, Roskilde, Denmark, (2002)
  to dblp by dblp on Oct 21, 2008, 12:00 AM
  URL | BibTeX | spam 
• Flow-Based Propagators for the SEQUENCE and Related Global Constraints.
  Michael Maher and Nina Narodytska and Claude-Guy Quimper and Toby Walsh CP, volume 5202 of Lecture Notes in Computer Science, page 159-174. Springer, (2008)
  to dblp by dblp on Sep 24, 2008, 12:00 AM
  URL | BibTeX | spam 
• Introduction Special Issue on Multiparadigm Languages and Constraint Programming.
  Moreno Falaschi and Michael J. Maher TPLP7(1-2):1-2(2007)
  to dblp by dblp on Jun 12, 2008, 12:00 AM
  URL | BibTeX | spam 
• An Integration Life Cycle for Semantic Web Services Composition.
  Muhammad Ahtisham Aslam and Jun Shen and Sören Auer and Michael Herrmann CSCWD, page 490-495. IEEE, (2007)
  to dblp by dblp on May 19, 2008, 12:00 AM
  URL | BibTeX | spam 
• A comparison of bribery and bidding in thin markets
  Paul J. Beck and Michael W. Maher Economics Letters20(1):1--5(1986)
  to imported by smicha on Apr 21, 2008, 10:09 PM
  URL | BibTeX | spam 
• Embedding Defeasible Logic into Logic Programming
  Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher CoRR(2005) informal publication .
  to dblp by dblp on Jan 2, 2008, 12:00 AM
  URL | BibTeX | spam 
• Representation results for defeasible logic
  Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher CoRR(2000) informal publication .
  to dblp by dblp on Jan 2, 2008, 12:00 AM
  URL | BibTeX | spam 
• Propositional Defeasible Logic has Linear Complexity
  Michael J. Maher CoRR(2004) informal publication .
  to dblp by dblp on Jan 2, 2008, 12:00 AM
  URL | BibTeX | spam 
• A flexible framework for defeasible logics
  Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher CoRR(2000) informal publication .
  to dblp by dblp and 1 other person on Jan 2, 2008, 12:00 AM
  URL | BibTeX | spam 
• Retrieval, reuse, revision and retention in case-based reasoning
  Ramon Lopez de Mantaras and David McSherry and Derek Bridge and David Leake and Barry Smyth and Susan Craw and Boi Faltings and Mary Lou Maher and Michael T. Cox and Kenneth Forbus and Mark Keane and Agnar Aamodt and Ian Watson Knowledge Engineering Review20(3):215--240(2006)
  to barry-smyth dblp, by bsmyth on Nov 2, 2007, 11:09 PM
  BibTeX | spam 
• Adaptive Random Testing.
  Tsong Yueh Chen and Hing Leung and I. K. Mak ASIAN, volume 3321 of Lecture Notes in Computer Science, page 320-329. Springer, (2004)
  to dblp by dblp on Sep 19, 2007, 12:00 AM
  URL | BibTeX | spam 
• On the BDD of a Random Boolean Function.
  Jean Vuillemin and Frédéric Béal ASIAN, volume 3321 of Lecture Notes in Computer Science, page 483-493. Springer, (2004)
  to dblp by dblp on Sep 18, 2007, 12:00 AM
  URL | BibTeX | spam 
• VHDL Implementation of the Fast Wavelet Transform.
  Paul Salama and Maher E. Rizkalla and Michael Eckbauer VLSI Signal Processing42(3):223-239(2006)
  to dblp by dblp on Sep 11, 2007, 12:00 AM
  URL | BibTeX | spam 
• Distributing the comparison of DNA and protein sequences across heterogeneous supercomputers.
  Hugh B. Nicholas and Grace Giras and Vasilili Hartonas-Garmhausen and Michael Kopko and Christopher Maher and Alexander Ropelewski SC, page 139-146. (1991)
  to dblp by dblp on Sep 4, 2007, 12:00 AM
  URL | BibTeX | spam 
• Process-Based Measures of Creative Problem-Solving Skills: IV. Category Combination
  Michael D. Mumford and Wayne A. Baughman and Michelle A. Maher and David P. Costanza and Elizabeth P. Supinski Creativity Research Journal10(1):59--71(1997)
  to 1997 compounds psycholinguistics by seandalai on Jul 18, 2007, 3:35 PM
  URL | BibTeX | spam 
• Embedding defeasible logic into logic programming.
  Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher TPLP6(6):703-735(2006)
  to dblp by dblp on Jan 26, 2007, 12:00 AM
  URL | BibTeX | spam 
• A modal type system for multi-level generating extensions with persistent code.
  Yosihiro Yuse and Atsushi Igarashi PPDP, page 201-212. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• A type system equivalent to static single assignment.
  Yutaka Matsuno and Atsushi Ohori PPDP, page 249-260. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• BASS: boxed ambients with safe sessions.
  Pablo Garralda and Adriana B. Compagnoni and Mariangiola Dezani-Ciancaglini PPDP, page 61-72. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Polymorphic algebraic data type reconstruction.
  Tom Schrijvers and Maurice Bruynooghe PPDP, page 85-96. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Open data types and open functions.
  Andres Löh and Ralf Hinze PPDP, page 133-144. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Constraint handling rules: the story so far.
  Thom W. Frühwirth PPDP, page 13-14. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Collection analysis for Horn clause programs.
  Dale Miller PPDP, page 179-188. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• An efficient algorithm for XML type projection.
  Dario Colazzo and Carlo Sartiani PPDP, page 51-60. ACM, (2006)
  to dblp by dblp and 1 other person on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Poly-controlled partial evaluation.
  Germán Puebla and Claudio Ochoa PPDP, page 261-271. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• An abductive framework for a-priori verification of web services.
  Marco Alberti and Marco Gavanelli and Evelina Lamma and Federico Chesani and Paola Mello and Marco Montali PPDP, page 39-50. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Practical type inference based on success typings.
  Tobias Lindahl and Konstantinos F. Sagonas PPDP, page 167-178. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Rewriting term-graphs with priority.
  Ricardo Caferra and Rachid Echahed and Nicolas Peltier PPDP, page 109-120. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• A historic functional and object-oriented calculus.
  Maribel Fernández and Fabien Fleutot PPDP, page 145-156. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Inferring dynamic credentials for rôle-based trust management.
  Daniele Gorla and Matthew Hennessy and Vladimiro Sassone PPDP, page 213-224. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Computing constructor forms with non terminating rewrite programs.
  Isabelle Gnaedig and Hélène Kirchner PPDP, page 121-132. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Type inference for spreadsheets.
  Robin Abraham and Martin Erwig PPDP, page 73-84. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• One-and-a-halfth-order logic.
  Murdoch Gabbay and Aad Mathijssen PPDP, page 189-200. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Compiling ML polymorphism with explicit layout bitmap.
  Huu-Duc Nguyen and Atsushi Ohori PPDP, page 237-248. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Condate: a proto-language at the confluence between checking and compiling.
  Eugen-Nicolae Volanschi PPDP, page 225-236. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Combining algorithmic debugging and program slicing.
  Josep Silva and Olaf Chitil PPDP, page 157-166. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Combining fuzzy logic and behavioral similarity for non-strict program validation.
  Coen De Roover and Johan Brichau and Theo D'Hondt PPDP, page 15-26. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Extracting programs from type class proofs.
  Martin Sulzmann PPDP, page 97-108. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Typed polyadic pi-calculus in bigraphs.
  Mikkel Bundgaard and Vladimiro Sassone PPDP, page 1-12. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Type-oriented construction of web user interfaces.
  Michael Hanus PPDP, page 27-38. ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy
  Annalisa Bossi and Michael J. Maher (eds.). ACM, (2006)
  to dblp by dblp on Dec 7, 2006, 12:00 AM
  URL | BibTeX | spam 
• Heyting Domains for Constraint Abduction.
  Michael J. Maher Australian Conference on Artificial Intelligence, volume 4304 of Lecture Notes in Computer Science, page 9-18. Springer, (2006)
  to dblp by dblp on Nov 20, 2006, 12:00 AM
  URL | BibTeX | spam 
• Oracle Semantics for Prolog.
  Roberto Barbuti and Michael Codish and Roberto Giacobazzi and Michael J. Maher Inf. Comput.122(2):178-200(1995)
  to dblp by dblp on Apr 25, 2006, 12:00 AM
  URL | BibTeX | spam 
• Chasing Constrained Tuple-Generating Dependencies.
  Michael J. Maher and Divesh Srivastava PODS, page 128-138. ACM Press, (1996)
  to dblp by dblp on Mar 31, 2006, 12:00 AM
  URL | BibTeX | spam 
• Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data.
  Alexander Brodsky and Catherine Lassez and Jean-Louis Lassez and Michael J. Maher PODS, page 54-65. ACM Press, (1995)
  to dblp by dblp on Mar 31, 2006, 12:00 AM
  URL | BibTeX | spam 
• LPOD Answer Sets and Nash Equilibria.
  Norman Y. Foo and Thomas Meyer and Gerhard Brewka ASIAN, volume 3321 of Lecture Notes in Computer Science, page 343-351. Springer, (2004)
  to dblp by dblp on Mar 17, 2006, 12:00 AM
  URL | BibTeX | spam 
• A Framework for Assertion-Based Debugging in Constraint Logic Programming.
  Germán Puebla and Francisco Bueno and Manuel V. Hermenegildo CP, volume 1520 of Lecture Notes in Computer Science, page 472. Springer, (1998)
  to dblp by dblp on Mar 9, 2006, 12:00 AM
  URL | BibTeX | spam 
• Rewriting Union Queries Using Views.
  Junhu Wang and Rodney W. Topor and Michael J. Maher Constraints10(3):219-251(2005)
  to dblp by dblp on Dec 6, 2005, 12:00 AM
  URL | BibTeX | spam 
• The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
  Peter J. Stuckey and Maria J. García de la Banda and Michael J. Maher and Kim Marriott and John K. Slaney and Zoltan Somogyi and Mark Wallace and Toby Walsh ICLP, volume 3668 of Lecture Notes in Computer Science, page 9-13. Springer, (2005)
  to dblp by dblp and 1 other person on Oct 26, 2005, 12:00 AM
  URL | BibTeX | spam 
• Abduction of Linear Arithmetic Constraints.
  Michael J. Maher ICLP, volume 3668 of Lecture Notes in Computer Science, page 174-188. Springer, (2005)
  to dblp by dblp on Oct 26, 2005, 12:00 AM
  URL | BibTeX | spam 
• The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
  Peter J. Stuckey and Maria J. García de la Banda and Michael J. Maher and Kim Marriott and John K. Slaney and Zoltan Somogyi and Mark Wallace and Toby Walsh CP, volume 3709 of Lecture Notes in Computer Science, page 13-16. Springer, (2005)
  to dblp by dblp and 1 other person on Oct 26, 2005, 12:00 AM
  URL | BibTeX | spam 
• Herbrand Constraint Abduction.
  Michael J. Maher LICS, page 397-406. IEEE Computer Society, (2005)
  to dblp by dblp on Jul 20, 2005, 12:00 AM
  URL | BibTeX | spam 
• A Local Search Approach to Modelling and Solving Interval Algebra Problems.
  John Thornton and Matthew Beaumont and Abdul Sattar and Michael J. Maher J. Log. Comput.14(1):93-112(2004)
  to dblp by dblp on Jul 6, 2005, 12:00 AM
  URL | BibTeX | spam 
• Argumentation Semantics for Defeasible Logic.
  Guido Governatori and Michael J. Maher and Grigoris Antoniou and David Billington J. Log. Comput.14(5):675-702(2004)
  to dblp by dblp on Jul 6, 2005, 12:00 AM
  URL | BibTeX | spam 
• 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
  Michael J. Maher (eds.). volume 3321 of Lecture Notes in Computer Science, Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Rule-Based Programming and Proving: The ELAN Experience Outcomes.
  Claude Kirchner and Hélène Kirchner ASIAN, volume 3321 of Lecture Notes in Computer Science, page 363-379. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Robot Visual Servoing Based on Total Jacobian.
  Qingjie Zhao and Zengqi Sun and Hongbin Deng ASIAN, volume 3321 of Lecture Notes in Computer Science, page 271-285. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems.
  Chuchang Liu and Maris A. Ozols and Mehmet A. Orgun ASIAN, volume 3321 of Lecture Notes in Computer Science, page 142-156. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• A Robust Approach to Content-Based Musical Genre Classification and Retrieval Using Multi-feature Clustering.
  Kyu-Sik Park and Sang-Heon Oh and Won-Jung Yoon and Kang-Kue Lee ASIAN, volume 3321 of Lecture Notes in Computer Science, page 212-222. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Counting by Coin Tossings.
  Philippe Flajolet ASIAN, volume 3321 of Lecture Notes in Computer Science, page 1-12. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Identity-Based Authenticated Broadcast Encryption and Distributed Authenticated Encryption.
  Yi Mu and Willy Susilo and Yan-Xia Lin and Chun Ruan ASIAN, volume 3321 of Lecture Notes in Computer Science, page 169-181. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Design Exploration Framework Under Impreciseness Based on Register-Constrained Inclusion Scheduling.
  Chantana Chantrapornchai and Wanlop Surakumpolthorn and Edwin Hsing-Mean Sha ASIAN, volume 3321 of Lecture Notes in Computer Science, page 78-92. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Highly Efficient and Effective Techniques for Thai Syllable Speech Recognition.
  Supachai Tangwongsan and Pornchai Po-Aramsri and Rong Phoophuangpairoj ASIAN, volume 3321 of Lecture Notes in Computer Science, page 259-270. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments.
  Yuzuru Tanaka and Jun Fujima and Makoto Ohigashi ASIAN, volume 3321 of Lecture Notes in Computer Science, page 33-47. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Chi-Square Matrix: An Approach for Building-Block Identification.
  Chatchawit Aporntewan and Prabhas Chongstitvatana ASIAN, volume 3321 of Lecture Notes in Computer Science, page 63-77. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs.
  Feng Tang and Yiting Ying and Jin Wang and Qunsheng Peng ASIAN, volume 3321 of Lecture Notes in Computer Science, page 248-258. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• A Simple Theory of Expressions, Judgments and Derivations.
  Masahiko Sato ASIAN, volume 3321 of Lecture Notes in Computer Science, page 437-451. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Zero-Clairvoyant Scheduling with Inter-period Constraints.
  K. Subramani ASIAN, volume 3321 of Lecture Notes in Computer Science, page 236-247. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Online Stochastic and Robust Optimization.
  Russell Bent and Pascal Van Hentenryck ASIAN, volume 3321 of Lecture Notes in Computer Science, page 286-300. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Towards Flexible Graphical Communication Using Adaptive Diagrams.
  Kim Marriott and Bernd Meyer and Peter J. Stuckey ASIAN, volume 3321 of Lecture Notes in Computer Science, page 380-394. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Using Optimal Golomb Rulers for Minimizing Collisions in Closed Hashing.
  Lars Lundberg and Håkan Lennerstad and Kamilla Klonowska and Göran Gustafsson ASIAN, volume 3321 of Lecture Notes in Computer Science, page 157-168. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Registration of 3D Range Images Using Particle Swarm Optimization.
  Hai V. Phan and Margaret Lech and Thuc D. Nguyen ASIAN, volume 3321 of Lecture Notes in Computer Science, page 223-235. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Optimal Constraint Decomposition for Distributed Databases.
  Alexander Brodsky and Larry Kerschberg and Samuel Varas ASIAN, volume 3321 of Lecture Notes in Computer Science, page 301-319. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Assessment Aggregation in the Evidential Reasoning Approach to MADM Under Uncertainty: Orthogonal Versus Weighted Sum.
  Van-Nam Huynh and Yoshiteru Nakamori and Tu Bao Ho ASIAN, volume 3321 of Lecture Notes in Computer Science, page 109-127. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• A Framework for Compiler Driven Design Space Exploration for Embedded System Customization.
  Krishna V. Palem and Lakshmi N. Chakrapani and Sudhakar Yalamanchili ASIAN, volume 3321 of Lecture Notes in Computer Science, page 395-406. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Formal Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction.
  Taweechai Ouypornkochagorn and Kitsana Waiyamai ASIAN, volume 3321 of Lecture Notes in Computer Science, page 195-211. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• The Feature Selection and Intrusion Detection Problems.
  Andrew H. Sung and Srinivas Mukkamala ASIAN, volume 3321 of Lecture Notes in Computer Science, page 468-482. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Deniable Partial Proxy Signatures.
  Yi Mu and Fangguo Zhang and Willy Susilo ASIAN, volume 3321 of Lecture Notes in Computer Science, page 182-194. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models.
  Vijay A. Saraswat ASIAN, volume 3321 of Lecture Notes in Computer Science, page 494-508. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• On the Role Definitions in and Beyond Cryptography.
  Phillip Rogaway ASIAN, volume 3321 of Lecture Notes in Computer Science, page 13-32. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Minimal Unsatisfiable Sets: Classification and Bounds.
  Sudeshna Dasgupta and Vijay Chandru ASIAN, volume 3321 of Lecture Notes in Computer Science, page 330-342. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Reactive Framework for Resource Aware Distributed Computing.
  Rajesh Gupta and R. K. Shyamasundar ASIAN, volume 3321 of Lecture Notes in Computer Science, page 452-467. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Metadata Inference for Document Retrieval in a Distributed Repository.
  Philippe Rigaux and Nicolas Spyratos ASIAN, volume 3321 of Lecture Notes in Computer Science, page 418-436. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Spectral-Based Document Retrieval.
  Kotagiri Ramamohanarao and Laurence A. F. Park ASIAN, volume 3321 of Lecture Notes in Computer Science, page 407-417. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Graph Theoretic Models for Reasoning About Time.
  Martin Charles Golumbic ASIAN, volume 3321 of Lecture Notes in Computer Science, page 352-362. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Probabilistic Space Partitioning in Constraint Logic Programming.
  Nicos Angelopoulos ASIAN, volume 3321 of Lecture Notes in Computer Science, page 48-62. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.
  Daniel Cabeza and Manuel V. Hermenegildo and James Lipton ASIAN, volume 3321 of Lecture Notes in Computer Science, page 93-108. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Learnability of Simply-Moded Logic Programs from Entailment.
  M. R. K. Krishna Rao ASIAN, volume 3321 of Lecture Notes in Computer Science, page 128-141. Springer, (2004)
  to dblp by dblp on Dec 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Rewriting General Conjunctive Queries Using Views.
  Junhu Wang and Michael J. Maher and Rodney W. Topor Australasian Database Conference, volume 5 of CRPIT, Australian Computer Society, (2002)
  to dblp by dblp on Oct 8, 2004, 12:00 AM
  URL | BibTeX | spam 
• Solving Over-Constrained Temporal Reasoning Problems Using Local Search.
  Matthew Beaumont and John Thornton and Abdul Sattar and Michael J. Maher PRICAI, volume 3157 of Lecture Notes in Computer Science, page 134-143. Springer, (2004)
  to dblp by dblp and 1 other person on Sep 23, 2004, 12:00 AM
  URL | BibTeX | spam 
• Dynamic Constraint Satisfaction with Conflict Management in Design.
  Esther Gelle and Ian F. C. Smith Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 237-251. Springer, (1995)
  to dblp by dblp on Mar 3, 2004, 12:00 AM
  URL | BibTeX | spam 
• Partial Arc Consistency.
  Nick Lendris and Lefteris M. Kirousis and Yannis C. Stamatiou and Dimitrios M. Thilikos Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 229-236. Springer, (1995)
  to dblp by dblp on Feb 18, 2004, 12:00 AM
  URL | BibTeX | spam 
• On Fourier's Algorithm for Linear Arithmetic Constraints.
  Jean-Louis Lassez and Michael J. Maher J. Autom. Reasoning9(3):373-379(1992)
  to dblp by dblp on Feb 4, 2004, 12:00 AM
  URL | BibTeX | spam 
• Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data.
  Alexander Brodsky and Catherine Lassez and Jean-Louis Lassez and Michael J. Maher J. Autom. Reasoning23(1):83-104(1999)
  to dblp by dblp on Feb 4, 2004, 12:00 AM
  URL | BibTeX | spam 
• On Inductive Inference of Cyclic Structures.
  Michael J. Maher and Peter J. Stuckey Ann. Math. Artif. Intell.15(2):167-208(1995)
  to dblp by dblp on Jan 14, 2004, 12:00 AM
  URL | BibTeX | spam 
• Projecting CLP R Constraints.
  Joxan Jaffar and Michael J. Maher and Peter J. Stuckey and Roland H. C. Yap New Generation Comput.11(3):449-469(1993)
  to dblp by dblp on Dec 2, 2003, 12:00 AM
  URL | BibTeX | spam 
• The Semantics of Constraint Logic Programs.
  Joxan Jaffar and Michael J. Maher and Kim Marriott and Peter J. Stuckey J. Log. Program.37(1-3):1-46(1998)
  to dblp by dblp on Nov 27, 2003, 12:00 AM
  URL | BibTeX | spam 
• Constraint Logic Programming: A Survey.
  Joxan Jaffar and Michael J. Maher J. Log. Program.(1994)
  to dblp by dblp on Nov 27, 2003, 12:00 AM
  URL | BibTeX | spam 
• Comments on "General Failure of Logic Programs".
  Joxan Jaffar and Jean-Louis Lassez and Michael J. Maher J. Log. Program.3(2):115-118(1986)
  to dblp by dblp on Nov 27, 2003, 12:00 AM
  URL | BibTeX | spam 
• A Theory of Complete Logic Programs with Equality.
  Joxan Jaffar and Jean-Louis Lassez and Michael J. Maher J. Log. Program.1(3):211-223(1984)
  to dblp by dblp and 1 other person on Nov 27, 2003, 12:00 AM
  URL | BibTeX | spam 
• Guest Editor's Introduction.
  Maurice Bruynooghe and Saumya K. Debray and Manuel V. Hermenegildo and Michael J. Maher J. Log. Program.(1994)
  to dblp by dblp on Nov 27, 2003, 12:00 AM
  URL | BibTeX | spam 
• Guest Editors' Introduction: Special Section: Ten Years of Logic Programming.
  Maurice Bruynooghe and Saumya K. Debray and Manuel V. Hermenegildo and Michael J. Maher J. Log. Program.23(2):87-88(1995)
  to dblp by dblp on Nov 27, 2003, 12:00 AM
  URL | BibTeX | spam 
• Defeasible Logic versus Logic Programming without Negation as Failure.
  Grigoris Antoniou and Michael J. Maher and David Billington J. Log. Program.42(1):47-57(2000)
  to dblp by dblp on Nov 27, 2003, 12:00 AM
  URL | BibTeX | spam 
• Representation results for defeasible logic.
  Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher ACM Trans. Comput. Log.2(2):255-287(2001)
  to dblp by dblp and 1 other person on Nov 21, 2003, 12:00 AM
  URL | BibTeX | spam 
• A Synthesis of Constraint Satisfaction and Constraint Solving.
  Michael J. Maher CP, volume 2833 of Lecture Notes in Computer Science, page 525-539. Springer, (2003)
  to dblp by dblp on Nov 19, 2003, 12:00 AM
  URL | BibTeX | spam 
• A Tranformation System for Deductive Databases Modules with Perfect Model Semantics.
  Michael J. Maher Theor. Comput. Sci.110(2):377-403(1993)
  to dblp by dblp on Nov 19, 2003, 12:00 AM
  URL | BibTeX | spam 
• Constrained Dependencies.
  Michael J. Maher Theor. Comput. Sci.173(1):113-149(1997)
  to dblp by dblp on Nov 19, 2003, 12:00 AM
  URL | BibTeX | spam 
• Optimal Fixedpoints of Logic Programs.
  Jean-Louis Lassez and Michael J. Maher Theor. Comput. Sci.(1985)
  to dblp by dblp on Nov 19, 2003, 12:00 AM
  URL | BibTeX | spam 
• Closures and Fairness in the Semantics of Programming Logic.
  Jean-Louis Lassez and Michael J. Maher Theor. Comput. Sci.(1984)
  to dblp by dblp on Nov 19, 2003, 12:00 AM
  URL | BibTeX | spam 
• Efficient defeasible reasoning systems.
  Michael J. Maher and Andrew Rock and Grigoris Antoniou and David Billington and Tristan Miller ICTAI, page 384-392. IEEE Computer Society, (2000)
  to dblp by dblp on Aug 26, 2003, 12:00 AM
  URL | BibTeX | spam 
• An Argumentation-Theoretic Characterization of Defeasible Logic.
  Guido Governatori and Michael J. Maher ECAI, page 469-473. IOS Press, (2000)
  to dblp by dblp on Jun 30, 2003, 12:00 AM
  URL | BibTeX | spam 
• A Family of Defeasible Reasoning Logics and its Implementation.
  Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher and Andrew Rock ECAI, page 459-463. IOS Press, (2000)
  to dblp by dblp on Jun 30, 2003, 12:00 AM
  URL | BibTeX | spam 
• Revising Nonmonotonic Theories: The Case of Defeasible Logic.
  David Billington and Grigoris Antoniou and Guido Governatori and Michael J. Maher KI, volume 1701 of Lecture Notes in Computer Science, page 101-112. Springer, (1999)
  to dblp by dblp on Jun 5, 2003, 12:00 AM
  URL | BibTeX | spam 
• Guest Editorial.
  Joxan Jaffar and Michael J. Maher Constraints7(3-4):227-228(2002)
  to dblp by dblp on Mar 27, 2003, 12:00 AM
  URL | BibTeX | spam 
• Beyond Finite Domains.
  Joxan Jaffar and Michael J. Maher and Peter J. Stuckey and Roland H. C. Yap PPCP, volume 874 of Lecture Notes in Computer Science, page 86-94. Springer, (1994)
  to dblp by dblp on Jan 9, 2003, 12:00 AM
  URL | BibTeX | spam 
• XSLT for tailored access to a digtal video library.
  Michael G. Christel and Bryan Maher and Andrew Begun JCDL, page 290-299. ACM, (2001)
  to dblp by dblp on Dec 18, 2002, 12:00 AM
  URL | BibTeX | spam 
• An Impartial Efficiency Comparison of FD Constraint Systems.
  Antonio J. Fernández and Patricia M. Hill CP, volume 1520 of Lecture Notes in Computer Science, page 468. Springer, (1998)
  to dblp by dblp on Dec 18, 2002, 12:00 AM
  URL | BibTeX | spam 
• Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.
  Haim Gaifman and Michael J. Maher and Ehud Y. Shapiro PODC, page 241-255. (1991)
  to dblp by dblp on Dec 4, 2002, 12:00 AM
  URL | BibTeX | spam 
• Propagation Completeness of Reactive Constraints.
  Michael J. Maher ICLP, volume 2401 of Lecture Notes in Computer Science, page 148-162. Springer, (2002)
  to dblp by dblp on Oct 8, 2002, 12:00 AM
  URL | BibTeX | spam 
• Embedding Defeasible Logic into Logic Programs.
  Grigoris Antoniou and Michael J. Maher ICLP, volume 2401 of Lecture Notes in Computer Science, page 393-404. Springer, (2002)
  to dblp by dblp on Oct 8, 2002, 12:00 AM
  URL | BibTeX | spam 
• Applying Local Search to Temporal Reasoning.
  John Thornton and Matthew Beaumont and Abdul Sattar and Michael J. Maher TIME, page 94-99. (2002)
  to dblp by dblp on Aug 29, 2002, 12:00 AM
  URL | BibTeX | spam 
• Fuzzifying the Constraint Hierarchies Framework.
  R. W. L. Kam and Jimmy Ho-Man Lee CP, volume 1520 of Lecture Notes in Computer Science, page 280-294. Springer, (1998)
  to dblp by dblp on Jul 22, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Unified Framework for Interval Constraints and Interval Arithmetic.
  Timothy J. Hickey and Maarten H. van Emden and Huan Wu CP, volume 1520 of Lecture Notes in Computer Science, page 250-264. Springer, (1998)
  to dblp by dblp on Jun 10, 2002, 12:00 AM
  URL | BibTeX | spam 
• Form Frequency, Markedness and Strategies in Second Language Performance Modelling.
  Gregory Lessard and Michael Levison and Eugene Girard and Daniel Maher Intelligent Tutoring Systems, volume 608 of Lecture Notes in Computer Science, page 360-371. Springer, (1992)
  to dblp by dblp on May 2, 2002, 12:00 AM
  URL | BibTeX | spam 
• Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints.
  Philippe Baptiste and Claude Le Pape and Laurent Péridy CP, volume 1520 of Lecture Notes in Computer Science, page 87-101. Springer, (1998)
  to dblp by dblp on Apr 25, 2002, 12:00 AM
  URL | BibTeX | spam 
• Solving Overconstrained Temporal Reasoning Problems.
  Matthew Beaumont and Abdul Sattar and Michael J. Maher and John Thornton Australian Joint Conference on Artificial Intelligence, volume 2256 of Lecture Notes in Computer Science, page 37-49. Springer, (2001)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• Efficient Defeasible Reasoning Systems.
  Michael J. Maher and Andrew Rock and Grigoris Antoniou and David Billington and Tristan Miller International Journal on Artificial Intelligence Tools10(4):483-501(2001)
  to dblp by dblp on Feb 12, 2002, 12:00 AM
  URL | BibTeX | spam 
• Invited Talk: Some Issues and Trends in the Semantics of Logic Programming.
  Joxan Jaffar and Jean-Louis Lassez and Michael J. Maher ICLP, volume 225 of Lecture Notes in Computer Science, page 223-241. Springer, (1986)
  to dblp by dblp on Feb 11, 2002, 12:00 AM
  URL | BibTeX | spam 
• Eqivalences of Logic Programs.
  Michael J. Maher ICLP, volume 225 of Lecture Notes in Computer Science, page 410-424. Springer, (1986)
  to dblp by dblp on Feb 11, 2002, 12:00 AM
  URL | BibTeX | spam 
• Unification Revisited.
  Jean-Louis Lassez and Michael J. Maher and Kim Marriott Foundations of Logic and Functional Programming, volume 306 of Lecture Notes in Computer Science, page 67-113. Springer, (1986)
  to dblp by dblp on Feb 4, 2002, 12:00 AM
  URL | BibTeX | spam 
• Toward Practical Constraint Databases.
  Alexander Brodsky and Joxan Jaffar and Michael J. Maher VLDB, page 567-580. Morgan Kaufmann, (1993)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Comparison of Sceptical NAF-Free Logic Programming Approaches.
  Grigoris Antoniou and Michael J. Maher and David Billington and Guido Governatori LPNMR, volume 1730 of Lecture Notes in Computer Science, page 347-356. Springer, (1999)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees
  Michael J. Maher LICS, page 348-357. IEEE Computer Society, (1988)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Reasoning with Disjunctive Constrained Tuple-Generating Dependencies.
  Junhu Wang and Rodney W. Topor and Michael J. Maher DEXA, volume 2113 of Lecture Notes in Computer Science, page 963-973. Springer, (2001)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Optimizing Queries in Extended Relational Databases.
  Michael J. Maher and Junhu Wang DEXA, volume 1873 of Lecture Notes in Computer Science, page 386-396. Springer, (2000)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Linear Concurrent Constraint Programming over Reals.
  Vincent Schächter CP, volume 1520 of Lecture Notes in Computer Science, page 400-416. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.
  Kim Marriott and Sitt Chen Chok and Alan Finlay CP, volume 1520 of Lecture Notes in Computer Science, page 340-354. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features.
  Thomas H. Kolbe CP, volume 1520 of Lecture Notes in Computer Science, page 295-309. Springer, (1998)
  to dblp by dblp and 1 other person on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Safe Datalog Queries with Linear Constraints.
  Peter Z. Revesz CP, volume 1520 of Lecture Notes in Computer Science, page 355-369. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Error-Correcting Source Code.
  Yasuhiro Ajiro and Kazunori Ueda and Kenta Cho CP, volume 1520 of Lecture Notes in Computer Science, page 40-54. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Using Graph Decomposition for Solving Continuous CSPs.
  Christian Bliek and Bertrand Neveu and Gilles Trombettoni CP, volume 1520 of Lecture Notes in Computer Science, page 102-116. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Constructing Constraints.
  Peter Jeavons CP, volume 1520 of Lecture Notes in Computer Science, page 2-16. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems.
  Paul Shaw CP, volume 1520 of Lecture Notes in Computer Science, page 417-431. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Scheduling Multi-capacitated Resources Under Complex Temporal Constraints.
  Amedeo Cesta and Angelo Oddi and Stephen F. Smith CP, volume 1520 of Lecture Notes in Computer Science, page 465. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Open Constraint Programming.
  Joxan Jaffar and Roland H. C. Yap CP, volume 1520 of Lecture Notes in Computer Science, page 1. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Anytime Lower Bounds for Constraint Violation Minimization Problems.
  Bertrand Cabon and Simon de Givry and Gérard Verfaillie CP, volume 1520 of Lecture Notes in Computer Science, page 117-131. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Combine and Conquer: Genetic Algorithm and CP for Optimization.
  Nicolas Barnier and Pascal Brisset CP, volume 1520 of Lecture Notes in Computer Science, page 463. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Optimal Placement of Base Stations in Wireless Indoor Telecommunication.
  Thom W. Frühwirth and Pascal Brisset CP, volume 1520 of Lecture Notes in Computer Science, page 476-480. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Consistency Techniques in Ordinary Differential Equations.
  Yves Deville and Micha Janssen and Pascal Van Hentenryck CP, volume 1520 of Lecture Notes in Computer Science, page 162-176. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Generating Feasible Schedules for a Pick-Up and Delivery Problem.
  Eric Domenjoud and Claude Kirchner and Jianyang Zhou CP, volume 1520 of Lecture Notes in Computer Science, page 467. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems.
  Robert Rodosek and Mark Wallace CP, volume 1520 of Lecture Notes in Computer Science, page 385-399. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Non-systematic Search and Learning: An Empirical Study.
  E. Thomas Richards and Barry Richards CP, volume 1520 of Lecture Notes in Computer Science, page 370-384. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Generation of Test Patterns for Differential Diagnosis of Digital Circuits.
  Francisco Azevedo and Pedro Barahona CP, volume 1520 of Lecture Notes in Computer Science, page 462. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Constraint Techniques for Solving the Protein Structure Prediction Problem.
  Rolf Backofen CP, volume 1520 of Lecture Notes in Computer Science, page 72-86. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Optimizing with Constraints: A Case Study in Scheduling Maintenance of Electric Power Units.
  Daniel Frost and Rina Dechter CP, volume 1520 of Lecture Notes in Computer Science, page 469. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Some Experiments on Learning Soft Constraints.
  Alessandro Biso and Francesca Rossi and Alessandro Sperduti CP, volume 1520 of Lecture Notes in Computer Science, page 464. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Using Blocks for Constraint Satisfaction.
  Bernhard Seybold and F. Metzger and G. Ogan and Klaus Simon CP, volume 1520 of Lecture Notes in Computer Science, page 474. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Note on Partial Consistencies over Continuous Domains.
  Hélène Collavizza and François Delobel and Michel Rueher CP, volume 1520 of Lecture Notes in Computer Science, page 147-161. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Random Constraint Satisfaction: Theory Meets Practice.
  Ewan MacIntyre and Patrick Prosser and Barbara M. Smith and Toby Walsh CP, volume 1520 of Lecture Notes in Computer Science, page 325-339. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Suggestion Strategies for Constraint-Based Matchmaker Agents.
  Eugene C. Freuder and Richard J. Wallace CP, volume 1520 of Lecture Notes in Computer Science, page 192-204. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Implementing Global Constraints with Index-Sets and Constraint Templates.
  Yves Colombani CP, volume 1520 of Lecture Notes in Computer Science, page 466. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Combining Topological and Qualitative Size Constraints for Spatial Reasoning.
  Alfonso Gerevini and Jochen Renz CP, volume 1520 of Lecture Notes in Computer Science, page 220-234. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• On Completion of Constraint Handling Rules.
  Slim Abdennadher and Thom W. Frühwirth CP, volume 1520 of Lecture Notes in Computer Science, page 25-39. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• SALSA: A Language for Search Algorithms.
  François Laburthe and Yves Caseau CP, volume 1520 of Lecture Notes in Computer Science, page 310-324. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• The Dynamics of Dynamic Variable Ordering Heuristics.
  Patrick Prosser CP, volume 1520 of Lecture Notes in Computer Science, page 17-23. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Introducing External Functions in Constraint Query Languages.
  Barbara Catania and Alberto Belussi and Elisa Bertino CP, volume 1520 of Lecture Notes in Computer Science, page 132-146. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Some Surprising Regularities in the Behaviour of Stochastic Local Search.
  Holger H. Hoos and Thomas Stützle CP, volume 1520 of Lecture Notes in Computer Science, page 470. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Constrained-Based Problem Decomposition for a Key Configuration Problem.
  Ulrich Junker CP, volume 1520 of Lecture Notes in Computer Science, page 265-279. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems.
  Gilles Trombettoni CP, volume 1520 of Lecture Notes in Computer Science, page 432-446. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Compiling Semiring-Based Constraints with clp FD, S.
  Yan Georget and Philippe Codognet CP, volume 1520 of Lecture Notes in Computer Science, page 205-219. Springer, (1998)
  to dblp by dblp and 1 other person on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Stable Solutions for Dynamic Constraint Satisfaction Problems.
  Richard J. Wallace and Eugene C. Freuder CP, volume 1520 of Lecture Notes in Computer Science, page 447-461. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Parallel Execution Models for Constraint Propagation.
  Alvaro Ruiz-Andino and Lourdes Araujo and Fernando Sáenz and José J. Ruz CP, volume 1520 of Lecture Notes in Computer Science, page 473. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Constraint Representation for Propagation.
  Warwick Harvey and Peter J. Stuckey CP, volume 1520 of Lecture Notes in Computer Science, page 235-249. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Early Projection in CLPR.
  Andreas Fordan and Roland H. C. Yap CP, volume 1520 of Lecture Notes in Computer Science, page 177-191. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Optimized Q-pivot for Exact Linear Solvers.
  David-Olivier Azulay and Jean François Pique CP, volume 1520 of Lecture Notes in Computer Science, page 55-71. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Modelling CSP Solution Algorithms with Petri Decision Nets.
  Stephan Pontow CP, volume 1520 of Lecture Notes in Computer Science, page 471. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Adaptive Solving of Equations over Rational Trees.
  Armin Wolf CP, volume 1520 of Lecture Notes in Computer Science, page 475. Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings
  Michael J. Maher and Jean-Francois Puget (eds.). volume 1520 of Lecture Notes in Computer Science, Springer, (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems.
  Armin Wolf Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 171-187. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Experiences in Solving Constraint Relaxation Networks with Boltzmann Machines.
  Rolf Weißschnur and Joachim Hertzberg and Hans W. Guesgen Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 281-292. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.
  Stefano Bistarelli and Hélène Fargier and Ugo Montanari and Francesca Rossi and Thomas Schiex and Gérard Verfaillie Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 111-150. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Cascaded Directed Arc Consistency and No-Good Learning for the Maximal Constraint Satisfaction Problem.
  Richard J. Wallace Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 217-228. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Defeasible Constraint Solving.
  Francisco Menezes and Pedro Barahona Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 151-170. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Composistional Theory of Constraint Hierarchies.
  Michael Jampel Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 189-206. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Solving Over-Constrained CSPs Using Weighted OBDDs.
  Fabrice Bouquet and Philippe Jégou Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 293-308. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Specifying Over-Constrained Problems in Default Logic.
  Abdul Sattar and Aditya Ghose and Randy Goebel Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 253-264. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Brief Overview of Over-Constrained Systems.
  Michael Jampel Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 1-22. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Partial Constraint Satisfaction.
  Eugene C. Freuder and Richard J. Wallace Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 63-110. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems.
  Narendra Jussien and Patrice Boizumault Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 265-280. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Constraint Hierarchies.
  Alan Borning and Bjørn N. Freeman-Benson and Molly Wilson Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 23-62. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Heuristic Methods for Over-Constrained Constraint Satisfaction Problems.
  Richard J. Wallace and Eugene C. Freuder Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 207-216. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Over-Constrained Systems
  Michael Jampel and Eugene C. Freuder and Michael J. Maher (eds.). volume 1106 of Lecture Notes in Computer Science, Springer, (1996)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Constrained Dependencies.
  Michael J. Maher CP, volume 976 of Lecture Notes in Computer Science, page 170-185. Springer, (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Denotational Semantics of Defeasible Logic.
  Michael J. Maher Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 209-222. Springer, (2000)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Flexible Framework for Defeasible Logics.
  Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher AAAI/IAAI, page 405-410. AAAI Press / The MIT Press, (2000)
  to dblp by dblp and 1 other person on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Expanding Query Power in Constraint Logic Programming Languages.
  Michael J. Maher and Peter J. Stuckey NACLP, page 20-36. (1989)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Déjà Vu in Fixpoints of Logic Programs.
  Michael J. Maher and Raghu Ramakrishnan NACLP, page 963-980. (1989)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Logic Programming and Object Modelling: A Case Study Abstract.
  Joxan Jaffar and Michael J. Maher and Gustaf Neumann ILPS, page 48. (1995)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Reactive Behaviour Semantics for Concurrent Constraint Logic Programs.
  Haim Gaifman and Michael J. Maher and Ehud Y. Shapiro NACLP, page 553-569. (1989)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Argumentation Semantics for Defeasible Logics.
  Guido Governatori and Michael J. Maher and Grigoris Antoniou and David Billington PRICAI, page 27-37. (2000)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning.
  Michael J. Maher LPNMR, page 181-195. (1991)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Unified Treatment of Resolution Strategies for Logic Programs.
  David A. Wolfram and Michael J. Maher and Jean-Louis Lassez ICLP, page 263-276. (1984)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Finding Fair Allocations for the Coalition Problem with Constraints.
  Evan Tick and Roland H. C. Yap and Michael J. Maher ICLP, page 530-544. (1999)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Logic Programming View of CLP.
  Michael J. Maher ICLP, page 737-753. (1993)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Logic Semantics for a Class of Committed-Choice Programs.
  Michael J. Maher ICLP, page 858-876. (1987)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Constraint Hierarchies and Logic Programming.
  Alan Borning and Michael J. Maher and Amy Martindale and Molly Wilson ICLP, page 149-164. (1989)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Normal Forms for Defeasible Logic.
  Grigoris Antoniou and David Billington and Michael J. Maher IJCSLP, page 160-174. (1998)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems.
  Joxan Jaffar and Michael J. Maher and Gustaf Neumann HICSS, (1999)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• On the Analysis of Regulations using Defeasible Rules.
  Grigoris Antoniou and David Billington and Michael J. Maher HICSS, (1999)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Output in CLP.
  Joxan Jaffar and Michael J. Maher and Peter J. Stuckey and Roland H. C. Yap FGCS, page 987-995. (1992)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Theory of Complete Logic Programs with Equality.
  Joxan Jaffar and Jean-Louis Lassez and Michael J. Maher FGCS, page 175-184. (1984)
  to dblp by dblp and 1 other person on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Semantic Decomposition of Defeasible Logics.
  Michael J. Maher and Guido Governatori AAAI/IAAI, page 299-305. (1999)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• The Denotational Semantics of Horn Clauses as a Production System.
  Jean-Louis Lassez and Michael J. Maher AAAI, page 229-231. (1983)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Logic Programming Language Scheme.
  Joxan Jaffar and Jean-Louis Lassez and Michael J. Maher Logic Programming: Functions, Relations, and Equations, (1986)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Equivalences of Logic Programs
  Michael J. Maher Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Unification Revisited
  Jean-Louis Lassez and Michael J. Maher and Kim Marriott Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Propositional Defeasible Logic has Linear Complexity.
  Michael J. Maher TPLP1(6):691-711(2001)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam 
• Toward Practical Query Evaluation for Constraint Databases.
  Alexander Brodsky and Joxan Jaffar and Michael J. Maher Constraints2(3/4):279-304(1997)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam