Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Paper

Deductive Querying of Natural Logic Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 2019.

Publikation: KonferencebidragPaperForskningpeer review

Detecting and Diagnosing Energy Issues for Mobile Applications

Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2019, (Afsendt). 14 s.

Publikation: KonferencebidragPaperForskning

Internal complexity for exploratory interaction

Hobye, M., 28 maj 2019, (Accepteret/In press) s. 1-2. 2 s.

Publikation: KonferencebidragPaperForskningpeer review

Formal semantics for the Sally-Anne tasks

Braüner, T. & Blackburn, P. R., 2018, s. 16-27.

Publikation: KonferencebidragPaperForskningpeer review

Åben adgang
Fil
2017

Querying Natural Logic Knowledge Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 24 nov. 2017, s. 294-301. 8 s.

Publikation: KonferencebidragPaperForskningpeer 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 s.

Publikation: KonferencebidragPaperForskningpeer review

2015

A System for Conceptual Pathway Finding and Deductive Querying

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

Publikation: KonferencebidragPaperForskningpeer review

Second-order false-beliefs, language and logic

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

Publikation: KonferencebidragPaperForskningpeer review

Åben adgang
Fil
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 s.

Publikation: KonferencebidragPaperForskningpeer review

2011

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

Zambach, S. & Lassen, T., 25 okt. 2011. 6 s.

Publikation: KonferencebidragPaperForskningpeer review

Constraints and Global Optimization for Gene Prediction Overlap Resolution

Have, C. T., 12 sep. 2011. 8 s.

Publikation: KonferencebidragPaperForskningpeer review

Fil

Extended Set Constraints and Tree Grammar Abstraction of Programs

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

Publikation: KonferencebidragPaperForskning

Fil
2010

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

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

Publikation: KonferencebidragPaperForskningpeer review

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

Zambach, S., Holst, P. & Francker, Z. W., apr. 2010. 8 s.

Publikation: KonferencebidragPaperForskningpeer review

2009

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

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

Publikation: KonferencebidragPaperForskningpeer review

Åben adgang
Fil

Distinguish Dynamic Basic Blocks by Structural Statistical Testing

Petit, M. & Gotlieb, A., 2009.

Publikation: KonferencebidragPaperForskningpeer review

Åben adgang
Fil

Identifying and Indexing Text Meaning Using Lexical Resources

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

Publikation: KonferencebidragPaperForskningpeer review

Towards ontology based search and knowledgesharing using domain ontologies

Zambach, S., 2009. 8 s.

Publikation: KonferencebidragPaperForskning

2008

Optimization and evaluation of probabilistic-logic sequence models

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

Publikation: KonferencebidragPaperForskning

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Christiansen, H., 2008. 15 s.

Publikation: KonferencebidragPaperForskningpeer review