Travelled to:1 × France
1 × Germany
1 × Italy
1 × Japan
1 × Portugal
1 × United Kingdom
Collaborated with:A.Hamfelt T.Andreasen J.Maluszynski D.A.Basin Y.Deville P.Flener H.Bulskov T.Lassen S.Zambach P.A.Jensen B.N.Madsen H.E.Thomsen B.A.Szymczak
Talks about:program (6) logic (6) synthesi (2) ontolog (2) combinatori (1) comparison (1) construct (1) knowledg (1) composit (1) languag (1)
Person: Jørgen Fischer Nilsson
DBLP: Nilsson:J=oslash=rgen_Fischer
Contributed to:
20142009
20041998
199619951982Wrote 7 papers:
- KEOD-2014-AndreasenN #embedded #knowledge base #logic #ontology
- A Case for Embedded Natural Logic for Ontological Knowledge Bases (TA, JFN), pp. 423–427.
- KEOD-2009-AndreasenBLZJMTNS #information management #named #ontology #semantics
- SIABO — Semantic Information Access through Biomedical Ontologies (TA, HB, TL, SZ, PAJ, BNM, HET, JFN, BAS), pp. 171–176.
- PDCL-2004-BasinDFHN #logic #source code #synthesis
- Synthesis of Programs in Computational Logic (DAB, YD, PF, AH, JFN), pp. 30–65.
- LOPSTR-1998-HamfeltN #combinator #composition #induction #logic programming #source code #synthesis
- Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes (AH, JFN), pp. 143–158.
- JICSLP-1996-HamfeltN #declarative #logic programming #recursion
- Declarative Logic Programming with Primitive Recursive Relations on Lists (AH, JFN), pp. 230–243.
- ICLP-1995-NilssonH #higher-order #logic programming #source code
- Constructing Logic Programs with Higher-Order Predicates (JFN, AH), p. 827.
- ILPC-1982-MaluszynskiN82 #comparison #logic programming #programming language #prolog
- A Comparison of the Logic Programming Language Prolog with Two-levels Grammars (JM, JFN), pp. 193–199.