-
Logic Programming and Nonmonotonic Reasoning – 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Cabalar, Pedro ; Son, Tran Cao 2015 Springer International Publishing
-
Web Reasoning and Rule Systems – 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Cate, Balder ten ; Mileo, Alessandra 2015 Springer International Publishing
-
Practical Aspects of Declarative Languages – 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Pontelli, Enrico ; Son, Tran Cao 2015 Springer International Publishing
-
Inductive Logic Programming – 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Zaverucha, Gerson ; Santos Costa, Vitor ; Paes, Aline Marins 2014 Springer Berlin Heidelberg
-
Web Reasoning and Rule Systems – 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
Kontchakov, Roman 2014 Springer Berlin Heidelberg
-
Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
-
Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
-
Logic for Programming, Artificial Intelligence, and Reasoning – 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
McMillan, Kenneth L. ; Middeldorp, Aart ; Voronkov, Andrei 2013 Springer Berlin Heidelberg
-
Practical Aspects of Declarative Languages – 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Applications of Declarative Programming and Knowledge Management – 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
2013 Springer Berlin Heidelberg
-
Logic Programming and Nonmonotonic Reasoning – 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Web Reasoning and Rule Systems – 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
ALPUK 91 – Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991
Wiggins, Geraint A. 1992 Springer London
-
Inductive Logic Programming – 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Riguzzi, Fabrizio ; Železný, Filip 2013 Springer Berlin Heidelberg
-
Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Albert, Elvira 2013 Springer Berlin Heidelberg
-
Declarative Agent Languages and Technologies X – 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Baldoni, Matteo ; Dennis, Louise ; Mascardi, Viviana ; Vasconcelos, Wamberto 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
-
Modeling Decisions for Artificial Intelligence – 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings
Torra, Vicenç ; Narukawa, Yasuo ; Lopez, Beatriz ; Villaret, Mateu 2012 Springer Berlin Heidelberg
-
Web Reasoning and Rule Systems – 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Krötzsch, Markus ; Straccia, Umberto 2012 Springer Berlin Heidelberg
-
Datalog in Academia and Industry – Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings
Barceló, Pablo ; Pichler, Reinhard 2012 Springer Berlin Heidelberg