Jonas Barklund

According to our database, Jonas Barklund authored at least 30 papers between 1986 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2000

Reflection principles in computational logic.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

J. Log. Comput., 2000

1996

Prolog with arrays and bounded quantifications.

Jonas Barklund, Johan Bevemyr

J. Program. Lang., 1996

Natural Cycletrees: Flexible Interconnection Graphs.

Margus Veanes, Jonas Barklund

J. Parallel Distributed Comput., 1996

Construction of Natural Cycletrees.

Margus Veanes, Jonas Barklund

Inf. Process. Lett., 1996

On the Number of Edges in Cycletrees.

Margus Veanes, Jonas Barklund

Inf. Process. Lett., 1996

Multiple Metareasoning Agents for Flexible Query-Answering Systems.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Flexible Query-Answering Systems, 1996

Characterizing Signal Behaviour Using Genetic Programming.

Per Jonsson, Jonas Barklund

Proceedings of the Evolutionary Computing, 1996

1995

Semantical Properties of Encodings in Logic Programming.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Logic Programming, 1995

Vesper.

John Alan Robinson, Jonas Barklund

Proceedings of the Machine Intelligence 15, 1995

Semantical Properties of SLD-Resolution with Reflection.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Logic Programming, 1995

1994

Bounded Quantifications for Iteration and Concurrency in Logic Programming.

Jonas Barklund

New Gener. Comput., 1994

Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic.

Jonas Barklund, Andreas Hamfelt

J. Log. Program., 1994

SLD - Resolution with Reflection.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Logic Programming, 1994

Tabulation of Functions in Definite Clause Programs.

Jonas Barklund

Proceedings of the Programming Language Implementation and Logic Programming, 1994

A Basis for a Multi-Level Meta-Logic Programming Language.

Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Reflection through Constraint Satisfaction.

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone

Proceedings of the Logic Programming, 1994

Integrating Reflection into SLD-Resolution.

Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone

Proceedings of the ICLP 1994, 1994

1993

Parallel Bounded Quantification - Preliminary Results.

Henrik Arro, Jonas Barklund, Johan Bevemyr

ACM SIGPLAN Notices, 1993

Executing Bounded Quantifications on Shared Memory Multiprocessors.

Jonas Barklund, Johan Bevemyr

Proceedings of the Programming Language Implementation and Logic Programming, 1993

1992

Parallel Bounded Quantifiers - Preliminary Results.

Henrik Arro, Jonas Barklund, Johan Bevemyr

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications.

Jonas Barklund, Håkan Millroth

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1990

An Intelligent Object Oriented Modelling to Legal Data Bases Combining Logic Programming and Hypertext.

Andreas Hamfelt, Jonas Barklund

Proceedings of the International Conference on Database and Expert Systems Applications, 1990

Persistent Data Storage for Prolog.

Monika Danielsson, Jonas Barklund

Proceedings of the International Conference on Database and Expert Systems Applications, 1990

1988

What Is a Meta-Variable in Prolog?

Jonas Barklund

Proceedings of the Meta-Programming in Logic Programming, 1988

Condition Graphs.

Jonas Barklund, Nils Hagner, Malik Wafin

Proceedings of the Logic Programming, 1988

KL1 in Condition Graphs on a Connection Machine.

Jonas Barklund, Nils Hagner, Malik Wafin

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Integrating Complex Data Structures in Prolog.

Jonas Barklund, Håkan Millroth

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

Efficient interpretation of Prolog programs.

Jonas Barklund

Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987

Hash Tables in Logic Programming.

Jonas Barklund, Håkan Millroth

Proceedings of the Logic Programming, 1987

1986

Garbage Cut for Garbage Collection of Iterative Prolog Programs.

Jonas Barklund, Håkan Millroth

Proceedings of the 1986 Symposium on Logic Programming, 1986