Logic programming
Overview
| Works: | 66 works in 37 publications in 37 languages | |
|---|---|---|
Titles
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 /
by:
(Language materials, printed)
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Functional and logic programming = 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings /
by:
(Language materials, printed)
Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings /
by:
(Language materials, printed)
Web reasoning and rule systems = 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings /
by:
(Language materials, printed)
Constraint Solving and Language Processing = First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
(Language materials, printed)
Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings /
by:
(Language materials, printed)
Inductive Logic Programming = 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers /
by:
(Language materials, printed)
Inductive logic programming = 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers /
by:
(Language materials, printed)
Functional and constraint logic programming = 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers /
by:
(Language materials, printed)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
(Language materials, printed)
Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /
by:
(Language materials, printed)
Web reasoning and rule systems = third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 : proceedings /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings /
by:
(Language materials, printed)
Web reasoning and rule systems = 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 : proceedings /
by:
(Language materials, printed)
Inductive logic programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(Language materials, printed)
Quantitative logic and soft computing : = proceedings of the Ql&Sc 2012, Xi’an, China, 12-15 May 2012 /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers /
by:
(Language materials, printed)
Inductive logic programming = 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers /
by:
(Language materials, printed)
Web reasoning and rule systems = 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013 : proceedings /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
(Language materials, printed)
Web reasoning and rule systems = second international conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008 : proceedings /
by:
(Language materials, printed)
Web reasoning and rule systems = 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
by:
(Language materials, printed)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings /
by:
(Language materials, printed)
Inductive logic programming = 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers /
by:
(Language materials, printed)
Inductive logic programming = 13th international conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings /
by:
(Language materials, printed)
Logic based program synthesis and transportation = 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /
by:
(Language materials, printed)
Logic for programming artificial intelligence and reasoning = 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /
by:
(Language materials, printed)
Logic programming = 19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings /
by:
(Language materials, printed)
Recent advances in constraints = joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers /
by:
(Language materials, printed)
Functional and logic programming = 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004: proceedings /
by:
(Language materials, printed)
Inductive logic programming = 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings /
by:
(Language materials, printed)
Logic based program synthesis and transformation = 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
by:
(Language materials, printed)
Logic programming = 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(Language materials, printed)
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(Language materials, printed)
Inductive logic programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /
by:
(Language materials, printed)
Web reasoning and rule systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
by:
(Language materials, printed)
Rules and reasoning = International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017 : proceedings /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
(Language materials, printed)
Inductive logic programming = 26th International Conference, ILP 2016, London, UK, September 4-6, 2016 : revised selected papers /
by:
(Language materials, printed)
Inductive logic programming = 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017 : revised selected papers /
by:
(Language materials, printed)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(Language materials, printed)
Inductive logic programming = 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018 : proceedings /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings /
by:
(Language materials, printed)
Quantitative logic and soft computing 2016 = Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016 /
by:
(Language materials, printed)
Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings /
by:
(Language materials, printed)
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings /
by:
(Language materials, printed)
Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings /
by:
(Language materials, printed)
Inductive logic programming = 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
(Language materials, printed)
Rules and reasoning = 8th international joint conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024 : proceedings /
by:
(Language materials, printed)
Show more
Fewer
Subjects