Programming, Logic and Intelligent Systems

Research Output 2006 2018

Filter
Paper

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