BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nilsson:J=oslash=rgen_Fischer

Contributed to:

KEOD 20142014
KEOD 20092009
PDCL 20042004
LOPSTR 19981998
JICSLP 19961996
ICLP 19951995
ILPC 19821982

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.