diff --git a/docs/index/lp.bib b/docs/index/lp.bib new file mode 100644 index 000000000..5cde9a481 --- /dev/null +++ b/docs/index/lp.bib @@ -0,0 +1,452 @@ +@String(AAAIP = {AAAI Press}) +@String(ACM = {ACM Press}) +@String(AP = {Academic Press}) +@String(AW = {Addison-Wesley}) +@String(EH = {Ellis Horwood}) +@String(IOS = {IOS Press}) +@String(JWS = {John Wiley}) +@String(KAC = {Kluwer Academic Publishers}) +@String(MIT = {The MIT Press}) +@String(MK = {Morgan Kaufmann}) +@String(OUP = {Oxford University Press}) +@String(PIT = {Pitman}) +@String(SV = {Springer-Verlag}) + +@String(ACMCS = {ACM Computing Surveys}) +@String(AI = {Artificial Intelligence}) +@String(AAI = {Applied Artificial Intelligence}) +@String(CACM = {Communications of the ACM}) +@String(CI = {Computational Intelligence}) +@String(IDA = {Intelligent Data Analysis}) +@String(IJIS = {International Journal of Intelligent Systems}) +@String(IJMMS = {International Journal of Man-Machine Studies}) +@String(JAIR = {Journal of Artificial Intelligence Research}) +@String(JETAI = {Journal of Experimental and Theoretical Artificial Intelligence}) +@String(JLP = {Journal of Logic Programming}) +@String(KA = {Knowledge Acquisition}) +@String(ML = {Machine Learning}) +@String(NGC = {New Generation Computing}) +@String(NJC = {Nordic Journal of Computing}) + +@String(AAAI82 = {Proceedings of the 1st National Conference on Artificial Intelligence}) +@String(AAAI86 = {Proceedings of the 5th National Conference on Artificial Intelligence}) +@String(AAAI87 = {Proceedings of the 6th National Conference on Artificial Intelligence}) +@String(AAAI88 = {Proceedings of the 7th National Conference on Artificial Intelligence}) +@String(AAAI90 = {Proceedings of the 8th National Conference on Artificial Intelligence}) +@String(AAAI91 = {Proceedings of the 9th National Conference on Artificial Intelligence}) +@String(AAAI92 = {Proceedings of the 10th National Conference on Artificial Intelligence}) +@String(AAAI93 = {Proceedings of the 11th National Conference on Artificial Intelligence}) +@String(AAAI93WS = {Proceedings of the AAAI-93 Workshop on Knowledge Discovery in Databases}) +@String(AAAI94 = {Proceedings of the 12th National Conference on Artificial Intelligence}) +@String(AAAI94WS = {Proceedings of the AAAI-94 Workshop on Knowledge Discovery in Databases}) +@String(AAAI95 = {Proceedings of the 13th National Conference on Artificial Intelligence}) +@String(AAAI96 = {Proceedings of the 14th National Conference on Artificial Intelligence}) +@String(AAAI97 = {Proceedings of the 15th National Conference on Artificial Intelligence}) +@String(AAAI98 = {Proceedings of the 16th National Conference on Artificial Intelligence}) +@String(AAAI99 = {Proceedings of the 17th National Conference on Artificial Intelligence}) +@String(AAAI00 = {Proceedings of the 18th National Conference on Artificial Intelligence}) + +@String(ALT90 = {Proceedings of the 1st Conference on Algorithmic Learning Theory}) +@String(ALT91 = {Proceedings of the 2nd Conference on Algorithmic Learning Theory}) +@String(ALT92 = {Proceedings of the 3d Conference on Algorithmic Learning Theory}) +@String(ALT93 = {Proceedings of the 4th Conference on Algorithmic Learning Theory}) +@String(ALT94 = {Proceedings of the 5th Conference on Algorithmic Learning Theory}) +@String(ALT95 = {Proceedings of the 6th Conference on Algorithmic Learning Theory}) +@String(ALT96 = {Proceedings of the 7th Conference on Algorithmic Learning Theory}) +@String(ALT97 = {Proceedings of the 8th Conference on Algorithmic Learning Theory}) +@String(ALT98 = {Proceedings of the 9th Conference on Algorithmic Learning Theory}) +@String(ALT99 = {Proceedings of the 10th Conference on Algorithmic Learning Theory}) +@String(ALT00 = {Proceedings of the 11th Conference on Algorithmic Learning Theory}) + +@String(ECAI88 = {Proceedings of the 8th European Conference on Artificial Intelligence}) +@String(ECAI90 = {Proceedings of the 9th European Conference on Artificial Intelligence}) +@String(ECAI90WS = {Proceedings of the ECAI-90 Workshop on Validation, Verification and Testing of Knowledge-Based Systems}) +@String(ECAI92 = {Proceedings of the 10th European Conference on Artificial Intelligence}) +@String(ECAI92WS = {Proceedings of the ECAI-92 Workshop on Logical Approaches to Machine Learning}) +@String(ECAI94 = {Proceedings of the 11th European Conference on Artificial Intelligence}) +@String(ECAI96 = {Proceedings of the 12th European Conference on Artificial Intelligence}) +@String(ECAI98 = {Proceedings of the 13th European Conference on Artificial Intelligence}) +@String(ECAI00 = {Proceedings of the 14th European Conference on Artificial Intelligence}) + +@String(EWSL87 = {Proceedings of the 2nd European Working Session on Learning}) +@String(EWSL88 = {Proceedings of the 3rd European Working Session on Learning}) +@String(EWSL89 = {Proceedings of the 4th European Working Session on Learning}) +@String(EWSL91 = {Proceedings of the 5th European Working Session on Learning}) +@String(ECML93 = {Proceedings of the 6th European Conference on Machine Learning}) +@String(ECML94 = {Proceedings of the 7th European Conference on Machine Learning}) +@String(ECML95 = {Proceedings of the 8th European Conference on Machine Learning}) +@String(ECML97 = {Proceedings of the 9th European Conference on Machine Learning}) +@String(ECML98 = {Proceedings of the 10th European Conference on Machine Learning}) +@String(ECML00 = {Proceedings of the 11th European Conference on Machine Learning}) + +@String(ML87 = {Proceedings of the 4th International Workshop on Machine Learning}) +@String(ML88 = {Proceedings of the 5th International Workshop on Machine Learning}) +@String(ML89 = {Proceedings of the 6th International Workshop on Machine Learning}) +@String(ML90 = {Proceedings of the 7th International Conference on Machine Learning}) +@String(ML91 = {Proceedings of the 8th International Workshop on Machine Learning}) +@String(ML92 = {Proceedings of the 9th International Workshop on Machine Learning}) +@String(ML93 = {Proceedings of the 10th International Conference on Machine Learning}) +@String(ML94 = {Proceedings of the 11th International Conference on Machine Learning}) +@String(ML95 = {Proceedings of the 12th International Conference on Machine Learning}) +@String(ML96 = {Proceedings of the 13th International Conference on Machine Learning}) +@String(ML96WS = {Proceedings of the MLnet Familiarization Workshop on Data Mining with Inductive Logic Programing}) +@String(ML97 = {Proceedings of the 14th International Conference on Machine Learning}) +@String(ICML93 = {Proceedings of the 10th International Conference on Machine Learning}) +@String(ICML94 = {Proceedings of the 11th International Conference on Machine Learning}) +@String(ICML95 = {Proceedings of the 12th International Conference on Machine Learning}) +@String(ICML96 = {Proceedings of the 13th International Conference on Machine Learning}) +@String(ICML97 = {Proceedings of the 14th International Conference on Machine Learning}) +@String(ICML98 = {Proceedings of the 15th International Conference on Machine Learning}) +@String(ICML99 = {Proceedings of the 16th International Conference on Machine Learning}) +@String(ICML00 = {Proceedings of the 17th International Conference on Machine Learning}) + +@String(IJCAI75 = {Proceedings of the 4th International Joint Conference on Artificial Intelligence}) +@String(IJCAI77 = {Proceedings of the 5th International Joint Conference on Artificial Intelligence}) +@String(IJCAI79 = {Proceedings of the 6th International Joint Conference on Artificial Intelligence}) +@String(IJCAI81 = {Proceedings of the 7th International Joint Conference on Artificial Intelligence}) +@String(IJCAI83 = {Proceedings of the 8th International Joint Conference on Artificial Intelligence}) +@String(IJCAI85 = {Proceedings of the 9th International Joint Conference on Artificial Intelligence}) +@String(IJCAI87 = {Proceedings of the 10th International Joint Conference on Artificial Intelligence}) +@String(IJCAI89 = {Proceedings of the 11th International Joint Conference on Artificial Intelligence}) +@String(IJCAI91 = {Proceedings of the 12th International Joint Conference on Artificial Intelligence}) +@String(IJCAI93 = {Proceedings of the 13th International Joint Conference on Artificial Intelligence}) +@String(IJCAI93WS = {Proceedings of the IJCAI-93 Workshop on Inductive Logic Programming}) +@String(IJCAI95 = {Proceedings of the 14th International Joint Conference on Artificial Intelligence}) +@String(IJCAI97 = {Proceedings of the 15th International Joint Conference on Artificial Intelligence}) +@String(IJCAI99 = {Proceedings of the 16th International Joint Conference on Artificial Intelligence}) +@String(IJCAI01 = {Proceedings of the 17th International Joint Conference on Artificial Intelligence}) + +@String(ILP91 = {Proceedings of the 1st International Workshop on Inductive Logic Programming}) +@String(ILP92 = {Proceedings of the 2nd International Workshop on Inductive Logic Programming}) +@String(ILP93 = {Proceedings of the 3rd International Workshop on Inductive Logic Programming}) +@String(ILP94 = {Proceedings of the 4th International Workshop on Inductive Logic Programming}) +@String(ILP95 = {Proceedings of the 5th International Workshop on Inductive Logic Programming}) +@String(ILP96 = {Proceedings of the 6th International Workshop on Inductive Logic Programming}) +@String(ILP96 = {Proceedings of the 6th International Workshop on Inductive Logic Programming}) +@String(ILP97 = {Proceedings of the 7th International Workshop on Inductive Logic Programming}) +@String(ILP98 = {Proceedings of the 8th International Conference on Inductive Logic Programming}) +@String(ILP99 = {Proceedings of the 9th International Workshop on Inductive Logic Programming}) +@String(ILP00 = {Proceedings of the 10th International Conference on Inductive Logic Programming}) +@String(ILP00WIP = {Proceedings of the Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming}) +@String(ILP02 = {Proceedings of the 12th International Conference on Inductive Logic Programming}) + +@String(ISMIS89 = {Proceedings of the 3rd International Symposium on Methodologies for Intelligent Systems}) +@String(ISMIS90 = {Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems}) +@String(ISMIS91 = {Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems}) +@String(ISMIS93 = {Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems}) +@String(ISMIS94 = {Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems}) +@String(ISMIS95 = {Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems}) +@String(ISMIS96 = {Proceedings of the 10th International Symposium on Methodologies for Intelligent Systems}) + +@String(ISSEK92 = {Proceedings of the 6th International School for the Synthesis of Expert Knowledge}) + +@String(MSL91 = {Proceedings of the 1st International Workshop on Multistrategy Learning}) +@String(MSL93 = {Proceedings of the 2nd International Workshop on Multistrategy Learning}) +@String(MSL96 = {Proceedings of the 3nd International Workshop on Multistrategy Learning}) + +@String(PAP96 = {Proceedings of the 4th International Conference on the Practical Application of Prolog}) + +@String(AIME97 = {Proceedings of the 5th National Conference on Artificial Intelligence in Medicine in Europe}) + +@String(ICKDD96 = {Proceedings of the 2nd International Conference on Knowledge Discovery and Data Mining}) +@String(ICKDD97 = {Proceedings of the 3rd International Conference on Knowledge Discovery and Data Mining}) + +@String(EWKA96 = {Proceedings of the 1996 European Workshop on Knowledge Acquisition}) + +@String(LLL99 = {Proceedings of the 1st Workshop on Learning Language in Logic}) +@String(LLL00 = {Proceedings of the 2nd Workshop on Learning Language in Logic}) + +@String(BIBLE = {Machine Learning: An Artificial Intelligence Approach}) +@String(BK = {Brazdil, P.B. and Konolige, K.}) +@String(CISM = {CISM Courses and Lectures}) +@String(DEPTCW = {Department of Computer Science, Katholieke Universiteit Leuven}) +@String(ILP = {Inductive Logic Programming}) +@String(JSI = {J. Stefan Institute}) +@String(KM = {Kodratoff, Y. and Michalski, R.S.}) +@String(LNAI = {Lecture Notes in Artificial Intelligence}) +@String(LNCS = {Lecture Notes in Computer Science}) +@String(MCM = {Michalski, R.S and Carbonell, J.G. and Mitchell, T.M.}) +@String(MML = {Machine Learning, Meta-Reasoning and Logics}) + +@string{CACM = "Communications of the ACM"} +@string{TOC = "Transactions on Computers"} +@string{JACM = "Journal of the ACM"} +@string{TCOM = "IEEE Transactions on Computers"} +@string{IBMJ = "IBM Journal of Research and Development"} +@string{NCC = "Proc. AFIPS NCC"} +@string{JLP = "The Journal of Logic Programming"} +@string{NGC = "New Generation Computing"} +@string{ICLP87 = "Proceedings of the Fourth International Conference on Logic Programming"} +@string{ICLP88 = "Proceedings of the Fifth International Conference and Symposium on Logic Programming"} +@string{ICLP89 = "Proceedings of the Sixth International Conference on Logic Programming"} +@string{ICLP90 = "Proceedings of the Seventh International Conference on Logic Programming"} +@string{ICLP91 = "Proceedings of the Eighth International Conference on Logic Programming"} +@string{ICLP93 = "Proceedings of the Tenth International Conference on Logic Programming"} +@string{ICLP94 = "Proceedings of the Eleventh International Conference on Logic Programming"} +@string{ICLP95 = "Proceedings of the Twelveth International Conference on Logic Programming"} +@string{ILPS93 = "Logic Programming: Proceedings of the 1993 International Symposium"} +@string{ILPS94 = "Logic Programming: Proceedings of the 1994 International Symposium"} +@string{ILPS97 = "Proceedings of the 1997 International Logic Programming Symposium"} +@string{HPDC-4 = {Proc. of the Fourth IEEE Int'l Symp. on High Performance Distributed Computing (HPDC-4)}} +@string{OSDI-1 = {Proc. of the 1st Symp. on Operating Systems Design and Implementation (OSDI'94)}} +@string{OSDI-2 = {Proc. of the 2nd Symp. on Operating Systems Design and Implementation (OSDI'96)}} +@string{ICLP03 = "Proceedings of the Nineteenth International Conference on Logic Programming"} + +@techreport{xsb-manual, +AUTHOR = "Konstantinos F. Sagonas and Terrance Swift and David S. Warren and Juliana Freire and P. Rao", +TITLE = "The {XSB} Pro\-grammer's Manual", +INSTITUTION = "State University of New York at Stony Brook", +NOTE = "Available at http://xsb.sourceforge.net/", +YEAR = 1997 } + +@Phdthesis{BIM, + AUTHOR = "Mari{\"e}n, Andr\'e", + TITLE = "{Improving the Compilation of Prolog in the Framework of the Warren Abstract Machine}", + School = "Katholiek Universiteit Leuven", + Month = "September", + Year = "1993" +} + +@Inproceedings{ZhTaUs-small, + Author = "Zhou, Neng-Fa and Takagi, Toshihisa and Kazuo, Ushijima", + Title = "A {Matching} {Tree} {Oriented} {Abstract} {Machine} for {Prolog}", + Booktitle = "ICLP90", + Year = "1990", + Pages = "158--173" } + +@manual{SWI, + author = "J. Wielemaker", + title = "{SWI-Prolog 5.1}: Reference Manual", + organization = "{SWI}, University of Amsterdam", + address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", + year = "1997-2003", + url = "http://www.swi-prolog.org" + } + +@Techreport{Warren83, + Author = "Warren, David H. D.", + Title = "{An Abstract Prolog Instruction Set}", + Institution = "SRI International", + Year = "1983", + Type = "Technical Note", + Number = "309" } + +@Article{Chen-96, + author = {W. Chen and D. S. Warren}, + title = {{Tabled Evaluation with Delaying for General Logic Programs}}, + journal = {Journal of the ACM}, + year = {1996}, + volume = {43}, + number = {1}, + pages = {20--74}, + month = {January}, +} + +@PhdThesis{anderson-phd, + author = {L. O. Anderson}, + title = {Program Analysis and Specialization for the +C Programming Language}, + school = {DIKU, Unversity of +Copenhagen}, + year = 1994, + address = {Copenhagen} +} + +@TechReport{Warren77b, + Author ="David H. D. Warren", + Title ={{Implementing Prolog - Compiling Predicate Logic Programs}}, + Year ={1977}, + Number ={39 and 40}, + Institution ={Department of Artificial Intelligence, University of Edinburgh} +} + +@Inproceedings{Carls88, + AUTHOR = "Carlsson, Mats", + TITLE = "On the Efficiency of Optimised Shallow Backtracking in +{Compiled} {Prolog}", + BOOKTITLE = ICLP89, + PUBLISHER = "MIT Press", + MONTH = "June", + PAGES = "3--15", + YEAR = "1989" +} + +@Article{VanRoy94, +Author ="{Van Roy}, Peter", +Title ="{1983-1993: The Wonder Years of Sequential Prolog Implementation}", +Journal =JLP, +Publisher = "North-Holland", +Volume ={19/20}, +page ={385--441}, +Month ={May/July}, +Year ={1994} +} + +@Inproceedings{KS88, + AUTHOR = "Kliger, Shmuel and Shapiro, Ehud", + TITLE = "A {D}ecision {T}ree {C}ompilation {A}lgorithm for {FCP($|$,:,?)}", + MONTH = "August", + YEAR = "1988", + BOOKTITLE = ICLP88, + PUBLISHER = "MIT Press", + PAGES = "1315--1336" +} + +@Article{Som96, +Author ="Zoltan Somogyi and Fergus Henderson and Thomas Conway", +Title ="{The execution algorithm of mercury, an efficient purely declarative logic programming language}", +Journal =JLP, +Publisher = "North-Holland", +Volume ={1-3}, +page ={65--83}, +Month ={October}, +Year ={1996} +} + +@inproceedings{ciao-global, + author = {Manuel V. Hermenegildo and German Puebla and Francisco Bueno and and P. L\'opez}, + title = {Program Development Using Abstract Interpretation (and The Ciao System Preprocessor)}, + booktitle = {Proceedings of the 10th.\ International Symposium on Static Analysis (SAS'03)}, + pages = {127--152}, + year = 2003, + month = {June}, + publisher = {Springer-Verlag}, + series = {LNCS} +} + +@inproceedings{ciao-global-small, + author = {Manuel V. Hermenegildo and German Puebla and Francisco Bueno and and P. L\'opez}, + title = {Program Development Using Abstract Interpretation (and The Ciao System Preprocessor)}, + booktitle = {SAS'03}, + pages = {127--152}, + year = 2003, + month = {June} +} + +@inproceedings{DBLP:conf/iclp/Demoen02, + author = {Bart Demoen}, + title = {A Different Look at Garbage Collection for the WAM.}, + year = {2002}, + pages = {179-193}, + ee = {http://link.springer.de/link/service/series/0558/bibs/2401/24010179.htm}, + editor = {Peter J. Stuckey}, + booktitle = {Logic Programming, 18th International Conference, ICLP 2002, + Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings}, + publisher = {Springer}, + series = {Lecture Notes in Computer Science}, + volume = {2401}, + isbn = {3-540-43930-7}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@article{DBLP:journals/cacm/Codd70, + author = {E. F. Codd}, + title = {A Relational Model of Data for Large Shared Data Banks.}, + journal = {Commun. ACM}, + volume = {13}, + number = {6}, + year = {1970}, + pages = {377-387}, + ee = {db/journals/cacm/Codd70.html, http://doi.acm.org/10.1145/362384.362685}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@article{DBLP:journals/siamcomp/KilpelainenM95, + author = {Pekka Kilpel{\"a}inen and + Heikki Mannila}, + title = {Ordered and Unordered Tree Inclusion.}, + journal = {SIAM J. Comput.}, + volume = {24}, + number = {2}, + year = {1995}, + pages = {340-356}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@inproceedings{DBLP:conf/popl/FisherMW06, + author = {Kathleen Fisher and + Yitzhak Mandelbaum and + David Walker}, + title = {The next 700 data description languages.}, + year = {2006}, + pages = {2-15}, + editor = {J. Gregory Morrisett and + Simon L. Peyton Jones}, + booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on + Principles of Programming Languages, POPL 2006, Charleston, + South Carolina, USA, January 11-13, 2006}, + publisher = {ACM}, + isbn = {1-59593-027-2}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@inproceedings{DBLP:conf/popl/FisherMW06-small, + author = {Kathleen Fisher and + Yitzhak Mandelbaum and + David Walker}, + title = {The next 700 data description languages.}, + year = {2006}, + pages = {2-15}, + editor = {J. Gregory Morrisett and + Simon L. Peyton Jones}, + booktitle = {POPL 2006}, + publisher = {ACM}, + isbn = {1-59593-027-2}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@inproceedings{DBLP:conf/vldb/HalversonBKKRTVWND03, + author = {Alan Halverson and + Josef Burger and + Leonidas Galanis and + Ameet Kini and + Rajasekar Krishnamurthy and + Ajith Nagaraja Rao and + Feng Tian and + Stratis Viglas and + Yuan Wang and + Jeffrey F. Naughton and + David J. DeWitt}, + title = {Mixed Mode XML Query Processing.}, + booktitle = {VLDB}, + year = {2003}, + pages = {225-236}, + ee = {http://www.vldb.org/conf/2003/papers/S08P02.pdf}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@inproceedings{DBLP:conf/webdb/VagenaMT04, + author = {Zografoula Vagena and + Mirella Moura Moro and + Vassilis J. Tsotras}, + title = {Twig Query Processing over Graph-Structured XML Data.}, + booktitle = {WebDB}, + year = {2004}, + pages = {43-48}, + editor = {Sihem Amer-Yahia and + Luis Gravano}, + booktitle = {Proceedings of the Seventh International Workshop on the + Web and Databases, WebDB 2004, June 17-18, 2004, Maison + de la Chimie, Paris, France, Colocated with ACM SIGMOD/PODS + 2004} +} + +@inproceedings{DBLP:conf/sigmod/WangPFY03, + author = {Haixun Wang and + Sanghyun Park and + Wei Fan and + Philip S. Yu}, + title = {ViST: A Dynamic Index Method for Querying XML Data by Tree + Structures.}, + booktitle = {SIGMOD Conference}, + year = {2003}, + pages = {110-121}, + editor = {Alon Y. Halevy and + Zachary G. Ives and + AnHai Doan}, + booktitle = {Proceedings of the 2003 ACM SIGMOD International Conference + on Management of Data, San Diego, California, USA, June + 9-12, 2003}, + isbn = {1-58113-634-X}, + bibsource = {DBLP, http://dblp.uni-trier.de} +}