Logic programming
Overview
Works: | 18 works in 16 publications in 16 languages |
---|
Titles
Program development in computational logic: a decade of research advances in logic-based progam development
by:
(Language materials, printed)
Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning[electronic resource] :15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
(Language materials, printed)
Web reasoning and rule systems[electronic resource] :second international conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008 : proceedings /
by:
(Language materials, printed)
Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings /
by:
(Language materials, printed)
Declarative programming and knowledge management[electronic resource] :Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers /
by:
(Language materials, printed)
Web reasoning and rule systems[electronic resource] :9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning[electronic resource] :13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(Language materials, printed)
Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation[electronic resource] :25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
(Language materials, printed)
Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(Language materials, printed)
Inductive logic programming[electronic resource] :25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /
by:
(Electronic resources)
Web reasoning and rule systems[electronic resource] :10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
by:
(Electronic resources)
Subjects