Logic programming

Constraint Solving and Language ProcessingFirst International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Logic Based Program Synthesis and Transformation14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers / by: (書目-電子資源)

Inductive Logic Programming15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / by: (書目-電子資源)

Logic Programming and Nonmonotonic Reasoning8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / by: (書目-電子資源)

Logic Programming :21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings by: (書目-電子資源)

Logic for Programming, Artificial Intelligence, and Reasoning :12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings by: (書目-電子資源)

Inductive Logic Programming18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings / by: (書目-電子資源)

Constraint logic programming using ECLiPSe by: (書目-電子資源)

Logic-based program synthesis and transformation17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers / by: (書目-語言資料,印刷品)

Logic programming24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings / by: (書目-語言資料,印刷品)

Logic-based program synthesis and transformation18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers / by: (書目-電子資源)

Inductive logic programming12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers / by: (書目-電子資源)

Inductive logic programming13th international conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings / by: (書目-電子資源)

Logic based program synthesis and transportation12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers / by: (書目-電子資源)

Logic for programming artificial intelligence and reasoning10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / by: (書目-電子資源)

Logic programming19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings / by: (書目-電子資源)

Recent advances in constraintsjoint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers / by: (書目-電子資源)

Functional and logic programming7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004: proceedings / by: (書目-電子資源)

Inductive logic programming14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings / by: (書目-電子資源)

Logic based program synthesis and transformation13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / by: (書目-電子資源)

Logic programming20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings / by: (書目-電子資源)

Recent advances in constraintsJoint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers / by: (書目-電子資源)

Logic programming25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings / by: (書目-電子資源)

Infinity in Logic and ComputationInternational Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / by: (書目-電子資源)

Web reasoning and rule systemsthird international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 : proceedings / by: (書目-電子資源)

Functional and constraint logic programming18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers / by: (書目-電子資源)

Algebraic and logic programming6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / by: (書目-電子資源)

Inductive logic programming6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers / by: (書目-電子資源)

Logic program synthesis and transformation6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / by: (書目-電子資源)

Non-monotonic extensions of logic programmingsecond International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / by: (書目-電子資源)

Inductive logic programming8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / by: (書目-電子資源)

Logic program synthesis and transformation7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / by: (書目-電子資源)

Logic programming and knowledge representationthird international workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997 : selected papers / by: (書目-電子資源)

Transactions and change in logic databasesInternational 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 / by: (書目-電子資源)

Functional and logic programming4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / by: (書目-電子資源)

Inductive logic programming9th International Workshop, ILP-99, Bled, Slovenia, June 1999 : proceedings / by: (書目-電子資源)

Logic for programming and automated reasoning6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers / by: (書目-電子資源)

Inductive logic programming10th International Conference, ILP 2000, London, UK, July 24-27 2000 : proceedings / by: (書目-電子資源)

Logic for programming and automated reasoning7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers / by: (書目-電子資源)

Functional and logic programming5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / by: (書目-電子資源)

Inductive logic programming11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings / by: (書目-電子資源)

Logic based program synthesis and transformation10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings / by: (書目-電子資源)

Logic programming17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / by: (書目-電子資源)

Functional and logic programming6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings / by: (書目-電子資源)

Logic based program synthesis and transformation11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / by: (書目-電子資源)

Logic programming18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings / by: (書目-電子資源)

Inductive logic programming19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers / by: (書目-電子資源)

Logic-based program synthesis and transformation19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers / by: (書目-電子資源)

Functional and logic programming10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / by: (書目-電子資源)

Web reasoning and rule systemsFourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010, proceedings / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings / by: (書目-電子資源)

Functional and constraint logic programming19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / by: (書目-電子資源)

Inductive logic programming20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers / by: (書目-電子資源)

Web reasoning and rule systems5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 : proceedings / by: (書目-電子資源)

Functional and logic programming11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers / by: (書目-電子資源)

Web reasoning and rule systems6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012 : proceedings / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / by: (書目-電子資源)

Web reasoning and rule systemssecond international conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008 : proceedings / by: (書目-電子資源)

Functional and logic programming12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / by: (書目-電子資源)

Declarative programming and knowledge managementDeclarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers / by: (書目-電子資源)

Web reasoning and rule systems8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings / by: (書目-語言資料,印刷品)

Inductive logic programming23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Logic-based program synthesis and transformation24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 : revised selected papers / by: (書目-電子資源)

Web reasoning and rule systems9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / by: (書目-電子資源)

Inductive logic programming24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / by: (書目-電子資源)

Functional and logic programming13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings / by: (書目-電子資源)

Inductive logic programming25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers / by: (書目-電子資源)

Web reasoning and rule systems10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings / by: (書目-電子資源)

General game playing / by: (書目-電子資源)

Quantitative logic and soft computing 2016Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016 / by: (書目-電子資源)

Rules and reasoningInternational Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017 : proceedings / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers / by: (書目-電子資源)

Inductive logic programming26th International Conference, ILP 2016, London, UK, September 4-6, 2016 : revised selected papers / by: (書目-電子資源)

Inductive logic programming27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017 : revised selected papers / by: (書目-電子資源)

Functional and logic programming14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers / by: (書目-電子資源)

Inductive logic programming28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018 : proceedings / by: (書目-電子資源)

Functional and constraint logic programming26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019 : revised selected papers / by: (書目-電子資源)

Rules and reasoning4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings / by: (書目-電子資源)

Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers / by: (書目-電子資源)

Inductive logic programming29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019 : proceedings / by: (書目-電子資源)

Functional and constraint logic programming28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / by: (書目-電子資源)

Rules and reasoning5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings / by: (書目-電子資源)

Inductive logic programming30th International Conference, ILP 2021, virtual event, October 25-27, 2021 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings / by: (書目-電子資源)

Rules and reasoning6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings / by: (書目-電子資源)

Functional and logic programming16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings / by: (書目-電子資源)

Rules and reasoning7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings / by: (書目-電子資源)

Inductive logic programming32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023 : proceedings / by: (書目-電子資源)

Functional and logic programming17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024 : proceedings / by: (書目-電子資源)

Inductive logic programming31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings / by: (書目-電子資源)

Rules and reasoning8th international joint conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024 : proceedings / by: (書目-電子資源)

Hybrid models for coupling deductive and inductive reasoningthird International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024 : revised selected papers / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings / by: (書目-電子資源)