Programming, Logic and Intelligent Systems

Research Output

Anthology

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

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

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

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

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

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

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

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

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

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

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

Research output: Book/ReportAnthologyResearchpeer-review

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

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

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

Fioravanti, F. (ed.) & Gallagher, J. P. (ed.), 2018, Springer. 341 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, Vol. 10855).

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

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

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

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 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 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

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

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

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 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

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

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

Article in proceedings

Abstract Interpretation of PIC programs through Logic Programming

Henriksen, K. S. & Gallagher, J. P., 2006, Sixth IEEE International Workshop on Source Code Analysis and Manipulation. IEEE, p. 184-193

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Abstract nonsense

Gonçalves, J., 2018, FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design: Co-located with ICFP 2018. Yorgey, B. & Quick, D. (eds.). New York: Association for Computing Machinery, p. 26-37

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Constraint Model for Constrained Hidden Markov Models: a First Biological Application

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., 2009, Proceedings of WCB09: Workshop on Constraint Based Methods for Bioinformatics. p. 19 26 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

A declarative pipeline language for big data analysis

Christiansen, H., Theil-Have, C., Lassen, O. T. & Petit, M., Sep 2012, Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012). Leuven: Katholieke Universiteit Leuven, Vol. Report CW 625. p. 3-17

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model

Becerra-Bonache, L., Christiansen, H. & Jiménez-López, M. D., 2018, Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing: A workshop at COLING 2018: The 27th International Conference on Computational Linguistics. Becerra-Bonache, L., Jiménez-López, M. D., Martín-Vide, C. & Torrens-Urrutia, A. (eds.). Santa Fe: Association for Computational Linguistics, p. 1-9

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

A Grammatical View of Language Evolution

Bel-Enguix, G., Christiansen, H. & Jiménez-López, M. D., 2011, AI Methods for Interdisciplinary Research in Language and Biology: Proceedings of the 1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology - BILC 2011. Bel-Enguix, G., Dahl, V. & Ortega De La Puente, A. (eds.). Portugal: SciTePress, p. 57-66

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, Proceedings of the 40th Annual Conference of the Cognitive Science Society. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (eds.). Cognitive Science Society, p. 45-46

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders

Christiansen, H. & Dahmcke, C. M., 2007, Proc. International Conference on Machine Learning and Data Mining MLDM'2007: Lecture Notes in Artificial Intelligence. Springer, Vol. 4571. p. 741-755 15 p. (Lecture notes in artificial intelligence; No. 4571).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations

Christiansen, H., Sep 2012, CHR 2012 - Proceedings of the 9th International Workshop on Constraint Handling Rules, Budapest, Hungary — September 4th, 2012. Sneyers, J. & Frühwirth, T. (eds.). Leuven: Katholieke Universiteit Leuven, Vol. CW 624. p. 1-15

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An approach to summarization through domain ontologies

Andreasen, T. & Bulskov, H., 1 May 2011, WCONSC 2011 - World Conference on Soft Computing, Proceedings. 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An exposition of abductive reasoning through logic programming with constraints

Christiansen, H., 2012, Proceedings of the 8th Scandinavian Logic Symposium. Blackburn, P., Jørgensen, K. F., Jones, N. & Palmgren, E. (eds.). p. 23-25 3 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An Ontology-Based Approach to Disambiguation of Semantic Relations

Lassen, T. & Terney, T. V., 2006, Proceedings of the workshop on Learning Structured Information in Natural Language Applications. Association for Computational Linguistics

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An Ontology Based View on Prepositional Senses

Lassen, T., 2006, Proceedings of the Third ACL-SIGSEM Workshop on Prepositions. Association for Computational Linguistics, p. 45-50

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Applying terminological methods and description logic for creating and implementing and ontology on inhibition

Zambach, S. & Madsen, B. N., 2009, KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. Dietz, J. L. G. (ed.). Institute for Systems and Technologies of Information, Control and Communication, p. 452-455 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Approaching the Chinese Word Segmentation Problem with CHR Grammars

Christiansen, H. & Li, B., 2011, 6th International Workshop, CSLP 2011, Constraints and Language Processing, Karlsruhe, Germany, 27 September 2011, Proceedings. p. 21-31 (Datalogiske Skrifter; No. 134).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation

Gallagher, J. P. & Rosendahl, M., 2008, Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Cervesato, I., Veith, H. & Voronkov, A. (eds.). Springer, Vol. 5330. p. 682-696 15 p. (Lecture Notes in Computer Science, Vol. 5330).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Seligman-Style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2013, Logic for Programming, Artificial Intelligence, and Reasoning. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Heidelberg: Springer Publishing Company, p. 147-163 16 p. (Lecture Notes in Computer Science, Vol. 8312).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Source-level Energy Optimization Framework for Mobile Applications

Li, X. & Gallagher, J. P., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, p. 31-40 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Transformational Approach to Parametric Accumulated-Cost Static Profiling

Haemmerlé, R., López García, P., Liqat, U., Klemen, M., Gallagher, J. P. & Hermenegildo, M., 2016, Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. Kiselyov, O. & King, A. (eds.). Cham: Springer, p. 163-180 (Lecture Notes in Computer Science, Vol. 9613).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

A Web-based Tool Combining Different Type Analyses

Henriksen, K. S. & Gallagher, J. P., 2006, WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. Vanhoof, W. & Hernández, S. (eds.). p. 118-129 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Biosequence Analysis in PRISM

Lassen, O. T., 2008, Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings. Garcia de la Banda, M. & Pontelli, E. (eds.). Springer, Vol. 5366. p. 809-810 (Lecture Notes in Computer Science, Vol. 5366).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Breathing Life into Familiar Domestic Objects

Christiansen, H., Lindelof, A. M. & Hobye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication: Nanjing, China, August 27-31, 2018. IEEE, p. 589-594 (IEEE RO-MAN proceedings; No. 2018).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Conceptual pathway querying of natural logic knowledge bases from text bases

Andreasen, T., Bulskov, H., Nilsson, J. F., Jensen, P. A. & Lassen, T., 2013, Flexible Query Answering Systems : 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Heidelberg: Springer, Vol. 8132. p. 1-12 (Lecture Notes in Computer Science, Vol. 8132).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review