Programming, Logic and Intelligent Systems

Research Output 2006 2019

Filter
Journal article
2019

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

Kirkeby, M. H. & Christiansen, H., 2019, In : International Journal of Approximate Reasoning. 105, p. 217-228

Research output: Contribution to journalJournal articleResearchpeer-review

Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

Braüner, T., 2019, (Accepted/In press) In : Logic and Logical Philosophy.

Research output: Contribution to journalJournal articleResearchpeer-review

2018

Many-Valued Hybrid Logic

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Optimised determinisation and completion of finite tree automata

Gallagher, J. P., Ajspur, M. & Kafle, B., 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

Open Access
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

Open Access
File

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