Programming, Logic and Intelligent Systems

Research Output 2006 2019

2009

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

Hybrid Logic and Its Proof-Theory

Braüner, T., 2009, Roskilde: Roskilde Universitet. 318 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 124).

Research output: Book/ReportDoctoral thesisResearch

Hybrid Logic Meets Other Logics (HyLoMOL)

Braüner, T., 2009, Årsberetning 2008. Roskilde: Roskilde Universitet, Vol. 2008. p. 53 1 p. (Årsberetning. Roskilde Universitet, Vol. 2008).

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

Identifying and Indexing Text Meaning Using Lexical Resources

Andreasen, T., Bulskov, H., Jensen, P. A. & Lassen, T., 2009.

Research output: Contribution to conferencePaperResearchpeer-review

Logical implications for regulatory relations represented by verbs in biomedical texts

Zambach, S., 2009. 1 p.

Research output: Contribution to conferencePosterResearch

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Have, C. T., 2009, In : Lecture Notes in Computer Science. p. 549-550 2 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2009, Logics for Dynamics of Information and Preferences: Seminar's yearbook 2008. Kurzen, L. & Velazquez-Quesada, F. R. (eds.). University of Amsterdam, p. 238-263

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

Non-Discriminating Arguments and Their Uses

Christiansen, H. & Gallagher, J. P., 2009, In : Lecture Notes in Computer Science. 5649, p. 55-69 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

On Conceptual Indexing for Data Summarization

Bulskov, H. & Andreasen, T., 2009, Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference. Carvalho, J. P., Dubois, D., Kaymak, U. & Sousa, M. C. (eds.). European Society for Fuzzy Logic and Technology, p. 1618-1625 7 p.

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

On deriving data summarization through ontologies to meet user preferences

Andreasen, T. & Bulskov, H., 2009, Advances in Data Management. Springer, Vol. 223/2009. p. 67-87 20 p. (Studies in Computational Intelligence).

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

Preface

Braüner, T. & Bolander, T., 2009, In : Journal of Logic, Language and Information. 18, 4, p. 435-436

Research output: Contribution to journalEditorialResearch

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

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis

Christiansen, H. & Lassen, O. T., 2009, In : Lecture Notes in Computer Science. p. 70-83 14 p.

Research output: Contribution to journalConference articleResearchpeer-review

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

SIABO: Semantic Information Access through Biomedical Ontologies

Andreasen, T., Zambach, S., Lassen, T., Nilsson, J. F., Madsen, B. N., Jensen, P. A., Thomsen, H. E. & Szymczak, B. A., 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. 171-176 6 p.

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

Stochastic Definite Clause Grammars

Have, C. T., 2009, International Conference Recent Advances in Natural Language Processing. Angelova, G., Bontcheva, K., Mitkov, R., Nicolov, N. & Nikolov, N. (eds.). INCOMA Ltd., p. 139-144 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Terminating tableaux for dynamic epistemic logics

Hansen, J. U., 2009, In : Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter. 128, p. 88-102 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

Text summarization using ontologies

Bulskov, H. & Andreasen, T., 2009, Data Mining Applications using Ontologies in Biomedicine. Popescu, M. & Xu, D. (eds.). Norwood, MA: Artech House, p. 163-182

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

The combined usage of ontologies and corpus statistics in formation retrieval

Terney, T. V., 2009, Roskilde Universitet. 148 p. (Datalogiske Skrifter; No. 126).

Research output: Book/ReportPh.D. thesisResearch

Towards a Theory for Testing Non-terminating Programs

Gotlieb, A. & Petit, M., 2009, 33rd Annual IEEE International Computer Software and Applications Conference. IEEE, p. 160-165

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

Towards ontology based search and knowledgesharing using domain ontologies

Zambach, S., 2009. 8 p.

Research output: Contribution to conferencePaperResearch

Type-based homeomorphic embedding for online termination

Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G., 2009, In : Information Processing Letters. 109, 15, p. 879-886 8 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Type-safe pattern combinators

Rhiger, M., 2009, In : Journal of Functional Programming. 19, 2, p. 145156

Research output: Contribution to journalJournal articleResearchpeer-review

Un calcul de Viterbi pour un Modèle de Markov Caché Contraint

Petit, M. & Christiansen, H., 2009, Proceedings des 5ème Journée Francophone de Programmation par Contraintes.

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

Open Access
File
2008

Adding intensional machinery to hybrid logic

Braüner, T., 2008, In : Journal of Logic and Computation. 18, 4, p. 631-648 18 p.

