Programming, Logic and Intelligent Systems

Research Output 2006 2019

2007

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 2006: Preface

Braüner, T., Blackburn, P., Bolander, T., de Paiva, V. & Villadsen, J., 2007, In : Electronical Notes in Theoretical Computer Science. 174, 6, p. 1-2 2 p.

Research output: Contribution to journalEditorialResearch

Reasoning about Use Cases using Logic Grammars and Constraints

Christiansen, H., Have, C. T. & Tveitane, K., 2007, Proceedings of the 4th International Workshop on Constraints and Language Processing, CSLP 2007. Christiansen, H. & Villadsen, J. (eds.). Roskilde Universitet, p. 40-52 12 p. (Datalogiske Skrifter; No. 113).

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

Termination analysis of logic programs through combination of type-based norms

Bruynooghe, M., Codish, M., Gallagher, J. P., Genaim, S. & Vanhoof, W., 2007, In : ACM Transactions on Programming Languages and Systems. 29, 2, 44 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Why does the Proof-Theory of Hybrid Logic Work so Well?

Braüner, T., 2007, In : Journal of Applied Non-Classical Logics. 17, 4, p. 521-543 23 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2006

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

An Effective Implementation of K-opt Moves for the Lin-Kernighan TSP Heuristic

Helsgaun, K., 2006, Roskilde: Roskilde Universitet. 99 p. (Roskilde Universitet. Computer Science. Computer Science Research Report).

Research output: Book/ReportReportResearch

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

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

Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Braüner, T., 2006, In : Journal of Logic, Language and Information. 15, 3, p. 179-194 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Converting One Type-Based Abstract Domain to Another

Gallagher, J. P., Puebla, G. & Albert, E., 2006, In : Lecture Notes in Computer Science. p. 147-162 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

First-Order Modal Logic

Braüner, T. & Ghilardi, S., 2006, Handbook of Modal Logic. Blackburn, P., van Benthem, J. & Wolter, F. (eds.). Amsterdam: Pergamon Press, p. 549-620 73 p. (Studies in Logic and Practical Reasoning; No. 3).

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearch

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

Hybrid Logic

Braüner, T., 2006, The Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford University Press

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearch

Integrity Checking and Maintenance in Relational and Deductive Databases - and Beyond

Martinenghi, D., Christiansen, H. & Decker, H., 2006, Intelligent Databases: Technologies and Applications. Ma, Z. (ed.). Pennsylvania, USA: Idea Group Publishing, p. 238-285 48 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Introduction

Christiansen, H. & Hacid, M-S., 2006, In : Journal of Intelligent Information Systems. 26, 1, p. 5-6 2 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Introduction to Graphics Programming in Java

Rosendahl, M., 2006, Roskilde: Roskilde Universitet, 52 p.

Research output: Working paperResearch

Intuitionistic Hybrid Logic

Braüner, T. & de Paiva, V., 2006, In : Journal of Applied Logic. 4, 3, p. 231-255 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Kurt Gödel og Ufuldstændigheden

Braüner, T., 2006, In : Weekendavisen.

Research output: Contribution to journalContribution to newspaper - Newspaper articleCommunication

Logikkens Muligheder og Grænser

Braüner, T., 2006, In : Aktuel Naturvidenskab. 6, p. 32-34 3 p.

Research output: Contribution to journalJournal articleCommunication

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates

Albert, E., Puebla, G. & Gallagher, J. P., 2006, Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005. Hill, P. M. (ed.). Springer, p. 115-132 17 p. (Lecture Notes in Computer Science, Vol. 3901).

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

Open Access
File

On Simplification of Database Integrity Constraints

Christiansen, H. & Martinenghi, D., 2006, In : Fundamenta Informaticae. 71, p. 1-47 47 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Ontology-based Disambiguation of the Semantic Relation between the Heads of two Noun Phrases

Lassen, T. & Terney, T. V., 2006, Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference. AAAI Press, p. 791-793

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

Ontology-based Information Retrieval

Styltsvig, H. B., 2006, Roskilde: Roskilde Universitet. 196 p. (Datalogiske Skrifter; No. 107).

Research output: Book/ReportPh.D. thesisResearch

File

On using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases

Christiansen, H. & Martinenghi, D., 2006, Proceedings of LAAIC'06, Second International Workshop on Logical Aspects and Applications of Integrity Constraints, Included in Proc. DEXA 2006, Seventeenth Int'l Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, p. 569-573 5 p.

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

Open Access
File

Second International Workshop on Logical Aspects and Applications of Integrity Constraints (LAAIC 2006)

Christiansen, H. (ed.) & Martinenghi, D. (ed.), 2006, 17th International Conference on Database and Expert Systems Applications (DEXA 2006). IEEE Computer Society Press, p. 525-573 52 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Tableau-Based Decision Procedures for Hybrid Logic

Braüner, T. & Bolander, T., 2006, In : Journal of Logic and Computation. 16, 6, p. 737-763 27 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

The Logic of Time and Modality: Preface

Braüner, T., Hasle, P. & Øhrstrøm, P., 2006, In : Synthese. 150, 3, p. 327-328 2 p.

Research output: Contribution to journalEditorialResearch