Programming, Logic and Intelligent Systems

Research Output 2006 2018

Filter
Anthology
2018

Functional and Logic Programming - 14th International Symposium (FLOPS 2018): Nagoya, Japan, May 9-11, 2018

Gallagher, J. P. (ed.) & Sulzmann, M. (ed.), Apr 2018, Springer. (Lecture Notes in Computer Science, Vol. 10818).

Research output: Book/ReportAnthologyResearchpeer-review

Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017

Gallagher, J. P. (ed.) & Fioravanti, F. (ed.), 2018, Springer. (Lecture Notes in Computer Science, Vol. 10855).

Research output: Book/ReportAnthologyResearchpeer-review

Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

Gallagher, J. P. (ed.), van Glabbeek, R. (ed.) & Serwe, W. (ed.), Apr 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Vol. 268).

Research output: Book/ReportAnthologyResearchpeer-review

Open Access
2017

Flexible Query Answering Systems: 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017. Proceedings

Christiansen, H. (ed.), Jaudoin, H. (ed.), Chountas, P. (ed.), Andreasen, T. (ed.) & Legind Larsen, H. (ed.), May 2017, Cham, Switzerland: Springer. 285 p. (Lecture notes in artificial intelligence, Vol. 10333).

Research output: Book/ReportAnthologyResearchpeer-review

ICT: Energy Concepts for Energy Efficiency and Sustainability

Fagas, G. (ed.), Gammaitoni, L. (ed.), Gallagher, J. P. (ed.) & Paul, D. J. (ed.), 22 Mar 2017, InTechOpen.

Research output: Book/ReportAnthologyResearchpeer-review

Open Access

Partiality and Underspecification in Information, Languages, and Knowledge

Christiansen, H. (ed.), Jiménez-López, M. D. (ed.), Loukanova, R. (ed.) & Moss, L. (ed.), 2017, Cambridge Scholars Publishing. 360 p.

Research output: Book/ReportAnthologyResearchpeer-review

2015

Flexible Query Answering Systems 2015: Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015

Andreasen, T. (ed.), Christiansen, H. (ed.), Kacprzyk, J. (ed.), Larsen, H. L. (ed.), Pasi, G. (ed.), Pivert, O. (ed.), De Tré, G. (ed.), Vila, M. A. (ed.), Yazici, A. (ed.) & Zadrozny, S. (ed.), 2015, Heidelberg: Springer. (Advances in Intelligent Systems and Computing, Vol. 4000).

Research output: Book/ReportAnthologyResearchpeer-review

Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings

Christiansen, H. (ed.), Stojanovic, I. (ed.) & Papadopoulos, G. A. (ed.), 2015, Cham: Springer. (Lecture notes in artificial intelligence, Vol. 9405).

Research output: Book/ReportAnthologyResearchpeer-review

2014

Constraints and Language

Blache, P. (ed.), Christiansen, H. (ed.), Dahl, V. (ed.), Duchier, D. (ed.) & Villadsen, J. (ed.), 2014, Cambridge Scholars Press.

Research output: Book/ReportAnthologyResearchpeer-review

Foundations of Intelligent Systems: 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings

Andreasen, T. (ed.), Christiansen, H. (ed.), Cubero, J. C. (ed.) & Ras, Z. W. (ed.), 2014, Heidelberg: Springer Science+Business Media. 568 p. (Lecture notes in artificial intelligence, Vol. 8502).

Research output: Book/ReportAnthologyResearchpeer-review

2013

Flexible Query Answering Systems - 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings

Larsen, H. L. (ed.), Martin-Bautista, M. J. (ed.), Vila, M. A. (ed.), Andreasen, T. (ed.) & Christiansen, H. (ed.), 2013, Springer. 710 p. (Lecture Notes in Computer Science, Vol. 8132).

Research output: Book/ReportAnthologyResearchpeer-review

2012

Advances in Modal Logic

Bolander, T. (ed.), Braüner, T. (ed.), Ghilardi, S. (ed.) & Moss, L. (ed.), 2012, College Publications. 592 p.

Research output: Book/ReportAnthologyResearch

2011

6th International Workshop, CSLP 2011, Constraints and Language Processing, Karlsruhe, Germany, 27 September 2011, Proceedings

