| 2000 | ||
|---|---|---|
| j8 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection principles in computational logic. J. Log. Comput. 10(6): 743-786 (2000) | |
| 1996 | ||
| j7 | Margus Veanes, Jonas Barklund: On the Number of Edges in Cycletrees. Inf. Process. Lett. 57(4): 225-229 (1996) | |
| j6 | Margus Veanes, Jonas Barklund: Construction of Natural Cycletrees. Inf. Process. Lett. 60(6): 313-318 (1996) | |
| j5 | Margus Veanes, Jonas Barklund: Natural Cycletrees: Flexible Interconnection Graphs. J. Parallel Distrib. Comput. 33(1): 44-54 (1996) | |
| j4 | Jonas Barklund, Johan Bevemyr: Prolog with arrays and bounded quantifications. J. Prog. Lang. 4(3): 117-141 (1996) | |
| c22 | Per Jonsson, Jonas Barklund: Characterizing Signal Behaviour Using Genetic Programming. Evolutionary Computing, AISB Workshop 1996: 62-72 | |
| c21 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Multiple Metareasoning Agents for Flexible Query-Answering Systems. FQAS 1996: 155-166 | |
| 1995 | ||
| c20 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of SLD-Resolution with Reflection. ICLP 1995: 830 | |
| c19 | ||
| c18 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of Encodings in Logic Programming. ILPS 1995: 288-302 | |
| 1994 | ||
| j3 | Jonas Barklund, Andreas Hamfelt: Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. J. Log. Program. 18(1): 55-80 (1994) | |
| j2 | Jonas Barklund: Bounded Quantifications for Iteration and Concurrency in Logic Programming. New Generation Comput. 12(2): 161-182 (1994) | |
| c17 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection through Constraint Satisfaction. ICLP 1994: 742 | |
| c16 | Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua: A Basis for a Multi-Level Meta-Logic Programming Language. META 1994: 262-275 | |
| c15 | ||
| c14 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: SLD - Resolution with Reflection. SLP 1994: 554-568 | |
| 1993 | ||
| j1 | Henrik Arro, Jonas Barklund, Johan Bevemyr: Parallel Bounded Quantification - Preliminary Results. SIGPLAN Notices 28(8): 117-124 (1993) | |
| c13 | ||
| c12 | Jonas Barklund, Johan Bevemyr: Executing Bounded Quantifications on Shared Memory Multiprocessors. PLILP 1993: 302-317 | |
| 1992 | ||
| c11 | Jonas Barklund, Håkan Millroth: Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications. FGCS 1992: 817-824 | |
| c10 | Henrik Arro, Jonas Barklund, Johan Bevemyr: Parallel Bounded Quantifiers - Preliminary Results. IJCSLP Workshop on Concurrent and Parallel Implementations 1992 | |
| 1990 | ||
| c9 | Andreas Hamfelt, Jonas Barklund: An Intelligent Object Oriented Modelling to Legal Data Bases Combining Logic Programming and Hypertext. DEXA 1990: 56-61 | |
| c8 | ||
| 1988 | ||
| c7 | Jonas Barklund, Nils Hagner, Malik Wafin: KL1 in Condition Graphs on a Connection Machine. FGCS 1988: 1041-1050 | |
| c6 | ||
| c5 | ||
| 1987 | ||
| c4 | ||
| c3 | ||
| c2 | ||
| 1986 | ||
| c1 | Jonas Barklund, Håkan Millroth: Garbage Cut for Garbage Collection of Iterative Prolog Programs. SLP 1986: 276-283 | |
Colors in the list of coauthors
Last update Wed May 22 04:21:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page