Research output: Contribution to journalJournal articleResearchpeer-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

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

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules

Christiansen, H., 2008, In : Lecture Notes in Computer Science. 5388, p. 85-118

Research output: Contribution to journalJournal articleResearchpeer-review

Introduction to Constraints and Language Processing

Christiansen, H., 2008, In : Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter. 122, p. 3-4 2 p.

Research output: Contribution to journalConference articleResearch

Logic Grammars Extended with Constraint Logic: Abstract of invited tutorial

Christiansen, H., 2008, Proceedings of the Second International Workshop;Non-Classical Formal Languages in Linguistics, ForLing 2008. Bel-Enguix, G. & Jimenes-Lopes, M. D. (eds.). p. 3-4 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2008, Advances in Modal Logic. Areces, C. & Goldblatt, R. (eds.). College Publications, Vol. 7. p. 111-132 22 p.

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

Ontological Summaries

Bulskov, H., Andreasen, T. & Terney, T. V., 2008, Managing Ontologies and Lexical Resources. Madsen, B. N. & Thomsen, H. E. (eds.). Litera, p. 219-230 11 p.

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

Ontological summaries through hierarchical clustering

Andreasen, T., Bulskov, H. & Terney, T. V., 2008, In : Lecture Notes in Computer Science. p. 497-507

Research output: Contribution to journalConference articleResearchpeer-review

Optimization and evaluation of probabilistic-logic sequence models

Christiansen, H. & Lassen, O. T., 2008. 9 p.

Research output: Contribution to conferencePaperResearch

Prioritized Abduction with CHR

Christiansen, H., 2008, CHR 2008, The 5th Workshop on Constraint Handling Rules. SCHRIJVERS, T., RAISER, F. & FRÜHWIRTH, T. (eds.). Johannes Kepler University, Vol. 08-10. p. 159-173 (RISC-Linz Report Series, Vol. 08-10).

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

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Christiansen, H., 2008. 15 p.

Research output: Contribution to conferencePaperResearchpeer-review

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

Query Expansion by Taxonomy

Andreasen, T. & Styltsvig, H. B., 2008, Handbook of Research on Fuzzy Information Processing in Databases. Galindo, J. (ed.). Hershey, PA: Idea Group Publishing, p. 325-351 22 p.

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

Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation

Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G., 2008, In : Lecture Notes in Computer Science. 4915, p. 23-42 19 p.

Research output: Contribution to journalConference articleResearchpeer-review

2007

A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software

Henriksen, K. S., 2007, Roskilde: Roskilde Universitet. 201 p. (Datalogiske Skrifter; No. 117).

Research output: Book/ReportPh.D. thesisResearch

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

Conceptual Summaries as Query Answers

Styltsvig, H. B., Andreasen, T. & Terney, T. V., 2007, North American Fuzzy Information Processing Society: NAFIPS '07. Annual Meeting of the24-27 June 2007. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 458-462

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

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Henriksen, K. S., Banda, G. & Gallagher, J. P., 2007, WLPE 2007: Proceedings of the 17th Workshop on Logic-based methods in Programming Environments. Hill, P. & Vanhoof, W. (eds.). University of Porto, p. 99-116 18 p.

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

First-Class Open and CLosed Code Fragments

Rhiger, M., 2007, Trends in Functional Programming. Van Eekelen, M. (ed.). Bristol, United Kingdom: Intellect, Vol. 6. p. 127-144

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

From use cases to UML class diagrams using logic grammars and constraints

Christiansen, H., Have, C. T. & Tveitane, K., 2007, International Conference: Recent Advances in Natural Language Processing: Proceedings. Angelova, G., Bontcheva, K., Mitkov, R., Nicolov, N. & Nikolov, N. (eds.). INCOMA Ltd., p. 128-132

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

Integrity Checking and Maintenance with Active Rules in XML Databases

Christiansen, H. & Rekouts, M., 2007, 24th British National Conference on Databases : proceedings. IEEE Computer Society Press, p. 59-67 8 p.

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

Open Access
File

Logic-statistic modeling and analysis of biological sequence data: a research agenda

Christiansen, H., 2007, Pre-Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial Intelligence (AIAI’07). Doncescu, A., Flach, P. A., Inoue, K., Kakas, A. C. & Ray, O. (eds.). p. 42-49 8 p.

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

On Browsing Domain Ontologies for Information Base Content

Andreasen, T. & Styltsvig, H. B., 2007, In : Lecture Notes in Computer Science. 4529, p. 135-144

Research output: Contribution to journalJournal articleResearchpeer-review

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