Jonas Barklund

发表

Hash Tables in Logic Programming

Jonas Barklund, Håkan Millroth, Jonas Barklund, 1987, ICLP.

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

Jonas Barklund, Andreas Hamfelt, 1990, DEXA.

Reflection through constraint satisfaction (abstract)

Gaetano Aurelio Lanzarone, Stefania Costantini, Jonas Barklund, 1994, ICLP 1994.

Characterizing Signal Behaviour Using Genetic Programming

Jonas Barklund, Per Jonsson, Jonas Barklund, 1996, Evolutionary Computing, AISB Workshop.

Parallel bounded quantification—preliminary results

Jonas Barklund, Johan Bevemyr, Henrik Arro, 1993, SIGP.

Cycletrees: Flexible Interconnection Graphs for Parallel Computing

Margus Veanes, Jonas Barklund, 1995 .

Bounded quantifications for iteration and concurrency in logic programming

Jonas Barklund, Jonas Barklund, 1994, New Generation Computing.

Efficient interpretation of Prolog programs

Jonas Barklund, Jonas Barklund, 1987, SIGPLAN '87.

Garbage Cut for Garbage Collection of Iterative Prolog Programs

Jonas Barklund, Håkan Millroth, 1986, SLP.

AN INTELLIGENT ALARM HANDLING TOOL

Jonas Barklund, J. Kristensson, G. Bengtsson, 1994 .

Executing Bounded Quantifications on Shared Memory Multiprocessors

Jonas Barklund, Johan Bevemyr, 1993, PLILP.

Parallel Bounded Quantifiers - Preliminary Results

Jonas Barklund, Johan Bevemyr, Henrik Arro, 1992, IJCSLP Workshop on Concurrent and Parallel Implementations.

Persistent Data Storage for Prolog

Jonas Barklund, Monika Danielsson, 1990, DEXA.

A Real-Time Expert System for Process Supervision and its Application in Pulp Industry

Jonas Barklund, P. Mildner, G. Bohlin, 1994 .

Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic

Jonas Barklund, Andreas Hamfelt, 1994, J. Log. Program..

Metareasoning agents for query-answering systems

Gaetano Aurelio Lanzarone, Stefania Costantini, Jonas Barklund, 1997 .

Tabulation of Functions in Definite Clause Programs

Jonas Barklund, Jonas Barklund, 1994, PLILP.

Meta-programming with theory systems

Margus Veanes, Jonas Barklund, Pierangelo Dell'Acqua, 1995 .

Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications

Jonas Barklund, Håkan Millroth, Jonas Barklund, 1992, FGCS.

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

Jonas Barklund, Pierangelo Dell'Acqua, Katrin Boberg, 1994, META.

Building modular legal knowledge systems

Jonas Barklund, Andreas Hamfelt, Jan Wünsche, 1992 .

Prolog with arrays and bounded quantifications

Jonas Barklund, Johan Bevemyr, 1996, J. Program. Lang..

KL1 in Condition Graphs on a Connection Machine

Jonas Barklund, Nils Hagner, Malik Wafin, 1988, FGCS.

On the Number of Edges in Cycletrees

Margus Veanes, Jonas Barklund, M. Veanes, 1996, Inf. Process. Lett..

An Intelligent Interface to Legal Data Bases Combining Logic Programming and Hypertext

Jonas Barklund, Andreas Hamfelt, 1990 .

Semantical Properties of SLD-Resolution with Reflection

Gaetano Aurelio Lanzarone, Stefania Costantini, Jonas Barklund, 1995, ICLP.

Construction of Natural Cycletrees

Margus Veanes, Jonas Barklund, M. Veanes, 1996, Inf. Process. Lett..

Reflection principles in computational logic

Gaetano Aurelio Lanzarone, Stefania Costantini, Jonas Barklund, 2000, J. Log. Comput..

Semantical Properties of Encodings in Logic Programming

Gaetano Aurelio Lanzarone, Stefania Costantini, Jonas Barklund, 1995, ILPS.

Integrating Reflection into SLD-Resolution

Gaetano Aurelio Lanzarone, Stefania Costantini, Jonas Barklund, 1994, ICLP Workshop: Proof-Theoretical Extensions on Logic Programming.

Multiple Metareasoning Agents for Flexible Query-Answering Systems

Gaetano Aurelio Lanzarone, Stefania Costantini, Jonas Barklund, 1996, FQAS.

Natural Cycletrees: Flexible Interconnection Graphs

Margus Veanes, Jonas Barklund, 1996, J. Parallel Distributed Comput..

What Is a Meta-Variable in Prolog?

Jonas Barklund, 1988, META.

Future Directions of Parallel Programming and Architecture

Jonas Barklund, Jiro Tanaka, Ken Kahn, 2009, New Generation Computing.

Formalising multiple interpretations of law as metalogic programs

Jonas Barklund, Andreas Hamfelt, 1993 .

Efficient interpretation of Prolog programs

Jonas Barklund, 1987, PLDI 1987.

Condition Graphs

Jonas Barklund, Nils Hagner, Malik Wafin, 1988, ICLP/SLP.

Reflection through Constraint Satisfaction

Gaetano Aurelio Lanzarone, Stefania Costantini, Jonas Barklund, 1994, ICLP.

SLD - Resolution with Reflection

Gaetano Aurelio Lanzarone, Stefania Costantini, Jonas Barklund, 1994, ILPS.

Integrating Complex Data Structures in Prolog

Jonas Barklund, Håkan Millroth, 1987, SLP.

A Garbage Collection Algorithm for Tricia

Jonas Barklund, 1987 .

Parallel Bounded Quantiication|preliminary Results

Jonas Barklund, PreliminaryResultsHenrik Arro, Johan BevemyrUPMAIL, 1992 .

A Basis for a Multilevel Metalogic Programming Language

Jonas Barklund, Pierangelo Dell'Acqua, Katrin Boberg, 1994 .