• Richard Petersens Plads, 322, 015

    2800 Kgs. Lyngby

    Denmark

1974 …9999
If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1977 2019

  • 41 Article in proceedings
  • 9 Book chapter
  • 4 Journal article
  • 2 Book

A Process Calculus for Design and Modeling of Retro-Synthesis

Broholm, G., Hammeken, M., Hansen, M. S., Juhl, A., Larsen, M. S., Nilsson, J. F., Pethick, T. & Sørensen, M. G., 2019, Information Modelling and Knowledge Bases XXX. IOS Press, p. 20 - 31 (Frontiers in Artificial Intelligence and Applications, Vol. 312).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access

Deductive Querying of Natural Logic Bases

Andreasen, T., Bulskov, H., Jensen, P. A. & Nilsson, J. F., 2019, Proceedings of International Conference on Flexible Query Answering Systems. Springer, p. 231-41 (Lecture Notes in Computer Science, Vol. 11529).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

A Natural Logic for Natural-language Knowledge Bases

Andreasen, T., Bulskov, H., Jensen, P. A. & Nilsson, J. F., 2017, Partiality and Underspecification in Information, Languages, and Knowledge. Christiansen, H., Jiménez López, M. D., Loukanova, R. & Moss, L. (eds.). Cambridge Scholars Press, p. 1-26 (Partiality and Underspecification in Information, Languages, and Knowledge).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

78 Downloads (Pure)

Pathway computation in models derived from bio-science text sources

Andreasen, T., Bulskov, H., Jensen, P. A. & Nilsson, J. F., 2017, Foundations of Intelligent Systems - 23rd International Symposium, ISMIS 2017, Proceedings. Springer Verlag, Vol. 10352. p. 424-434 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10352 LNAI).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Querying Natural Logic Knowledge Bases

Andreasen, T., Bulskov, H., Jensen, P. A. & Nilsson, J. F., 2017, Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KEOD 2017). SCITEPRESS Digital Library, p. 294-301 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Projects 1974 9999

Compositional logic programming

Nilsson, J. F. & Hamfelt, A.

01/12/200001/01/9999

Project: Research

Knowledge Base Methodology

Nilsson, J. F. & Bruun, H.

01/02/1995 → …

Project: Research

Logic Programming Methodology

Nilsson, J. F.

01/01/1995 → …

Project: Research

Formal Ontologies + Natural language semantics = Ontological semantics

Szymczak, B. A., Nilsson, J. F., Villadsen, J., Dybkjær, H., Lenci, A. & Jensen, P. A.

DTU, Samfinansiering

01/10/200722/06/2011

Project: PhD

Geodata-Infrastruktur

Christensen, J. V., Nilsson, J. F., Bjørner, D., Frederiksen, P., Jacobi, O. I., Villadsen, J., Andreasen, T. & Östman, A.

Ansat eksternt

01/02/200201/08/2007

Project: PhD