Programming, Logic and Intelligent Systems

Research Output 2006 2018

Filter
Journal 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 journalJournal articleResearchpeer-review

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

Braüner, T., Blackburn, P. R. & Polyanskaya, I. 2018 (Accepted/In press) In : Topics in Cognitive Science.

Research output: Contribution to journalJournal articleResearchpeer-review

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T. 2018 In : Journal of Logic and Computation. 28, 20, p. 883-908

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