Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Antologi
2018

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

Gallagher, J. P. (red.) & Sulzmann, M. (red.), 2018, Switzerland: Springer. 281 s. (Lecture Notes in Computer Science, Bind 10818). (Theoretical Computer Science and General Issues).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Fioravanti, F. (red.) & Gallagher, J. P. (red.), 2018, Springer. 341 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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

Gallagher, J. P. (red.), van Glabbeek, R. (red.) & Serwe, W. (red.), apr. 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Bind 268).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Åben adgang
2017

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

Christiansen, H. (red.), Jaudoin, H. (red.), Chountas, P. (red.), Andreasen, T. (red.) & Legind Larsen, H. (red.), maj 2017, Cham, Switzerland: Springer. 285 s. (Lecture notes in artificial intelligence, Bind 10333).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

ICT: Energy Concepts for Energy Efficiency and Sustainability

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Åben adgang

Partiality and Underspecification in Information, Languages, and Knowledge

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

2015

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

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

2014

Constraints and Language

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

2013

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

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

2012

Advances in Modal Logic

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2011

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

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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

Bolander, T. (red.) & Braüner, T. (red.), 2011, Elsevier. 68 s. (Electronic Notes in Theoretical Computer Science; Nr. 273).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

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

Bolander, T. (red.) & Braüner, T. (red.), 2010, Elsevier. 262 s. (Electronic Notes in Theoretical Computer Science; Nr. 262).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2009

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

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

HYBRID LOGIC: Dedicated to the Memory of Volker Weber

Braüner, T. (red.) & Bolander, T. (red.), 2009, Springer. (Journal of Logic, Language and Information; Nr. 4, Bind 18).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

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

Braüner, T. (red.) & Bolander, T. (red.), 2009, Roskilde: Roskilde Universitet. 263 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 128).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

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

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

Åben adgang
Fil
2008

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

Villadsen, J. (red.) & Christiansen, H. (red.), 2008, Roskilde: Roskilde Universitet. 97 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 122).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2007

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

Christiansen, H. (red.) & Villadsen, J. (red.), 2007, Roskilde: Roskilde Universitet. 101 s. (Datalogiske Skrifter; Nr. 113).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

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

Braüner, T. (red.), Blackburn, P. (red.), Bolander, T. (red.), de Paiva, V. & Villadsen, J. (red.), 2007, Pergamon Press. 148 s. (Electronic Notes in Theoretical Computer Science; Nr. 6, Bind 174).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

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

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2006

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

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

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

The Logic of Time and Modality

Braüner, T. (red.), Hasle, P. (red.) & Øhrstrøm, P. (red.), 2006, Kluwer Academic Publishers. 192 s. (Synthese; Nr. 3, Bind 150).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning