Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Tidsskriftartikel
2019

Behavioral Complexity as a Computational Material Strategy

Hobye, M. & Ranten, M. F., 10 maj 2019, (Accepteret/In press) I : International Journal of Design. 35 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2018

Many-Valued Hybrid Logic

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil

Optimised determinisation and completion of finite tree automata

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Tree dimension in verification of constrained Horn clauses

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
2017

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

Polyanskaya, I., jun. 2017, I : Dansk Audiologopædi. 53, 2, s. 4-9 6 s., 1.

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Åben adgang
Fil

Completeness and Termination for a Seligman-style Tableau System

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil

Constraint specialisation in Horn clause verification

Kafle, B. & Gallagher, J. P., 1 apr. 2017, I : Science of Computer Programming. 137, s. 125-140

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Kafle, B. & Gallagher, J. P., jan. 2017, I : Computer Languages, Systems and Structures. 47, Part 1, s. 2-18

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Interactive Installations for Spatial Access to Artistic Sketchbooks

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang

On proving confluence modulo equivalence for Constraint Handling Rules

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang

Theory of Mind, linguistic recursion and autism spectrum disorder

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
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, I : Microprocessors and Microsystems. 47, Part B, s. 278-286

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil

Probabilistic Resource Analysis by Program Transformation

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Sprog og socialkognition

Polyanskaya, I., 2016, I : Autismebladet. 2, s. 14-17

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Åben adgang
2015

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

Helsgaun, K., sep. 2015, I : Mathematical Programming Computation. 7, 3, s. 269-287 19 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2014

Analysis and Transformation Tools for Constrained Horn Clause Verification

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil

First-Order Hybrid Logic: Introduction and Survey

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
2013

Abstract Interpretation as a Programming Language

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, I : B M C Bioinformatics. 14, 1, 12 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Summarization by domain ontology navigation

Andreasen, T. & Bulskov, H., 15 jan. 2013, I : International Journal of Intelligent Systems. 28, 1, s. 72-92 21 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2011

A Hybrid Public Announcement Logic with Distributed Knowledge

Hansen, J. U., 8 jul. 2011, I : Electronic Notes in Theoretical Computer Science. 273, s. 33-50

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Intuitionistic hybrid logic: Introduction and survey

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2010

A uniform random test data generator for path testing

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Hybrid-logik: fra filosofi til datalogi

Braüner, T., 2010, I : Aktuel Naturvidenskab. 2, s. 40-43

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Inference with constrained hidden Markov models in PRISM

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, I : Operations Research Letters. 37, 1, s. 11-15 6 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, I : Chemistry International. 31, 5, s. 6-11 6 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

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

Christiansen, H., 2009, I : Journal of Applied Logic. 7, 3, s. 341-362

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Helsgaun, K., 2009, I : Mathematical Programming Computation. 1, 2-3, s. 119-163

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Type-based homeomorphic embedding for online termination

Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G., 2009, I : Information Processing Letters. 109, 15, s. 879-886 8 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Type-safe pattern combinators

Rhiger, M., 2009, I : Journal of Functional Programming. 19, 2, s. 145156

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2008

Adding intensional machinery to hybrid logic

Braüner, T., 2008, I : Journal of Logic and Computation. 18, 4, s. 631-648 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules

Christiansen, H., 2008, I : Lecture Notes in Computer Science. 5388, s. 85-118

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2007

On Browsing Domain Ontologies for Information Base Content

Andreasen, T. & Styltsvig, H. B., 2007, I : Lecture Notes in Computer Science. 4529, s. 135-144

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2006

Axioms for classical, intuitionistic, and paraconsistent hybrid logic

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Introduction

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Intuitionistic Hybrid Logic

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Logikkens Muligheder og Grænser

Braüner, T., 2006, I : Aktuel Naturvidenskab. 6, s. 32-34 3 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

On Simplification of Database Integrity Constraints

Christiansen, H. & Martinenghi, D., 2006, I : Fundamenta Informaticae. 71, s. 1-47 47 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Tableau-Based Decision Procedures for Hybrid Logic

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review