Programming, Logic and Intelligent Systems

Research Output 2006 2018

Filter
Journal article
2018

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T. 2018 In : Journal of Logic and Computation.

Research output: Contribution to journalJournal articleResearchpeer-review

Optimised determinisation and completion of finite tree automata

Gallagher, J. P., Ajspur, M. & Kafle, B. Jan 2018 In : Journal of Logic and Algebraic Programming. 95, p. 1-16

Research output: Contribution to journalJournal articleResearchpeer-review

Tree dimension in verification of constrained Horn clauses

Kafle, B., Gallagher, J. P. & Ganty, P. 2018 In : Theory and Practice of Logic Programming. 18, 2, p. 224-251

Research output: Contribution to journalJournal articleResearchpeer-review

2017

Anden-ordens false belief og sproglig rekursion hos børn med Autisme Spektrum Forstyrrelser

Polyanskaya, I. Jun 2017 In : Dansk Audiologopædi. 53, 2, p. 4-9 6 p., 1

Research output: Contribution to journalJournal articleCommunication

Open Access
File

Completeness and Termination for a Seligman-style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F. 2017 In : Journal of Logic and Computation. 27, 1, p. 81-107

Research output: Contribution to journalJournal articleResearchpeer-review

Constraint specialisation in Horn clause verification

Kafle, B. & Gallagher, J. P. 1 Apr 2017 In : Science of Computer Programming. 137, p. 125-140

Research output: Contribution to journalJournal articleResearchpeer-review

Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

Kafle, B. & Gallagher, J. P. Jan 2017 In : Computer Languages, Systems and Structures. 47, Part 1, p. 2-18

Research output: Contribution to journalJournal articleResearchpeer-review

Interactive Installations for Spatial Access to Artistic Sketchbooks

Christiansen, H. & Laursen, B. 2017 In : EAI Endrosed Trasactions on Creative Technologies. 4, 12, 8 p., e3

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

On proving confluence modulo equivalence for Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H. 2017 In : Formal Aspects of Computing. 29, 1, p. 57-95

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Theory of Mind, linguistic recursion and autism spectrum disorder

Polyanskaya, I., Blackburn, P. R. & Braüner, T. 2017 In : Beyond Philology. 14, 1, p. 69-95 26 p., 5

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
2016

ENTRA: Whole-systems energy transparency

Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M. 2016 In : Microprocessors and Microsystems. 47, Part B, p. 278-286

Research output: Contribution to journalJournal articleResearchpeer-review

File

Probabilistic Resource Analysis by Program Transformation

Kirkeby, M. H. & Rosendahl, M. 2016 In : Lecture Notes in Computer Science. 9964, p. 60-80

Research output: Contribution to journalJournal articleResearchpeer-review

Sprog og socialkognition

Polyanskaya, I. 2016 In : Autismebladet. 2, p. 14-17

Research output: Contribution to journalJournal articleCommunication

Open Access
2015

Solving the equality generalized traveling salesman problem using the Lin–Kernighan–Helsgaun Algorithm

Helsgaun, K. Sep 2015 In : Mathematical Programming Computation. 7, 3, p. 269-287 19 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2014

Analysis and Transformation Tools for Constrained Horn Clause Verification

Kafle, B. & Gallagher, J. P. 21 Jul 2014 In : Theory and Practice of Logic Programming. 14, 4-5, p. 90-101 12 p., 4-5

Research output: Contribution to journalJournal articleResearchpeer-review

File

First-Order Hybrid Logic: Introduction and Survey

Braüner, T. 2014 In : Logic Journal of the IGPL. 22, 1, p. 155-165

Research output: Contribution to journalJournal articleResearchpeer-review

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks

Braüner, T. 2014 In : Journal of Logic, Language and Information. 23, 4, p. 415-439

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
2013

Abstract Interpretation as a Programming Language

Rosendahl, M. 2013 In : Electronic Proceedings in Theoretical Computer Science. 129, p. 84-104

