Jørgen Fischer Nilsson

56 papers B 2C 30Misc 2Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2025 C conf
Knowledge Graphs and Natural Logic.
FQAS
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
2024 J jnl
Advanced Query Functionalities in Natural Logic Knowledge Bases.
Int. J. Comput. Intell. Syst.
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
2023 C conf
On Reducing Reasoning and Querying in Natural Logic to Database Querying.
FQAS
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
2021 C conf
Realization of a Natural Logic in a Database System.
FQAS
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
2020 J jnl
A Cube of Opposition for Predicate Logic.
Logica Universalis
Jørgen Fischer Nilsson
2020 C conf
A Natural Logic System for Large Knowledge Bases.
EJC
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
2020 J jnl
Natural logic knowledge bases and their graph form.
Data Knowl. Eng.
Troels Andreasen, Henrik Bulskov, Per Anker Jensen, Jørgen Fischer Nilsson
2020 C conf
On the Design of a Natural Logic System for Knowledge Bases.
ISMIS
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
2019 C conf
Deductive Querying of Natural Logic Bases.
FQAS
Troels Andreasen, Henrik Bulskov, Per Anker Jensen, Jørgen Fischer Nilsson
2018 C conf
A Process Calculus for Design and Modeling of Retro-Synthesis.
EJC
Gabriel Broholm, Maliina B. S. Hammeken, Marcus Skov Hansen, Alexander Juhl, Marc Storm Larsen, Jørgen Fischer Nilsson, Thomas M. Pethick, Magnus Gether Sørensen
2017 C conf
Pathway Computation in Models Derived from Bio-Science Text Sources.
ISMIS
Troels Andreasen, Henrik Bulskov, Per Anker Jensen, Jørgen Fischer Nilsson
2017 C conf
Querying Natural Logic Knowledge Bases.
KEOD
Troels Andreasen, Henrik Bulskov, Per Anker Jensen, Jørgen Fischer Nilsson
2016 — conf
On the Relationship between a Computational Natural Logic and Natural Language.
ICAART (1)
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson, Per Anker Jensen
2015 C conf
A System for Conceptual Pathway Finding and Deductive Querying.
FQAS
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson, Per Anker Jensen
2014 C conf
A Case for Embedded Natural Logic for Ontological Knowledge Bases.
KEOD
Troels Andreasen, Jørgen Fischer Nilsson
2014 C conf
A System for Computing Conceptual Pathways in Bio-medical Text Models.
ISMIS
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson, Per Anker Jensen
2014 — conf
Computing Pathways in Bio-Models Derived from Bio-Science Text Sources.
IWBBIO
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson, Per Anker Jensen
2013 C conf
Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases.
FQAS
Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson, Per Anker Jensen, Tine Lassen
2013 — ch.
Diagrammatic Reasoning with Classes and Relationships.
Visual Reasoning with Diagrams
Jørgen Fischer Nilsson
2013 C conf
IS-A Diversified.
EJC
Jørgen Fischer Nilsson
2011 C conf
A Semantics-Based Approach to Retrieving Biomedical Information.
FQAS
Troels Andreasen, Henrik Bulskov, Sine Zambach, Tine Lassen, Bodil Nistrup Madsen, Per Anker Jensen, Hanne Erdman Thomsen, Jørgen Fischer Nilsson
2011 C conf
Querying Class-Relationship Logic in a Metalogic Framework.
FQAS
Jørgen Fischer Nilsson
2009 C conf
ONTOGRABBING: Extracting Information from Texts Using Generative Ontologies.
FQAS
Jørgen Fischer Nilsson, Bartlomiej Antoni Szymczak, Per Anker Jensen
2009 C conf
SIABO - Semantic Information Access through Biomedical Ontologies.
KEOD
Troels Andreasen, Henrik Bulskov, Tine Lassen, Sine Zambach, Per Anker Jensen, Bodil Nistrup Madsen, Hanne Erdman Thomsen, Jørgen Fischer Nilsson, Bartlomiej Antoni Szymczak
2008 C conf
A Common Framework for Board Games and Argumentation Games.
EJC
Jenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt
2008 C conf
On Reducing Relationships to Property Ascriptions.
EJC
Jørgen Fischer Nilsson
2007 C conf
A rule-sceptic characterization of acceptable legal arguments.
ICAIL
Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson
2007 C conf
Legal rules and argumentation in a metalogic framework.
JURIX
Jenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt
2006 Misc conf
Ontological Constitutions for Classes and Properties.
ICCS
Jørgen Fischer Nilsson
2005 C conf
A metalogical formalisation of legal argumentation as game trees with defeasible reasoning.
ICAIL
Andreas Hamfelt, Jenny Eriksson Lundström, Jørgen Fischer Nilsson
2005 — conf
Argumentation as a metacognitive skill of passing acceptance.
AAAI Spring Symposium: Metacognition in Computation
Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson
2004 J jnl
Content-based text querying with ontological descriptors.
Data Knowl. Eng.
Troels Andreasen, Per Anker Jensen, Jørgen Fischer Nilsson, Patrizia Paggio, Bolette Sandford Pedersen, Hanne Erdman Thomsen
2004 J jnl
Grammatical specification of domain ontologies.
Data Knowl. Eng.
Troels Andreasen, Jørgen Fischer Nilsson
2004 — ch.
Synthesis of Programs in Computational Logic.
Program Development in Computational Logic
David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson
2002 C conf
Ontological Extraction of Content for Text Querying.
NLDB
Troels Andreasen, Per Anker Jensen, Jørgen Fischer Nilsson, Patrizia Paggio, Bolette Sandford Pedersen, Hanne Erdman Thomsen
2001 J jnl
Logic Program Synthesis as Problem Reduction Using Combining Forms.
Autom. Softw. Eng.
Andreas Hamfelt, Jørgen Fischer Nilsson, Nikolaj Oldager
2000 C conf
Ontology-Based Querying.
FQAS
Troels Andreasen, Jørgen Fischer Nilsson, Hanne Erdman Thomsen
1999 C conf
A Conceptual Space Logic.
EJC
Jørgen Fischer Nilsson
1999 Misc conf
Conceptual Graphs as Algebras - With an Application to Analogical Reasoning.
ICCS
Torben Braüner, Jørgen Fischer Nilsson, Anne Rasmussen
1998 C conf
Inducing Queries from Examples as Concept Formation.
EJC
Jørgen Fischer Nilsson, Hele-Mai Haav
1998 C conf
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.
LOPSTR
Andreas Hamfelt, Jørgen Fischer Nilsson
1997 J jnl
Towards a Logic Programming Methodology Based on Higher-Order Predicates.
New Gener. Comput.
Andreas Hamfelt, Jørgen Fischer Nilsson
1996 — conf
Declarative Logic Programming with Primitive Recursive Relations on Lists.
JICSLP
Andreas Hamfelt, Jørgen Fischer Nilsson
1996 C conf
Fuzzy Querying Using Concept Object Algebra.
FQAS
Jørgen Fischer Nilsson, Henrik Legind Larsen
1995 — conf
Constructing Logic Programs with Higher-Order Predicates.
GULP-PRODE
Jørgen Fischer Nilsson, Andreas Hamfelt
1995 B conf
Constructing Logic Programs with Higher-Order Predicates.
ICLP
Jørgen Fischer Nilsson, Andreas Hamfelt
1994 C conf
Relational Data Base Model Simplified and Generalized As Algebraic Lattice with Attribution.
FQAS
Jørgen Fischer Nilsson
1992 — conf
Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST.
FGCS
Dines Bjørner, Jørgen Fischer Nilsson
1992 — conf
Concept object algebra for knowledge bases.
CNKBS
Jørgen Fischer Nilsson
1989 — conf
A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators.
SCAI
Jørgen Fischer Nilsson
1989 — conf
Knowledge Base Property Combinator Logic.
IFIP Congress
Jørgen Fischer Nilsson
1984 — ch.
Formal Vienna-Definition-Method Models of Prolog.
Implementations of Prolog
Jørgen Fischer Nilsson
1983 — conf
On the Compilation of a Domain-Based Prolog.
IFIP Congress
Jørgen Fischer Nilsson
1982 B conf
A Comparison of the Logic Programming Language Prolog with Two-levels Grammars.
ICLP
Jan Maluszynski, Jørgen Fischer Nilsson
1982 J jnl
Grammatical Unification.
Inf. Process. Lett.
Jan Maluszynski, Jørgen Fischer Nilsson
1979 J jnl
An Access Specification Language for a Relational Data Base System.
IBM J. Res. Dev.
Raymond A. Lorie, Jørgen Fischer Nilsson