Jonas Barklund

Publication Activity (10 Years)

Years Active: 1986-2000
Publications (10 Years): 0

Publications

Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
Reflection principles in computational logic. J. Log. Comput. 10 (6) (2000)
Jonas Barklund, Johan Bevemyr
Prolog with arrays and bounded quantifications. J. Program. Lang. 4 (3) (1996)
Margus Veanes, Jonas Barklund
Natural Cycletrees: Flexible Interconnection Graphs. J. Parallel Distributed Comput. 33 (1) (1996)
Margus Veanes, Jonas Barklund
Construction of Natural Cycletrees. Inf. Process. Lett. 60 (6) (1996)
Margus Veanes, Jonas Barklund
On the Number of Edges in Cycletrees. Inf. Process. Lett. 57 (4) (1996)
Per Jonsson, Jonas Barklund
Characterizing Signal Behaviour Using Genetic Programming. Evolutionary Computing, AISB Workshop (1996)
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
Multiple Metareasoning Agents for Flexible Query-Answering Systems. FQAS (1996)
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
Semantical Properties of Encodings in Logic Programming. ILPS (1995)
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
Semantical Properties of SLD-Resolution with Reflection. ICLP (1995)
John Alan Robinson, Jonas Barklund
Vesper. Machine Intelligence 15 (1995)
Jonas Barklund
Bounded Quantifications for Iteration and Concurrency in Logic Programming. New Gener. Comput. 12 (2) (1994)
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
Reflection through Constraint Satisfaction. ICLP (1994)
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
SLD - Resolution with Reflection. ILPS (1994)
Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
Integrating Reflection into SLD-Resolution. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua
A Basis for a Multi-Level Meta-Logic Programming Language. META (1994)
Jonas Barklund, Andreas Hamfelt
Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. J. Log. Program. 18 (1) (1994)
Jonas Barklund
Tabulation of Functions in Definite Clause Programs. PLILP (1994)
Henrik Arro, Jonas Barklund, Johan Bevemyr
Parallel Bounded Quantification - Preliminary Results. ACM SIGPLAN Notices 28 (8) (1993)
Jonas Barklund, Johan Bevemyr
Prolog with Arrays and Bounded Quantifications. LPAR (1993)
Jonas Barklund, Johan Bevemyr
Executing Bounded Quantifications on Shared Memory Multiprocessors. PLILP (1993)
Henrik Arro, Jonas Barklund, Johan Bevemyr
Parallel Bounded Quantifiers - Preliminary Results. IJCSLP Workshop on Concurrent and Parallel Implementations (1992)
Jonas Barklund, Håkan Millroth
Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications. FGCS (1992)
Andreas Hamfelt, Jonas Barklund
An Intelligent Object Oriented Modelling to Legal Data Bases Combining Logic Programming and Hypertext. DEXA (1990)
Monika Danielsson, Jonas Barklund
Persistent Data Storage for Prolog. DEXA (1990)
Jonas Barklund
What Is a Meta-Variable in Prolog? META (1988)
Jonas Barklund, Nils Hagner, Malik Wafin
Condition Graphs. ICLP/SLP (1988)
Jonas Barklund, Nils Hagner, Malik Wafin
KL1 in Condition Graphs on a Connection Machine. FGCS (1988)
Jonas Barklund, Håkan Millroth
Integrating Complex Data Structures in Prolog. SLP (1987)
Jonas Barklund
Efficient interpretation of Prolog programs. PLDI (1987)
Jonas Barklund, Håkan Millroth
Hash Tables in Logic Programming. ICLP (1987)
Jonas Barklund, Håkan Millroth
Garbage Cut for Garbage Collection of Iterative Prolog Programs. SLP (1986)