#
Logic programming
Resource Information
The concept ** Logic programming** represents the subject, aboutness, idea or notion of resources found in **University of Missouri Libraries**.

The Resource
Logic programming
Resource Information

The concept

**Logic programming**represents the subject, aboutness, idea or notion of resources found in**University of Missouri Libraries**.- Label
- Logic programming

- Authority link
- http://id.worldcat.org/fast/01002056

- Source
- fast

## Context

Context of Logic programming#### Subject of

No resources found

No enriched resources found

- 19th IEEE Annual Conference on Computational Complexity : proceedings : 21-24 June, 2004, Amherst, Massachusetts
- 20th IEEE Annual Conference on Computational Complexity : proceedings : 11-15 June, 2005, San Jose, CA
- 25th Annual IEEE Conference on Computational Complexity : proceedings : CCC 2010 : 9-11 June, 2010, Cambridge, Massachusetts, USA
- A 25-Year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
- A tight, practical integration of relations and functions
- Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
- Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
- Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
- Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
- Answer set programming for continuous domains : a fuzzy logic approach
- Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
- Arithmetic and logic in computer systems
- CCC 2008 : twenty-third Annual IEEE Conference on Computational Complexity : proceedings : 23-26 June 2008, College Park, Maryland
- Computational complexity : proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, Italy
- Computational complexity : proceedings : Fourteenth Annual IEEE Conference on Computational Complexity : May 4-6, 1999, Atlanta, Georgia, USA
- Computational logic : logic programming and beyond
- Conclog : a methodological approach to concurrent logic programming
- Constraint solving and language processing : first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
- Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
- Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz
- Declarative programming and knowledge management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised selected papers
- Discrete structures, logic, and computability
- Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
- Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings
- Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings
- Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991, proceedings
- Foundations of equational logic programming
- Foundations of inductive logic programming
- From logic design to logic programming : theorem proving techniques and P-functions
- Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers
- Functional and constraint logic programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers
- Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings
- Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
- Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings
- Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
- Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
- Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
- Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings
- Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings
- Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
- Game development with Ren'Py : introduction to visual novel games using Ren'Py, TyranoBuilder, and twine
- Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 2000 : proceedings
- Inductive logic programming : 11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings
- Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings
- Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings
- Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers
- Inductive logic programming : 17th international conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007 : revised selected papers
- Inductive logic programming : 18th international conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : revised selected papers
- Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised papers
- Inductive logic programming : 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers
- Inductive logic programming : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers
- Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers
- Inductive logic programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised selected papers
- Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
- Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
- Interactive relational database design : a logic programming implementation
- Journal of automated reasoning
- Journal of logic and computation
- Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
- Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
- Logic and integer programming
- Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
- Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
- Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
- Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
- Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
- Logic for computer scientists
- Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
- Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
- Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
- Logic for programming, artificial Intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings
- Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers
- Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
- Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings
- Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings
- Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings
- Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings
- Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings
- Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings
- Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
- Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
- Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987
- Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
- Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
- Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings
- Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
- Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
- Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
- Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings
- Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings
- Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 : proceedings
- Logic programming : 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 ; proceedings
- Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
- Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers
- Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings
- Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013, Proceedings
- Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
- Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
- Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
- Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
- Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
- Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings
- Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings
- Logic programming with Prolog
- Logic programming with Prolog
- Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday
- Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
- Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, revised selected papers
- Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers
- Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers
- Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
- Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers
- Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers
- Logic-based program synthesis and transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, revised selected papers
- Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
- Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
- Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 : selected papers
- Logical and relational learning
- Meta-programming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
- Multiple-Valued Logic, 24th Symposium (ISMVL '94)
- Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers
- Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
- Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
- Over-constrained systems
- Over-constrained systems
- Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings
- Probabilistic inductive logic programming : theory and applications
- Proceedings of the 24th Annual IEEE Conference on Computational Complexity : 15-18 July 2009 Paris France
- Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity : (formerly, Structure in Complexity Theory Conference) : June 15-18, 1998, Buffalo, New York, USA
- Proceedings, Twelfth Annual IEEE Conference on Computational Complexity : June 24-27, 1997, Ulm, Germany
- Program development in computational logic : a decade of research advances in logic-based program development
- Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings
- Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
- Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings
- Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
- Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings
- Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
- Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings
- Programming logics : essays in memory of Harald Ganzinger
- Recent advances in constraints : 11th annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers
- Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers
- Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
- Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers
- Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
- Termination proofs for logic programs
- The deductive spreadsheet
- Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings
- Theory and practice of logic programming
- Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings
- Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
- Twenty-first Annual IEEE Conference on Computational Complexity : proceedings : (CCC 2006) : 16-20 July, 2006, Prague, Czech Republic
- Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
- Web reasoning and rule systems : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
- Web reasoning and rule systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
- Web reasoning and rule systems : Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. proceedings
- Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings
- Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008 ; proceedings
- Web reasoning and rule systems : third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 ; proceedings

## Embed

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/mVeylKp_EDk/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/mVeylKp_EDk/">Logic programming</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Logic programming

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/mVeylKp_EDk/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/mVeylKp_EDk/">Logic programming</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>`