Research output: Contribution to journalJournal articleResearchpeer-review

Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrroly-sine containing genes

Have, C. T., Zambach, S. & Christiansen, H. 2013 In : B M C Bioinformatics. 14, 1, 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Summarization by domain ontology navigation

Andreasen, T. & Bulskov, H. 15 Jan 2013 In : International Journal of Intelligent Systems. 28, 1, p. 72-92 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2011

A Hybrid Public Announcement Logic with Distributed Knowledge

Hansen, J. U. 8 Jul 2011 In : Electronic Notes in Theoretical Computer Science. 273, p. 33-50

Research output: Contribution to journalJournal articleResearchpeer-review

Intuitionistic hybrid logic: Introduction and survey

Braüner, T. 2011 In : Information and Computation. 209, 2, p. 1437-1446

Research output: Contribution to journalJournal articleResearchpeer-review

2010

A uniform random test data generator for path testing

Gotlieb, A. & Petit, M. 2010 In : Journal of Systems and Software. 83, 12, p. 2618-2626

Research output: Contribution to journalJournal articleResearchpeer-review

Hybrid-logik: fra filosofi til datalogi

Braüner, T. 2010 In : Aktuel Naturvidenskab. 2, p. 40-43

Research output: Contribution to journalJournal articleCommunication

Inference with constrained hidden Markov models in PRISM

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M. 2010 In : Theory and Practice of Logic Programming. 10, 4-6, p. 449-464 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2009

Certification of an optimal TSP tour through 85,900 cities

Applegate, D. L., Bixby, R. E., Chvatal, V., Cook, W., Espinoza, D. G., Goycoolea, M. & Helsgaun, K. 2009 In : Operations Research Letters. 37, 1, p. 11-15 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Consistency and Clarity in Chemical Concepts: How to Achieve a Codified Chemical Terminology - A Pilot Study

Damhus, T., Olesen Larsen, P., Madsen, B. N. & Zambach, S. 2009 In : Chemistry International. 31, 5, p. 6-11 6 p.

Research output: Contribution to journalJournal articleResearch

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Christiansen, H. 2009 In : Journal of Applied Logic. 7, 3, p. 341-362

Research output: Contribution to journalJournal articleResearchpeer-review

General k-opt submoves for the Lin-Kernighan TSP heuristic

Helsgaun, K. 2009 In : Mathematical Programming Computation. 1, 2-3, p. 119-163

Research output: Contribution to journalJournal articleResearchpeer-review

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

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

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

2007

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

Termination analysis of logic programs through combination of type-based norms

Bruynooghe, M., Codish, M., Gallagher, J. P., Genaim, S. & Vanhoof, W. 2007 In : ACM Transactions on Programming Languages and Systems. 29, 2, 44 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Why does the Proof-Theory of Hybrid Logic Work so Well?

Braüner, T. 2007 In : Journal of Applied Non-Classical Logics. 17, 4, p. 521-543 23 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2006

Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Braüner, T. 2006 In : Journal of Logic, Language and Information. 15, 3, p. 179-194 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Introduction

Christiansen, H. & Hacid, M-S. 2006 In : Journal of Intelligent Information Systems. 26, 1, p. 5-6 2 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Intuitionistic Hybrid Logic

Braüner, T. & de Paiva, V. 2006 In : Journal of Applied Logic. 4, 3, p. 231-255 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Logikkens Muligheder og Grænser

Braüner, T. 2006 In : Aktuel Naturvidenskab. 6, p. 32-34 3 p.

Research output: Contribution to journalJournal articleCommunication

On Simplification of Database Integrity Constraints

Christiansen, H. & Martinenghi, D. 2006 In : Fundamenta Informaticae. 71, p. 1-47 47 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Tableau-Based Decision Procedures for Hybrid Logic

Braüner, T. & Bolander, T. 2006 In : Journal of Logic and Computation. 16, 6, p. 737-763 27 p.

Research output: Contribution to journalJournal articleResearchpeer-review