![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Jørgen Fischer Nilsson
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j9]Troels Andreasen
, Henrik Bulskov, Jørgen Fischer Nilsson
:
Advanced Query Functionalities in Natural Logic Knowledge Bases. Int. J. Comput. Intell. Syst. 17(1): 96 (2024) - 2020
- [j8]Troels Andreasen, Henrik Bulskov, Per Anker Jensen, Jørgen Fischer Nilsson
:
Natural logic knowledge bases and their graph form. Data Knowl. Eng. 129: 101848 (2020) - [j7]Jørgen Fischer Nilsson
:
A Cube of Opposition for Predicate Logic. Logica Universalis 14(1): 103-114 (2020) - 2004
- [j6]Troels Andreasen, Per Anker Jensen, Jørgen Fischer Nilsson, Patrizia Paggio
, Bolette Sandford Pedersen, Hanne Erdman Thomsen:
Content-based text querying with ontological descriptors. Data Knowl. Eng. 48(2): 199-219 (2004) - [j5]Troels Andreasen, Jørgen Fischer Nilsson:
Grammatical specification of domain ontologies. Data Knowl. Eng. 48(2): 221-230 (2004) - 2001
- [j4]Andreas Hamfelt, Jørgen Fischer Nilsson, Nikolaj Oldager:
Logic Program Synthesis as Problem Reduction Using Combining Forms. Autom. Softw. Eng. 8(2): 167-193 (2001) - 1997
- [j3]Andreas Hamfelt, Jørgen Fischer Nilsson:
Towards a Logic Programming Methodology Based on Higher-Order Predicates. New Gener. Comput. 15(4): 421-448 (1997) - 1982
- [j2]Jan Maluszynski, Jørgen Fischer Nilsson:
Grammatical Unification. Inf. Process. Lett. 15(4): 150-158 (1982) - 1979
- [j1]Raymond A. Lorie, Jørgen Fischer Nilsson:
An Access Specification Language for a Relational Data Base System. IBM J. Res. Dev. 23(3): 286-298 (1979)
Conference and Workshop Papers
- 2023
- [c43]Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
:
On Reducing Reasoning and Querying in Natural Logic to Database Querying. FQAS 2023: 3-14 - 2021
- [c42]Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
:
Realization of a Natural Logic in a Database System. FQAS 2021: 54-66 - 2020
- [c41]Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
:
A Natural Logic System for Large Knowledge Bases. EJC 2020: 119-133 - [c40]Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
:
On the Design of a Natural Logic System for Knowledge Bases. ISMIS 2020: 413-421 - 2019
- [c39]Troels Andreasen, Henrik Bulskov, Per Anker Jensen, Jørgen Fischer Nilsson
:
Deductive Querying of Natural Logic Bases. FQAS 2019: 231-241 - 2018
- [c38]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:
A Process Calculus for Design and Modeling of Retro-Synthesis. EJC 2018: 20-31 - 2017
- [c37]Troels Andreasen, Henrik Bulskov, Per Anker Jensen, Jørgen Fischer Nilsson
:
Querying Natural Logic Knowledge Bases. KEOD 2017: 294-301 - [c36]Troels Andreasen, Henrik Bulskov, Per Anker Jensen, Jørgen Fischer Nilsson
:
Pathway Computation in Models Derived from Bio-Science Text Sources. ISMIS 2017: 424-434 - 2016
- [c35]Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson, Per Anker Jensen:
On the Relationship between a Computational Natural Logic and Natural Language. ICAART (1) 2016: 335-342 - 2015
- [c34]Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
, Per Anker Jensen:
A System for Conceptual Pathway Finding and Deductive Querying. FQAS 2015: 461-472 - 2014
- [c33]Troels Andreasen, Jørgen Fischer Nilsson
:
A Case for Embedded Natural Logic for Ontological Knowledge Bases. KEOD 2014: 423-427 - [c32]Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
, Per Anker Jensen:
A System for Computing Conceptual Pathways in Bio-medical Text Models. ISMIS 2014: 264-273 - [c31]Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson, Per Anker Jensen:
Computing Pathways in Bio-Models Derived from Bio-Science Text Sources. IWBBIO 2014: 217-226 - 2013
- [c30]Jørgen Fischer Nilsson
:
IS-A Diversified. EJC 2013: 17-24 - [c29]Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
, Per Anker Jensen, Tine Lassen:
Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases. FQAS 2013: 1-12 - 2011
- [c28]Jørgen Fischer Nilsson
:
Querying Class-Relationship Logic in a Metalogic Framework. FQAS 2011: 96-107 - [c27]Troels Andreasen, Henrik Bulskov, Sine Zambach, Tine Lassen, Bodil Nistrup Madsen, Per Anker Jensen, Hanne Erdman Thomsen, Jørgen Fischer Nilsson
:
A Semantics-Based Approach to Retrieving Biomedical Information. FQAS 2011: 108-118 - 2009
- [c26]Jørgen Fischer Nilsson, Bartlomiej Antoni Szymczak, Per Anker Jensen:
ONTOGRABBING: Extracting Information from Texts Using Generative Ontologies. FQAS 2009: 275-286 - [c25]Troels Andreasen, Henrik Bulskov, Tine Lassen, Sine Zambach, Per Anker Jensen, Bodil Nistrup Madsen, Hanne Erdman Thomsen, Jørgen Fischer Nilsson, Bartlomiej Antoni Szymczak:
SIABO - Semantic Information Access through Biomedical Ontologies. KEOD 2009: 171-176 - 2008
- [c24]Jørgen Fischer Nilsson:
On Reducing Relationships to Property Ascriptions. EJC 2008: 245-252 - [c23]Jenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt:
A Common Framework for Board Games and Argumentation Games. EJC 2008: 309-320 - 2007
- [c22]Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson:
A rule-sceptic characterization of acceptable legal arguments. ICAIL 2007: 283-284 - [c21]Jenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt:
Legal rules and argumentation in a metalogic framework. JURIX 2007: 39-48 - 2006
- [c20]Jørgen Fischer Nilsson:
Ontological Constitutions for Classes and Properties. ICCS 2006: 37-53 - 2005
- [c19]Andreas Hamfelt, Jenny Eriksson Lundström, Jørgen Fischer Nilsson:
A metalogical formalisation of legal argumentation as game trees with defeasible reasoning. ICAIL 2005: 250-251 - [c18]Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson:
Argumentation as a metacognitive skill of passing acceptance. AAAI Spring Symposium: Metacognition in Computation 2005: 74-79 - 2002
- [c17]Troels Andreasen, Per Anker Jensen, Jørgen Fischer Nilsson, Patrizia Paggio
, Bolette Sandford Pedersen, Hanne Erdman Thomsen:
Ontological Extraction of Content for Text Querying. NLDB 2002: 123-136 - 2000
- [c16]Troels Andreasen, Jørgen Fischer Nilsson, Hanne Erdman Thomsen:
Ontology-Based Querying. FQAS 2000: 15-26 - 1999
- [c15]Jørgen Fischer Nilsson:
A Conceptual Space Logic. EJC 1999: 26-40 - [c14]Torben Braüner, Jørgen Fischer Nilsson, Anne Rasmussen:
Conceptual Graphs as Algebras - With an Application to Analogical Reasoning. ICCS 1999: 456-469 - 1998
- [c13]Jørgen Fischer Nilsson, Hele-Mai Haav:
Inducing Queries from Examples as Concept Formation. EJC 1998: 103-114 - [c12]Andreas Hamfelt, Jørgen Fischer Nilsson:
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. LOPSTR 1998: 143-158 - 1996
- [c11]Jørgen Fischer Nilsson, Henrik Legind Larsen:
Fuzzy Querying Using Concept Object Algebra. FQAS 1996: 75-87 - [c10]Andreas Hamfelt, Jørgen Fischer Nilsson:
Declarative Logic Programming with Primitive Recursive Relations on Lists. JICSLP 1996: 230-243 - 1995
- [c9]Jørgen Fischer Nilsson, Andreas Hamfelt:
Constructing Logic Programs with Higher-Order Predicates. GULP-PRODE 1995: 307-312 - [c8]Jørgen Fischer Nilsson, Andreas Hamfelt:
Constructing Logic Programs with Higher-Order Predicates. ICLP 1995: 827 - 1994
- [c7]Jørgen Fischer Nilsson:
Relational Data Base Model Simplified and Generalized As Algebraic Lattice with Attribution. FQAS 1994: 101-104 - 1992
- [c6]Jørgen Fischer Nilsson:
Concept object algebra for knowledge bases. CNKBS 1992: 52-54 - [c5]Dines Bjørner, Jørgen Fischer Nilsson:
Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST. FGCS 1992: 191-198 - 1989
- [c4]Jørgen Fischer Nilsson:
Knowledge Base Property Combinator Logic. IFIP Congress 1989: 661-666 - [c3]Jørgen Fischer Nilsson:
A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators. SCAI 1989: 37-48 - 1983
- [c2]Jørgen Fischer Nilsson:
On the Compilation of a Domain-Based Prolog. IFIP Congress 1983: 293-298 - 1982
- [c1]Jan Maluszynski, Jørgen Fischer Nilsson:
A Comparison of the Logic Programming Language Prolog with Two-levels Grammars. ICLP 1982: 193-199
Parts in Books or Collections
- 2013
- [p3]Jørgen Fischer Nilsson
:
Diagrammatic Reasoning with Classes and Relationships. Visual Reasoning with Diagrams 2013: 83-100 - 2004
- [p2]David A. Basin, Yves Deville
, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson:
Synthesis of Programs in Computational Logic. Program Development in Computational Logic 2004: 30-65 - 1984
- [p1]Jørgen Fischer Nilsson:
Formal Vienna-Definition-Method Models of Prolog. Implementations of Prolog 1984: 281-308
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint