Logic programming
Overview
| Works: | 24 works in 18 publications in 18 languages | |
|---|---|---|
Titles
Web reasoning and rule systems = Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010, proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
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:
(Electronic resources)
Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
(Electronic resources)
Web reasoning and rule systems = second international conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008 : proceedings /
by:
(Electronic resources)
Functional and logic programming = 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings /
by:
(Electronic resources)
Web reasoning and rule systems = 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings /
by:
(Electronic resources)
Inductive logic programming = 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 : revised selected papers /
by:
(Electronic resources)
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(Electronic resources)
Inductive logic programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /
by:
(Electronic resources)
Web reasoning and rule systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
by:
(Electronic resources)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(Electronic resources)
Web reasoning and rule systems = 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012 : proceedings /
by:
(Electronic resources)
Declarative programming and knowledge management = Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers /
by:
(Electronic resources)
Web reasoning and rule systems = 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings /
by:
(Electronic resources)
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects