Programmering, logik og intelligente systemer

Publikationer

Bidrag til bog/antologi

Logikkens muligheder og grænser: Om standse-problemet og Gödels sætninger

Braüner, T., 2015, Mening med tiden. Ploug, T. (red.). Aalborg: Aalborg Universitetsforlag, s. 49-66

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

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. (red.). University of Amsterdam, s. 238-263

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Natural language processing with (tabled and constraint) logic programming

Christiansen, H. & Dahl, V., 2018, Declarative Logic Programming: Theory, Systems, and Applications. Kifer, M. & Liu, Y. A. (red.). New York: Association for Computing Machinery, s. 477-511 35 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

On deriving data summarization through ontologies to meet user preferences

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Preface

Christiansen, H., 2014, Constraints and Language. Blache, P., Christiansen, H., Dahl, V., Duchier, D. & Villadsen, J. (red.). Cambridge Scholars Publishing, s. xv-xvi

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Query Expansion by Taxonomy

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

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

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Some remarks on Hybrid Modal Logic with Propositional Quantfiers

Blackburn, P. R., Braüner, T. & Kofod, J. L., 2019, (Accepteret/In press) The Metaphysics of Time. Aalborg Universitetsforlag, (Logic and Philosophy of Time - Themes from Prior, Bind 3).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Text summarization using ontologies

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Bog

Hybrid Logic and its Proof-Theory

Braüner, T., 2011, Springer Science+Business Media. 231 s. (Applied Logic Series, Bind 37).

Publikation: Bog/antologi/afhandling/rapportBog

Doktordisputats

Hybrid Logic and Its Proof-Theory

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

Publikation: Bog/antologi/afhandling/rapportDoktordisputats

Encyclopædiartikel

First-Order Modal Logic

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

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskning

Hybrid Logic

Braüner, T., 2017, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (red.). Stanford University

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskningpeer review

Åben adgang

Hybrid Logic

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

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskning

Hybrid Logic

Braüner, T., 2013, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (red.). 2 udg. Springer Science+Business Media, Bind 17. s. 1-77

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskningpeer review

Hybrid Logic (substantive revised version)

Braüner, T., 2011, The Stanford Encyclopedia of Philosophy. www: Stanford University

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskningpeer review

Forord/efterskrift

Preface

Bolander, T., Braüner, T., Ghilardi, S. & Moss, L., 2012, Advances in Modal Logic. Bolander, T. (red.). London: College Publications, Bind 9. s. viii-x

Publikation: Bidrag til bog/antologi/rapportForord/efterskriftForskningpeer review

Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011: Editorial

Gallagher, J. P. & Gelfond, M., jul. 2011, ICLP (Technical Communications). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Bind 11. (Leibniz International Proceedings in Informatics).

Publikation: Bidrag til bog/antologi/rapportForord/efterskriftForskning

Kompendium/lecture notes

Compendium to BK3: Theory of natural science

Braüner, T., Nielsen, S. L. & Niss, M., 2013, Roskilde. 156 s.

Publikation: Bog/antologi/afhandling/rapportKompendium/lecture notes

Digital signatur: En eksemplarisk analyse af en teknologis indre mekanismer og processer

Jørgensen, N., 17 dec. 2018, Roskilde: Roskilde Universitet. 58 s.

Publikation: Bog/antologi/afhandling/rapportKompendium/lecture notes

Kompendium til BK3: Naturvidenskabsteori og metoder i naturvidenskab

Braüner, T., Nielsen, S. L. & Niss, M., 2013, Roskilde. 194 s.

Publikation: Bog/antologi/afhandling/rapportKompendium/lecture notes

Konferenceabstrakt til konference

A political and technological anatomy of a mobile phone crack

Jørgensen, N., 2 sep. 2017.

Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

Everything I Touch Touches Me: Phenomenological qualities of tangible interactive interfaces within interaction design

Ranten, M. F., 2018.

Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

Second-order false-belief: a modal analysis

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2015.

Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

Second-order false-beliefs, language and autism: a pilot training study

Polyanskaya, I., Blackburn, P. R. & Braüner, T., 2015.

Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

The Design Researcher as Activist

Haldrup, M., Ranten, M. F., Hobye, M. & Padfield, N., jun. 2019.

Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

Towards Abstract Interpretation of Epistemic Logic

Ajspur, M. & Gallagher, J. P., aug. 2012. 3 s.

Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

Fil
Konferenceartikel

Abductive Logic Grammars

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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