Search results

  • 2024

    Advanced Query Functionalities in Natural Logic Knowledge Bases

    Andreasen, T., Bulskov, H. & Nilsson, J. F., 2024, In: International Journal of Computational Intelligence Systems. 17, 11 p., 96.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
    14 Downloads (Orbit)
  • 2023

    On Reducing Reasoning and Querying in Natural Logic to Database Querying

    Andreasen, T. (Editor), Bulskov, H. & Nilsson, J. F., 2023, Proceedings of the 15th International Conference on Flexible Query Answering System. Springer, Vol. 14113. p. 3-14

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

  • 2021

    Realization of a Natural Logic in a Database System

    Andreasen, T., Bulskov, H. & Nilsson, J. F., 2021, Flexible Query Answering Systems. Andreasen, T., De Tré, G., Kacprzyk, J., Legind Larsen, H., Bordogna, G. & Zadrożny, S. (eds.). Springer, p. 54-66 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12871 LNAI).

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

  • 2020

    A Cube of Opposition for Predicate Logic

    Nilsson, J. F., 1 Mar 2020, In: Logica Universalis. 14, 1, p. 103-114

    Research output: Contribution to journalJournal articleResearchpeer-review

  • A natural logic system for large knowledge bases

    Andreasen, T., Bulskov, H. & Fischer Nilsson, J., 16 Dec 2020, Information Modelling and Knowledge Bases XXXII. Tropmann-Frick, M., Thalheim, B., Jaakkola, H., Kiyoki, Y. & Yoshida, N. (eds.). IOS Press BV, p. 119-133 (Frontiers in Artificial Intelligence and Applications, Vol. 333).

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

    Open Access
    File
    90 Downloads (Orbit)
  • Natural logic knowledge bases and their graph form

    Andreasen, T., Bulskov, H., Jensen, P. A. & Nilsson, J. F., Sept 2020, In: Data and Knowledge Engineering. 129, 23 p., 101848.

    Research output: Contribution to journalJournal articleResearchpeer-review

  • On the Design of a Natural Logic System for Knowledge Bases

    Andreasen, T., Bulskov, H. & Nilsson, J. F., 2020, Foundations of Intelligent Systems. Helic, D., Stettinger, M., Felfernig, A., Leitner, G. & Ras, Z. W. (eds.). Springer, p. 413-421 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12117 LNAI).

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

    Open Access
    File
    90 Downloads (Orbit)
  • 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
  • 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
    86 Downloads (Orbit)
  • 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

  • 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
    272 Downloads (Orbit)
  • 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

  • 2016

    On the Relationship between a Computational Natural Logic and Natural Language

    Andreasen, T., Bulskov, H., Nilsson, J. F. & Jensen, P. A., 2016, Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016). Vol. 1. p. 335-342

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

  • 2015

    A System for Conceptual Pathway Finding and Deductive Querying

    Andreasen, T., Bulskov, H., Nilsson, J. F. & Jensen, P. A., 2015, Proceedings of the 11th International Conference on Flexible Query Answering Systems (FQAS 2015). Springer, p. 461-472 (Advances in Intelligent Systems and Computing, Vol. 400).

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

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

    Andreasen, T., Bulskov, H., Nilsson, J. F. & Jensen, P. A., 2015, Proceedings IWBBIO 2014. p. 217-226 10 p.

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

  • In Pursuit of Natural Logics for Ontology-Structured Knowledge Bases

    Nilsson, J. F., 2015, Proceedings of the 7th International Conference on Advanced Cognitive Technologies and Applications (COGNITIVE 2015). IARIA, p. 42-46

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

    Open Access
    File
    325 Downloads (Orbit)
  • 2014

    A Case for Embedded Natural Logic for Ontological Knowledge Bases

    Andreasen, T. & Nilsson, J. F., 2014, Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development (KOED 2014). SCITEPRESS Digital Library, p. 423-427 71

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

  • A System for Computing Conceptual Pathways in Bio-medical Text Models

    Andreasen, T., Bulskov, H., Nilsson, J. F. & Jensen, P. A., 2014, Foundations of Intelligent Systems. Andreasen, T., Christiansen, H., Cubero, J.-C. & Ras, Z. W. (eds.). Springer, p. 264-273 (Lecture Notes in Computer Science, Vol. 8502).

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

  • 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

  • Regaining the Square of Opposition in Formal Ontology Development

    Nilsson, J. F., 2014, Handbook of the world congress on the square of opposition iv . p. 85-86

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

    Open Access
    File
    71 Downloads (Orbit)
  • 2013

    Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases

    Andreasen, T., Bulskov, H., Nilsson, J. F., Anker Jensen, P. & Lassen, T., 2013, Flexible Query Answering Systems: 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Larsen, H. L., Martin-Bautista, M. J., Vila, M. A., Andreasen, T. & Christiansen, H. (eds.). Springer, p. 1-12 (Lecture Notes in Computer Science, Vol. 8132).

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

  • 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

  • 2011

    A Semantics-Based Approach to Retrieving Biomedical Information

    Andreasen, T., Bulskov, H., Zambach, S., Lassen, T., Madsen, B. N., Jensen, P. A., Thomsen, H. E. & Nilsson, J. F., 2011, Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, p. 108-118 (Lecture Notes in Artificial Intelligence, Vol. 7022).

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

  • Querying Class-Relationship Logic in a Metalogic Framework

    Nilsson, J. F., 2011, Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, p. 96-107 (Lecture Notes in Artificial Intelligence; No. 7022).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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

  • 2008

    A Common Framework for Board Games and Argumentation Games

    Lundström, J. E., Hamfelt, A. & Nilsson, J. F., 2008, Procs. of the 18th European-Japanese Conference Information Modelling and Knowledge Bases, Tsukuba, Japan, June 2-6, 2008. Kiyoki, Y. & Tokuda, T. (eds.). p. 317-328

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  • A rule-sceptic characterization of acceptable legal arguments

    Lundström, J. E., Hamfelt, A. & Nilsson, J. F., 2008, The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford University, California, USA. p. 283-284

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  • On Reducing Relationships to Property Ascriptions

    Nilsson, J. F., 2008, Proc. of the 18th European-Japanese Conference Information Modelling and Knowledge Bases, Tsukuba, Japan, June 2-6, 2008. Kiyoki, Y. & Tokuda, T. (eds.). Tsukuba, Japan, p. 249-256

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  • 2007

    Legal rules and argumentation in a metalogic framework

    Lundström, J. E., Hamfelt, A. & Nilsson, J. F., 2007, Legal Knowledge and Information Systems, JURIX 2007: The 20th Anniversary Int. Conference. Lodder, A. R. & Mommers, L. (eds.). IOS Press, p. 39-48 175 p.

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

  • 2006

    Ontological Constitutions for Classes and Properties

    Nilsson, J. F. (Invited author), 2006, 14th Int. Conf. on Conceptual Structures, ICCS 2006. Vol. Lecture Notes in Artificial Intelligence (LNAI), vol. 4068.

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

  • 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

    A metalogic formalization of legal argumentation as game trees with defeasible reasoning

    Nilsson, J. F., Lundstrøm, J. E. & Hamfelt, A., 2005, Proceedings of ICAIL'05, International Conference on AI and Law. ACM

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

  • Argumentation as a Metacognitive Skill of Passing Acceptance - a Case Study from a Scientific Dispute

    Nilsson, J. F., Eriksson, J. L. & Hamfelt, A., 2005, AAAI Spring Symposium on Metacognition in Computation. American Association of Artificial Intelligence

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

  • 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

    Conceptual Spaces and Ontological Semantics - Compositionality in Nominal Phrases

    Jensen, P. A. & Nilsson, J. F., 2004, Workshop on The Potential of Cognitive Semantics for Ontologies.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  • Content-based Text Querying with Ontological Descriptors

    Andreasen, T., Jensen, P. A., Nilsson, J. F., Paggio, P., Pedersen, B. S. & Thomsen, H. E., 2004, In: Data and Knowledge Engineering. 48, 2, p. 199-219

    Research output: Contribution to journalJournal articleResearchpeer-review

  • Entity-Relationship Models reconsidered as Grammars and Algebras

    Bruun, H. & Nilsson, J. F., 2004, 14th European-Japanese Conference on Information Modelling and Knowledge Bases.

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

  • Grammatical Specification of Domain Ontologies

    Andreasen, T. & Nilsson, J. F., 2004, In: Data & Knowledge Engineering. 48, 2, p. 221-230

    Research output: Contribution to journalJournal articleResearchpeer-review

  • 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

  • 2003

    Ontology-based Semantics for Prepositions

    Nilsson, J. F. & Jensen, P. A., 2003, ACM-SIGSEM Workshop on the Linguistic Dimension of Prepositions and their use in Computational Linguistics, Institut de Recherce en Informatique de Toulouse,. Institut de Recherce en Informatique de Toulouse, 2003 p.

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

  • 2002

    Are there Ontological Grammars?

    Nilsson, J. F., 2002, Information Modelling and Knowledge Bases, 8. p. 412-418

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

  • Concept Descriptions for text Search

    Nilsson, J. F., 2002, Information Modelling and Knowledge Bases XIII. p. 296-300

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

  • Ontological Extraction of Content for Text Querying

    Nilsson, J. F., Andreasen, T., Jensen, P. A., Paggio, P., Pedersen, B. S. & Thomsen, H. E., 2002, Pre-proceedings of NLDB 2002, 7th. Int. Workshop on Application of Natural Language to Information System. p. 123-136 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2553).

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

  • OntoQuery: Ontology-based Querying of Texts

    Nilsson, J. F., Andreasen, T., Jensen, P. A., Paggio, P., Pedersen, B. S. & Thomsen, H. E., 2002, AAAI Spring Symposium.

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

  • 2001

    A logico-algebraic framework for ontologies

    Nilsson, J. F., 2001, Ontology-based interpretation of noun phrases : proceedings of The First International OntoQuery Workshop. 32 p.

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

  • Concept descriptions for text search

    Nilsson, J. F., 2001, 11th European-japanese Conference on Information Modelling and Knowledge Bases. 5 p.

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

  • Generative ontologies, ontological types, and conceptual grammars, in ontologies and search

    Nilsson, J. F., 2001, Second International OntoQuery Workshop. Institut for Datalingvistik, 7 p.

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

  • Logic program synthesis as problem reduction using combining forms

    Nilsson, J. F., Hamfelt, A. & Oldager, S. N., 2001, In: Automated Software Engineering. 8, 2, p. 167-193

    Research output: Contribution to journalJournal articleResearchpeer-review

  • 2000

    Approaches to Concept Based Exploration of Information Sources

    Haav, H. & Nilsson, J. F., 2000, Knowledge Discovery for Business Information Systems. Kluwer

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