Filter
Book chapter

Search results

  • 2019

    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
  • 2017

    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

  • 2014

    IS-A diversified

    Nilsson, J. F., 2014, Information Modelling and Knowledge Bases XXV. IOS Press, p. 17-24 (Frontiers in Artificial Intelligence and Applications, Vol. 260).

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

  • 2013

    Diagrammatic Reasoning with Classes and Relationships

    Nilsson, J. F., 2013, Visual Reasoning with Diagrams. Moktefi, A. & Shin, S.-J. (eds.). Springer, p. 83-100 (Studies in Universal Logic).

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

  • 2009

    Logik, computere og kunstig intelligens

    Bolander, T., Nilsson, J. F. & Villadsen, J., 2009, Matematiske horisonter. Kgs. Lyngby: Technical University of Denmark, DTU Informatics, Building 321, p. 218-233

    Research output: Chapter in Book/Report/Conference proceedingBook chapterEducation

  • ONTOGRABBING: Extracting Information from Texts Using Generative Ontologies

    Nilsson, J. F., Szymczak, B. A. & Jensen, P. A., 2009, Flexible Query Answering Systems: 8th International Conference, Fqas 2009. Berlin: Springer, (Lecture Notes in Artificial Intelligence, Vol. 5822).

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

  • 2006

    Ontology-based Semantics for Prepositions

    Jensen, P. A. & Nilsson, J. F., 2006, Syntax and Semantics of Prepositions.

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

  • 2005

    Entity-Relationship Models reconsidered as Grammars and Algebras

    Nilsson, J. F. & Bruun, H., 2005, Information Modelling and Knowledge Bases XVI: Frontiers in Artificial Intelligence and Applications. IOS Press

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

  • 2004

    Synthesis of Programs in Computational Logic

    Basin, D., DeVille, Y., Flener, P., Hamfelt, A. & Nilsson, J. F., 2004, Program Development in Computational Logic. Bruynooghe, M. & Lau, K. (eds.). Springer Berlin Heidelberg, Vol. Lecture Notes in Computer Science, vol. 3049. p. 30-65 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3049).

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