Christiansen, H. (ed.), Blache, P. (ed.) & Dahl, V. (ed.), 2011, (Datalogiske Skrifter; No. 134).

Research output: Book/ReportAnthologyResearchpeer-review

Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings

Beigl, M. (ed.), Christiansen, H. (ed.), Roth-Berghofer, T. (ed.), Kofod-Petersen, A. (ed.), Coventry, K. R. (ed.) & Schmidtke, H. R. (ed.), 2011, Springer. (Lecture Notes in Computer Science, Vol. 6937).

Research output: Book/ReportAnthologyResearchpeer-review

Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010)

Bolander, T. (ed.) & Braüner, T. (ed.), 2011, Elsevier. 68 p. (Electronic Notes in Theoretical Computer Science; No. 273).

Research output: Book/ReportAnthologyResearch

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. (ed.) & Braüner, T. (ed.), 2010, Elsevier. 262 p. (Electronic Notes in Theoretical Computer Science; No. 262).

Research output: Book/ReportAnthologyResearch

2009

Flexible Query Answering Systems: 8th International Conference, FQAS 2009, Roskilde, Denmark, October 2009, Proceedings

Andreasen, T. (ed.), Yager, R. R. (ed.), Bulskov, H. (ed.), Christiansen, H. (ed.) & Larsen, H. L. (ed.), 2009, Berlin-Heidelberg-New York: Springer. 676 p. (Lecture Notes in Computer Science; No. 5822).

Research output: Book/ReportAnthologyResearch

HYBRID LOGIC: Dedicated to the Memory of Volker Weber

Braüner, T. (ed.) & Bolander, T. (ed.), 2009, Springer. (Journal of Logic, Language and Information; No. 4, Vol. 18).

Research output: Book/ReportAnthologyResearch

Preliminary proceedings of the 6th Workshop on Methods for Modalities (M4M-6)

Braüner, T. (ed.) & Bolander, T. (ed.), 2009, Roskilde: Roskilde Universitet. 263 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 128).

Research output: Book/ReportAnthologyResearch

Proceedings of the International Workshop on Logic in Databases (LID 2009)

Bertossi, L. (ed.) & Christiansen, H. (ed.), 2009, Roskilde: Roskilde Universitet. (Datalogiske Skrifter; No. 127).

Research output: Book/ReportAnthologyResearch

Open Access
File
2008

Proceedings of the 5th International Workshop on Constraints and Language Processing (CSLP 2008)

Villadsen, J. (ed.) & Christiansen, H. (ed.), 2008, Roskilde: Roskilde Universitet. 97 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 122).

Research output: Book/ReportAnthologyResearch

2007

Proceedings of the 4th International Workshop on Constraints and Language Processing, CSLP 2007

Christiansen, H. (ed.) & Villadsen, J. (ed.), 2007, Roskilde: Roskilde Universitet. 101 p. (Datalogiske Skrifter; No. 113).

Research output: Book/ReportAnthologyResearch

Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

Braüner, T. (ed.), Blackburn, P. (ed.), Bolander, T. (ed.), de Paiva, V. & Villadsen, J. (ed.), 2007, Pergamon Press. 148 p. (Electronic Notes in Theoretical Computer Science; No. 6, Vol. 174).

Research output: Book/ReportAnthologyResearch

Proceedings of the International Workshop on Hybrid Logic (HyLo 2007)

Braüner, T. (ed.), Villadsen, J. (ed.) & Bolander, T. (ed.), 2007, Dublin: ESSLLI. 95 p.

Research output: Book/ReportAnthologyResearch

2006

Flexible Query Answering Systems: 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006, Proceedings

Larsen, H. L. (ed.), Pasi, G. (ed.), Ortiz-Arroyo, D. (ed.), Andreasen, T. (ed.) & Christiansen, H. (ed.), 2006, Heidelberg: Kluwer Academic Publishers. 720 p. (Lecture Notes in Computer Science, Vol. 4027).

Research output: Book/ReportAnthologyResearch

The Logic of Time and Modality

Braüner, T. (ed.), Hasle, P. (ed.) & Øhrstrøm, P. (ed.), 2006, Kluwer Academic Publishers. 192 p. (Synthese; No. 3, Vol. 150).

Research output: Book/ReportAnthologyResearch