Programming, Logic and Intelligent Systems

Research Output 2006 2018

Filter
Conference article
2016

Interpolant tree automata and their application in Horn clause verification

Kafle, B. & Gallagher, J. P., 2016, In : Electronic Proceedings in Theoretical Computer Science. 216, p. 104-117

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Solving non-linear Horn clauses using a linear Horn clause solver

Kafle, B., Gallagher, J. P. & Ganty, P., 2016, In : Electronic Proceedings in Theoretical Computer Science. 219, p. 33-48

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
2014

A Case for Embedded Natural Logic for Ontological Knowledge Bases

Andreasen, T. & Nilsson, J. F., 2014, In : Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development. 71

Research output: Contribution to journalConference articleResearchpeer-review

2013

A very brief introduction to hybrid logic and hybrid-logical proof-theory: Extended abstract of invited talk

Braüner, T., 2013, In : Electronic Proceedings in Theoretical Computer Science. 113, p. 3-4

Research output: Contribution to journalConference articleResearchpeer-review

2012

Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract

Gallagher, J. P., 2012, In : Lecture Notes in Computer Science. 7225, p. 1-3 3 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

Efficient tabling of structured data using indexing and program transformation

Have, C. T. & Christiansen, H., 23 Jan 2012, In : Lecture Notes in Computer Science. 7149, p. 93-107 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

Efficient tabling of structured data with enhanced hash-consing

Zhou, N-F. & Have, C. T., 1 Jul 2012, In : Theory and Practice of Logic Programming. 12, 4-5, p. 547-563 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

File
2011

A Semantics-Based Approach to Retrieving Biomedical Information

Andreasen, T., Bulskov, H., Lassen, T., Zambach, S., Jensen, P. A., Thomsen, H. E., Madsen, B. N. & Nilsson, J. F., 2011, In : Lecture Notes in Computer Science. 7022, p. 108-118

Research output: Contribution to journalConference articleResearchpeer-review

Extracting Conceptual Feature Structures from Text

Andreasen, T., Bulskov, H., Lassen, T. & Jensen, P. A., 1 Jun 2011, In : Lecture Notes in Computer Science. 6804, p. 396-406 11 p.

Research output: Contribution to journalConference articleResearchpeer-review

2010

Terminating Tableaux for Dynamic Epistemic Logics

Hansen, J. U., 2010, In : Electronical Notes in Theoretical Computer Science. p. 141-156 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

2009

Abductive Logic Grammars

Christiansen, H. & Dahl, V., 2009, In : Lecture Notes in Computer Science. p. 170-181

Research output: Contribution to journalConference articleResearchpeer-review

Adaptable Grammars for Non-Context-Free Languages

Christiansen, H., 2009, In : Lecture Notes in Computer Science. 5517, p. 488-503

Research output: Contribution to journalConference articleResearchpeer-review

A Formal Framework on the Semantics of Regulatory Relations and Their Presence as Verbs in Biomedical Texts

Zambach, S., 2009, In : Lecture Notes in Computer Science. p. 443-452 10 p.

Research output: Contribution to journalConference articleResearchpeer-review

Analysis of Linear Hybrid Systems in CLP

Banda, G. & Gallagher, J. P., 2009, In : Lecture Notes in Computer Science. p. 55-70 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Conceptual Indexing of Text Using Ontologies and Lexical Resources

Andreasen, T., Bulskov, H., Jensen, P. A. & Lassen, T., 2009, In : Lecture Notes in Computer Science. 5822, p. 323-332

Research output: Contribution to journalConference articleResearchpeer-review

Conceptual querying through ontologies

Andreasen, T. & Bulskov, H., 2009, In : Fuzzy Sets and Systems. 15, p. 2159-2172

Research output: Contribution to journalConference articleResearchpeer-review

From Monomorphic to Polymorphic Well-Typings and Beyond

Schrijvers, T., Bruynooghe, M. & Gallagher, J. P., 2009, In : Lecture Notes in Computer Science. p. 152-167 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

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

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

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

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

2008

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

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

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

2006

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