Programming, Logic and Intelligent Systems

Research Output 2006 2019

Filter
Conference article
2018

An iterative approach to precondition inference using constrained Horn clauses

Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., Jul 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 553-570

Research output: Contribution to journalConference articleResearchpeer-review

File
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