Jonas Barklund

32 papers A* 1B 4C 4Journal 8Unranked 14

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