Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Konferenceartikel
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, I : Theory and Practice of Logic Programming. 18, 3-4, s. 553-570

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil
2016

Interpolant tree automata and their application in Horn clause verification

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

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

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil
2014

A Case for Embedded Natural Logic for Ontological Knowledge Bases

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2013
2012

Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil

Efficient tabling of structured data using indexing and program transformation

Have, C. T. & Christiansen, H., 23 jan. 2012, I : Lecture Notes in Computer Science. 7149, s. 93-107 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil

Efficient tabling of structured data with enhanced hash-consing

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil
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, I : Lecture Notes in Computer Science. 7022, s. 108-118

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Extracting Conceptual Feature Structures from Text

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2010

Terminating Tableaux for Dynamic Epistemic Logics

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2009

Abductive Logic Grammars

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Adaptable Grammars for Non-Context-Free Languages

Christiansen, H., 2009, I : Lecture Notes in Computer Science. 5517, s. 488-503

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

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

Zambach, S., 2009, I : Lecture Notes in Computer Science. s. 443-452 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Analysis of Linear Hybrid Systems in CLP

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Conceptual Indexing of Text Using Ontologies and Lexical Resources

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Conceptual querying through ontologies

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

From Monomorphic to Polymorphic Well-Typings and Beyond

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Logic-Statistic Models with Constraints for Biological Sequence Analysis

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil

Non-Discriminating Arguments and Their Uses

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Terminating tableaux for dynamic epistemic logics

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2008

Introduction to Constraints and Language Processing

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskning

Ontological summaries through hierarchical clustering

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2006

Converting One Type-Based Abstract Domain to Another

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil