Programming, Logic and Intelligent Systems

Research Output 2006 2018

Filter
Paper
2018

Formal semantics for the Sally-Anne tasks

Braüner, T. & Blackburn, P. R. 2018 (Accepted/In press)

Research output: Contribution to conferencePaperResearchpeer-review

2016

On the Relationship between a Computational Natural Logic and Natural Language

Andreasen, T., Styltsvig, H. B., Fischer Nilsson, J. & Jensen, P. A. 2016 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

2015

A System for Conceptual Pathway Finding and Deductive Querying

Andreasen, T., Styltsvig, H. B., Fischer Nilsson, J. & Jensen, P. A. 2015 12 p.

Research output: Contribution to conferencePaperResearchpeer-review

Second-order false-beliefs, language and logic

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

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
2014

Computing Pathways in Bio-Models Derived from Bio-Science Text Sources

Andreasen, T., Styltsvig, H. B., Nilsson, J. F. & Jensen, P. A. 17 Apr 2014 10 p.

Research output: Contribution to conferencePaperResearchpeer-review

2011

A Lexical Framework for Semantic Annotation of Positive and Negative Regulation Relations in Biomedical Pathways

Zambach, S. & Lassen, T. 25 Oct 2011 6 p.

Research output: Contribution to conferencePaperResearchpeer-review

Constraints and Global Optimization for Gene Prediction Overlap Resolution

Have, C. T. 12 Sep 2011 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

File

Extended Set Constraints and Tree Grammar Abstraction of Programs

Rosendahl, M. & Gallagher, J. P. 2011 12 p.

Research output: Contribution to conferencePaperResearch

File
2010

Ontology-based retrieval of bio-medical information based on microarray text corpora

Hansen, K. A., Zambach, S. & Have, C. T. 2010

Research output: Contribution to conferencePaperResearchpeer-review

Using Corporate Social Responsibility strategy with a climate focus for Enterprise Systems

Zambach, S., Holst, P. & Francker, Z. W. Apr 2010 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

2009

Constraint-Based Abstraction of a Model Checker for Infinite State Systems

Banda, G. & Gallagher, J. P. 2009 16 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Distinguish Dynamic Basic Blocks by Structural Statistical Testing

Petit, M. & Gotlieb, A. 2009

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Identifying and Indexing Text Meaning Using Lexical Resources

Andreasen, T., Bulskov, H., Jensen, P. A. & Lassen, T. 2009

Research output: Contribution to conferencePaperResearchpeer-review

Towards ontology based search and knowledgesharing using domain ontologies

Zambach, S. 2009 8 p.

Research output: Contribution to conferencePaperResearch

2008

Optimization and evaluation of probabilistic-logic sequence models

Christiansen, H. & Lassen, O. T. 2008 9 p.

Research output: Contribution to conferencePaperResearch

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Christiansen, H. 2008 15 p.

Research output: Contribution to conferencePaperResearchpeer-review