BibSonomyburst/tag/prologBibSonomy RSS feed for /tag/prolog2012-02-15T04:14:35+01:00http://www.bibsonomy.org/bibtex/200d741d653e2b1c22850500a3f59294f/jpbowenjpbowen2011-08-02T00:41:44+02:00Prolog code compilation formal logic methods myown object programming programs <span class="authorEditorList"><a href="/author/Bowen">Jonathan P. Bowen</a> </span><em>Code Generation, </em><em>page 173-192. </em>(<em>1991</em>)Tue Aug 02 00:41:44 CEST 2011Code Generation173-192From Programs to Object Code using Logic and Logic Programming.1991Prolog code compilation formal logic methods myown object programming programs dblphttp://www.bibsonomy.org/bibtex/2c10b9a75921683728246f898297fec4d/baisemainbaisemain2011-05-04T16:04:17+02:00answer-set-programming, asp, logic-programming, prolog <span class="authorEditorList"><a href="/author/Schaub">T. Schaub</a> </span><em>LOG IN: Informatische Bildung und Computer in der Schule</em> (<em>2003</em>)Wed May 04 16:04:17 CEST 2011LOG IN: Informatische Bildung und Computer in der Schule104--106{Antwortmengenprogrammierung}122/1232003answer-set-programming, asp, logic-programming, prolog http://www.bibsonomy.org/bibtex/2a8ad44dc34f69669ff1d3981a5b90168/giuliano.losagiuliano.losa2011-01-07T15:06:25+01:00consensus logic_programming paxos prolog <span class="authorEditorList"><a href="/author/Alvaro">P. Alvaro</a>, <a href="/author/Condie">T. Condie</a>, <a href="/author/Conway">N. Conway</a>, <a href="/author/Hellerstein">J.M. Hellerstein</a>, and <a href="/author/Sears">R. Sears</a> </span><em>ACM SIGOPS Operating Systems Review</em> <em>43(4):25--30</em> (<em>2010</em>)Fri Jan 07 15:06:25 CET 2011ACM SIGOPS Operating Systems Review425--30{I do declare: Consensus in a logic language}432010consensus logic_programming paxos prolog http://www.bibsonomy.org/bibtex/2d43391d4938fdc936146a3f7b085096b/mortimer_m8mortimer_m82010-12-17T18:47:41+01:00architecture, dialogue, knowledge, model, prolog <span class="authorEditorList"><a href="/author/Smith">Ronnie W. Smith</a>, <a href="/author/Biermann">Alan W. Biermann</a>, and <a href="/author/Hipp">Richard D. Hipp</a> </span><em>Comput. Linguist.</em> <em>21(3):281--320</em> (<em>1995</em>)Fri Dec 17 18:47:41 CET 2010Cambridge, MA, USAComput. Linguist.3281--320{An architecture for voice dialog systems based on prolog-style theorem proving}211995architecture, dialogue, knowledge, model, prolog {A pragmatic architecture for voice dialog machines aimed at the equipment repair problem has been implemented. This architecture exhibits a number of behaviors required for efficient human-machine dialog. These behaviors include:(1) problem solving to achieve a target goal(2) the ability to carry out subdialogs to achieve appropriate subgoals and to pass control arbitrarily from one subdialog to another(3) the use of a user model to enable useful verbal exchanges and to inhibit unnecessary ones(4) the ability to change initiative from strongly computer controlled to strongly user controlled or to some level in between(5) the ability to use context dependent expectations to correct speech recognition and track user movement to new subdialogs.The paper gives a description of the dialog theory, presents examples of its capabilities, and includes a detailed trace of one of those examples showing all significant mechanisms. The paper gives performance data for a series of 141 problem-solving dialogs carried out with human subjects.}http://www.bibsonomy.org/bibtex/293bf6c62b8e87db1c5fc7af2e15a18d0/mortimer_m8mortimer_m82010-12-17T18:47:41+01:00axiomtheory, dialogue, knowledge, logic, prolog <span class="authorEditorList"><a href="/author/Smith">Ronnie W. Smith</a> </span><em> 1707, </em><em>page 270--278. </em><em>SPIE, </em>(<em>1992</em>)Fri Dec 17 18:47:41 CET 2010Applications of Artificial Intelligence X: Knowledge-Based Systems1270--278{Integration of domain problem solving with natural language dialog: the missing axiom theory}17071992axiomtheory, dialogue, knowledge, logic, prolog http://www.bibsonomy.org/bibtex/23173b66343f3533ce1afc7068e2f3d12/unhammerunhammer2010-11-10T15:35:30+01:00LFG MT Master Prolog SMT alignment open_source transfer <span class="authorEditorList"><a href="/author/Graham">Y. Graham</a>, and <a href="/author/van Genabith">J. van Genabith</a> </span><em>The Prague Bulletin of Mathematical Linguistics, Special Issue: Open Source Tools for Machine Translation</em> (<em>2009</em>)Wed Nov 10 15:35:30 CET 2010The Prague Bulletin of Mathematical Linguistics, Special Issue: Open Source Tools for Machine Translation37--46{An Open Source Rule Induction Tool for Transfer-Based SMT} 912009LFG MT Master Prolog SMT alignment open_source transfer http://www.bibsonomy.org/bibtex/29e282bfb06dad711670001b5b2818809/flint63flint632010-10-31T22:42:44+01:00prolog software ai development v1010 book logic <span class="authorEditorList"><a href="/author/Sterling">Leon Sterling</a>, and <a href="/author/Shapiro">Ehud Shapiro</a> </span><em>MIT Press, </em><em>Cambridge, MA, </em><em>2. edition, </em>(<em>1994</em>)Sun Oct 31 22:42:44 CET 2010Cambridge, MA2.The Art of Prolog: Advanced Programming Techniques1994prolog software ai development v1010 book logic This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course. Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement---a systematic way of constructing Prolog programs developed by Leon Sterling. All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.http://www.bibsonomy.org/bibtex/2b5d9fb8c9e824bec89d11069a9676b07/flint63flint632010-10-31T22:42:36+01:00prolog software ai knowledge springer plan development v1010 book processing database lisp <span class="authorEditorList"><a href="/author/Stoyan">Herbert Stoyan</a> </span><em>Springer, </em><em>Berlin, </em>(<em>1991</em>)Sun Oct 31 22:42:36 CET 2010BerlinProgrammiermethoden der K{\"u}nstlichen Intelligenz, Band 21991prolog software ai knowledge springer plan development v1010 book processing database lisp http://www.bibsonomy.org/bibtex/2f49bd376848e45399adba80bbb746264/flint63flint632010-10-31T22:42:24+01:00prolog software ai springer development v1010 book lisp <span class="authorEditorList"><a href="/author/Stoyan">Herbert Stoyan</a> </span><em>Springer, </em><em>Berlin, </em>(<em>1988</em>)Sun Oct 31 22:42:24 CET 2010BerlinProgrammiermethoden der K{\"u}nstlichen Intelligenz, Band 11988prolog software ai springer development v1010 book lisp http://www.bibsonomy.org/bibtex/290b1828fd231e675b248ae9ea3532ab6/flint63flint632010-10-31T22:40:59+01:00prolog ai knowledge springer v1010 book processing logic <span class="authorEditorList"><a href="/author/Beckstein">Clemens Beckstein</a> </span><em>Informatik-Fachberichte </em><em>Springer, </em><em>Berlin, </em>(<em>1988</em>)Sun Oct 31 22:40:59 CET 2010BerlinInformatik-FachberichteZur Logik der Logik-Programmierung: Ein konstruktiver Ansatz1991988prolog ai knowledge springer v1010 book processing logic http://www.bibsonomy.org/bibtex/2a19cd699fedd08c5c76bc5b37f1e261f/flint63flint632010-10-31T22:38:19+01:00prolog ai v1010 book processing language logic <span class="authorEditorList"><a href="/author/Pereira">Fernando C. N. Pereira</a>, and <a href="/author/Shieber">Stuart M. Shieber</a> </span><em>CSLI Lecture Notes </em><em>Center for the Study of Language and Information, </em><em>Stanford, CA, </em>(<em>1987</em>)Sun Oct 31 22:38:19 CET 2010Stanford, CA10CSLI Lecture NotesProlog and Natural-Language Analysis1987prolog ai v1010 book processing language logic Logic programming, an important new method of compute programming resulting from recent research in artifucial intelligence and computer science, has proved to be especially appropriate for solving problems in natrual-language processing. Prolog and Natural Language Analysis provides a concise and practical introduction to logic programming and the logic-programming language Prolog both as vehicles for understanding elementary computational linguistics and as tools for implementing the basic components of natural-language-processing systems. Throughout, the specific concepts and techniques are given rigorous theoretical justification and are demonstrated with working programs that show how Prolog can be used to solve actual problems in syntax, parsing, and semantic intepretation.These examples culminate in a simple working natural-language question-answering system written in Prolog. Extensive bibliographic notes point the reader to related research and further reading.Fernando C.N. Pereira is a senior computer scientist at SRI International's Artificial Intelligence Center and a consulting professor at Stanford University. His research on Prolog and natural-language processing underlies much recent work in logic grammars.Stuart Shieber is a researcher at the Center for the Study of Language and Information and a computer scientist at SRI International's Artificial Intelligence Center. His research on unification-based grammar formalisms bridges logic programming and linguistic theory.http://www.bibsonomy.org/bibtex/2f97e3e46475d979fe4fa718a3243419f/flint63flint632010-10-29T17:02:17+02:00prolog software ai development v1010 book rules logic <span class="authorEditorList"><a href="/author/Bratko">Ivan Bratko</a> </span><em>Pearson Addison-Wesley, </em><em>Harlow, England, </em><em>3. edition, </em>(<em>2000</em>)Fri Oct 29 17:02:17 CEST 2010Harlow, England3.Prolog Programming for Artificial Intelligence2000prolog software ai development v1010 book rules logic The third edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. Prolog has its roots in logic, however the main aim of this book is to teach Prolog as a practical programming tool. This text therefore concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems. The third edition has been fully revised and extended to provide an even greater range of applications, which further enhance its value as a self-contained guide to Prolog, AI or AI Programming for students and professional programmers alike.Deutsche Edition 1987http://www.bibsonomy.org/bibtex/251748f91e48cc1de0a87d6b3cbd69c8c/flint63flint632010-10-29T16:59:41+02:00prolog ai knowledge v1010 book processing logic <span class="authorEditorList"><a href="/author/Bibel">Wolfgang Bibel</a>, and <a href="/author/Jorrand">Philippe Jorrand</a> (Eds.). </span><em>Lecture Notes in Computer Science </em><em>Springer, </em><em>Berlin, </em>(<em>1986</em>)Fri Oct 29 16:59:41 CEST 2010BerlinLecture Notes in Computer ScienceFundamentals of Artificial Intelligence: An Advanced Course2321986prolog ai knowledge v1010 book processing logic This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were written in tutorial form; the book thus provides an extremely valuable guide to the fundamental aspects of AI. In the first part, Delgrande and Mylopoulos discuss the concept of knowledge and its representation. The second part is devoted to the processing of knowledge. The contribution by Huet shows that both computation and inference or deduction are just different aspects of the same phenomenon. The chapter written by Stickel gives a thorough and knowledgeable introduction to the most important aspects of deduction by some form of resolution. The kind of reasoning that is involved in inductive inference problem solving (or programming) from examples, and in learning, is covered by Biermann. The tutorial by Bibel covers the more important forms of knowledge processing that might play a significant role in common sense reasoning. The third part of the book focuses on logic programming and functional programming. Jorrand presents the language FP2, where term rewriting forms the basis for the semantics of both functional and parallel programming. In the last chapter, Shapiro gives an overview of the current state of concurrent PROLOG.http://www.bibsonomy.org/bibtex/2f7d8c9d8fc4ff10019644968a955a2a5/flint63flint632010-10-29T16:56:09+02:00prolog software ai springer development v1010 book logic <span class="authorEditorList"><a href="/author/Clocksin">William F. Clocksin</a>, and <a href="/author/Mellish">Christopher S. Mellish</a> </span><em>Springer, </em><em>Berlin, </em><em>5. edition, </em>(<em>2003</em>)Fri Oct 29 16:56:09 CEST 2010Berlin5.Programming in Prolog2003prolog software ai springer development v1010 book logic Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete.Edition 3 1987 ISBN 978-0-387-17539-3http://www.bibsonomy.org/bibtex/23df2a3b604cebbb4b1c56fa90b47f5b1/flint63flint632010-10-29T16:45:53+02:00prolog software ai springer v1010 paper processing language logic <span class="authorEditorList"><a href="/author/Bitter">Christian Bitter</a>, <a href="/author/Elizondo">David A. Elizondo</a>, and <a href="/author/Yang">Yingjie Yang</a> </span><em>Artificial Intelligence Review</em> <em>33(1-2):151-173</em> (<em>2010</em>)Fri Oct 29 16:45:53 CEST 2010Artificial Intelligence Review1-2151-173Natural Language Processing: A {Prolog} Perspective332010prolog software ai springer v1010 paper processing language logic Natural language processing (NLP) is a vibrant field of interdisciplinary Computer Science research. Ultimately, NLP seeks to build intelligence into software so that software will be able to process a natural language as skillfully and artfully as humans. Prolog, a general purpose logic programming language, has been used extensively to develop NLP applications or components thereof. This report is concerned with introducing the interested reader to the broad field of NLP with respect to NLP applications that are built in Prolog or from Prolog components.http://www.bibsonomy.org/bibtex/2280ac1bd2b611497ddb7acba4e7ac90c/emanuelemanuel2010-04-23T09:27:51+02:00prolog <span class="authorEditorList"><a href="/author/Bratko">Ivan Bratko</a> </span><em>Addison-Wesley, </em>(<em>1986</em>)Fri Apr 23 09:27:51 CEST 2010Prolog Programming for Artificial Intelligence1986prolog http://www.bibsonomy.org/bibtex/27b0b819b593694c49199164f71869960/unhammerunhammer2009-08-06T18:54:18+02:00Prolog SMT apertium open_source toread transfer <span class="authorEditorList"><a href="/author/Graham">Y. Graham</a>, and <a href="/author/van Genabith">J. van Genabith</a> </span><em>The Prague Bulletin of Mathematical Linguistics</em> (<em>January 2009</em>)Thu Aug 06 18:54:18 CEST 2009The Prague Bulletin of Mathematical Linguistics Jan{An Open Source Rule Induction Tool for Transfer-Based SMT}2009Prolog SMT apertium open_source toread transfer In this paper we describe an open source tool for automatic induction of transfer rules. Transfer rule induction is carried out on pairs of dependency structures and their node alignment to produce all rules consistent with the node alignment. We describe an efficient algorithm for rule induction and give a detailed description of how to use the tool. Open source Prolog program for transfer rule induction (using Giza++). Hihih.http://www.bibsonomy.org/bibtex/2621b1c5fe43e05f9cd3ccc7696c9fc7f/dparigotdparigot2009-05-10T18:36:57+02:00eval prolog vari.LP <span class="authorEditorList"><a href="/author/Arbab">Bijan Arbab</a> </span><em>International Business Machines Corporation. Journal of Research and Development</em> <em>30(3):294--309</em> (<em>May 1986</em>)<em>Also published as a report, IBM Los Angeles Scientific Center July 1985. . </em>Sun May 10 18:36:57 CEST 2009International Business Machines Corporation. Journal of Research and DevelopmentMayAlso published as a report, IBM Los Angeles Scientific Center (July 1985).3294--309Compiling Circular Attribute Grammars into Prolog301986eval prolog vari.LP Attribute Grammarhttp://www.bibsonomy.org/bibtex/2509573cbc554cd0d4d57ab602c90435d/jobajoba2009-05-06T19:50:13+02:00myown prolog rokt <span class="authorEditorList"><a href="/author/Hopfner">Marbod Hopfner</a>, <a href="/author/Seipel">Dietmar Seipel</a>, and <a href="/author/Baumeister">Joachim Baumeister</a> </span><em>WLP&#039;05: Proceedings of the 19th Workshop on Constraint Logic Programming, </em>(<em>2005</em>)Wed May 06 19:50:13 CEST 2009WLP'05: Proceedings of the 19th Workshop on (Constraint) Logic ProgrammingA PROLOG Tool for Slicing Source Code2005myown prolog rokt http://www.bibsonomy.org/bibtex/263fcea3768af886871e90c31a43686d0/jeenbroekstrajeenbroekstra2009-04-02T11:07:42+02:002003 ISWC prolog rdf <span class="authorEditorList"><a href="/author/Wielemaker">Jan Wielemaker</a>, <a href="/author/Schreiber">Guus Schreiber</a>, and <a href="/author/Wielinga">Bob Wielinga</a> </span><em>The Semantic Web - ISWC 2003, Second International Semantic Web Conference, </em><em>volume 2870 of Lecture Notes in Computer Science, </em><em>page 644 - 658. </em>(<em>2003</em>)Thu Apr 02 11:07:42 CEST 2009{The Semantic Web - ISWC 2003, Second International Semantic Web Conference} 644 - 658Lecture Notes in Computer Science{Prolog-Based Infrastructure for RDF: Scalability and Performance}287020032003 ISWC prolog rdf