(1995b) J.Fischer Nilsson & A. Hamfelt: Constructing Logic Programs
with Higher
Order Predicates (poster), in L. Sterling (ed.): Proceedings of the 12th
Inter-
national Conference on Logic Programming, MIT Press, 1995.
(1996a) J.Fischer Nilsson: Object Logic for Conceptual Modelling
with a Medical
Domain as Case Study, in Y. Tanaka et al. (eds.): Information Modelling
and
Knowledge Bases VII, IOS Press, 1996.
(1996b) A. Hamfelt & J.Fischer Nilsson: Declarative Logic Programming
with
primitive Recursive Relations on Lists in M. Maher (ed.):Proceedings of
the 1996
Joint International Conference and Symposium on Logic Programming,
MIT
Press, 1996.
(1997a) J.Fischer Nilsson & H. Legind Larsen: Fuzzy Querying
in a Concept Object
Algebraic Model, in T. Andreasen et al. (eds.): Flexible Query Answering
Systems, Kluwer, 1997. pp 123-140.
(1997b) [co-editor] H. Kangassalo. J. Fischer Nilsson, H.
Jaakkola & S. Ohsuga:
Information Modelling and Knowledge Bases VIII, IOS Press, 1997.
(1997c) A. Hamfelt & J.Fischer Nilsson: Towards a Logic Programming
Methodology
based on Higher-order Predicates, New Generation Computing,15, 1997.
pp. 421-448.
(1998a) J.Fischer Nilsson & J. Palomaki: Towards Computing with
Intensions and
Extensions of Concepts, in P.-J. Charrel et al. (eds): Information Modelling
and Knowledge Bases IX, IOS Press, 1998.
(1998b) A. Hamfelt & J.Fischer Nilsson: Inductive Synthesis
of Logic Programs by
Composition of Combinatory Program Schemes, in P. Flener (ed.) Logic Based
program Transformation and Synthesis, Lecture Notes in Computer Science
vol. 1559, Springer-Verlag, 1998, pp.143-158.
(1999a) J.Fischer Nilsson & Hele-Mai Haav: Inducing queries
from examples
as concept formation, in Proceedings of the 8th European-Japanese Conference
on
Information Modelling and Knowledge Bases, (eds.) H. Jaakkola & H. Kangas-
salo, Finland, 1998, pp. 341-352, publ. by Tampere University of Technology.
Republished in H. Jaakola et al. (eds.) Information Modelling and Knowledge
Bases X, IOS Press, 1999.
(1999b) J.Fischer Nilsson: A Conceptual Space Logic, in Proceedings
of the 9th
European-Japanese Conference on Information Modelling and Knowledge Bases,
Hotel
APPI Grand, Hachimantai, Iwate, Japan, 1999. pp. 39-53. (postscript)
(1999c) T. Bra¨uner, J.Fischer Nilsson & A.
Rasmussen: Conceptual Graphs as
Algebras - with an Application to Analogical Reasoning, in W. Tepfenhart &
W.
Cyre (eds.) Conceptual Structures: Standards and Practices, 7th Int. Conf.
on
Conceptual Structures, ICCS'99, Blacksburg, VA, USA, Lecture Notes in
Artificial Intelligence 1640, Springer-Verlag, 1999. pp. 456-469.
(1999d) A. Hamfelt & J.Fischer Nilsson: Inductive Logic
programming with Well-
modedness Constraints, in E. Rached (ed.) Proceedings of the 8th Interna-
tional Workshop on Functional and Logic programming, UMR no 5522, Cen-
tre National de la Recherche Scienti que, Institut National Polytechnique
de
Grenoble, Universite Joseph Fourier, Laboratoire Leibniz, Institut Imag,
1999,
pp. 220-231.
(2000a) H.-M. Haav & J. F. Nilsson:
Approaches to Concept Based Exploration of Information Sources, in
W. Abrahamowicz & J. Zurada (eds),
Knowledge Discovery for Business Information Systems,
Kluwer (Int. Series in Engineeering and Computer Science vol. 600), 2000.
ISBN 0-7923-7243-3.
(2000b) T. Andreasen, J. Fischer Nilsson, H. Erdman
Thomsen:
Ontology-based Querying, in H.L. Larsen et al. (eds.),
Flexible Query Answering Systems, Recent Advances,
Physica-Verlag, Springer, 2000. pp. 15-26.
http://www.springer.de/cgi-bin/search_book.pl?isbn=3-7908-1347-8
(2000c) J.Fischer Nilsson: A Conceptual Space Logic, in E. Kawaguchi et al. (eds.) Information Modelling and Knowledge Bases XI, IOS Press, 2000, republ. of (1999b)
(2001a) J. Fischer Nilsson: A Logico-Algebraic
Framework for Ontologies. ONTOLOG,
in P. Anker Jensen & P. Skadhauge (eds.):
Ontology-based Interpretation of Noun Phrases,
Proceedings of the First Inernational. OntoQuery Workshop,
Department of Business Communication and Information Science,
University of Southern Denmark, Kolding, 2001.
(2001b) A. Hamfelt, J.F. Nilsson & N. Oldager:
Logic Program Synthesis as Problem Reduction using Combining Forms,
Automated Software Engineering, 8, (Kluwer), 2001. pp.
167-193.
(2001c) J. Fischer Nilsson: Generative Ontologies,
Ontological Types, and Conceptual Grammars, in
Ontologies and Search, Proceedings of the Second International
OntoQuery Workshop (Lambda series no. 28),
Institut for Datalingvistik (Department of Computational Linguistics),
Handelshøjskolen i København. 2001
(2001d) J. Fischer Nilsson: Concept Descriptions for Text
Search
(Position paper), in Proceedings of the 11th European-Japanese
Conference on Information Modelling and Knowledge Bases,
Maribor, Slovenia, 2001. Republished in
H. Kangassalo et al. (eds.), Information Modelling and Knowledge Bases
XIII,
IOS Press, 2002. pp. 296-300.
(2002a) see (2001d)
(2002b) J. Fischer Nilsson: Are there Ontological Grammars ?, in
H. Kangassalo et al. (eds.), Information Modelling and Knowledge Bases
XIII,
IOS Press, 2002. pp. 412-418.
(2002c) T. Andreasen, P. Anker Jensen, J. Fischer Nilsson, P. Paggio,
B. Sandford Pedersen & H. Erdman Thomsen:
OntoQuery: Ontology-based Querying of Texts,
AAAI Spring Symposium, March 25-27, Stanford University, California, 2002.
(2002d) T. Andreasen, P. Anker Jensen, J. Fischer Nilsson, P. Paggio,
B. Sandford Pedersen & H. Erdman Thomsen:
Ontological Extraction of Content for Text Querying, in
B. Andersson, M. Bergholtz & P. Johannesson (eds.),
Pre-proceedings of NLDB 2002, 6th Int. Workshop on Applications of
Natural Language to Information Systems, June 27-28,
Stockholm, 2002.
A revised and extended version published in:
Natural Language Processing and Information Systems, B. Andersson, M. Bergholtz & P. Johannesson (eds.), LNCS 2553, Springer, 2002.
In http://www2.cs.ucy.ac.cy/projects/colognet/areas/area2/2003/march/2report.htm James Lipton briefly surveys Combinatory Declarative Programming including our approach. Most of my papers coauthored with Andreas Hamfelt are available at http://www.csd.uu.se/~hamfelt/
Course material
1. Data Logic, A gentle introduction to logical languages, logical modeling,
formal
reasoning and computational logic for computer science and software engineering
students.
19 chapters, approx. 200 pages
Last update January 18, 2008