Jonas Barklund

J. Log. Comput., 2000

1996

Prolog with arrays and bounded quantifications.

[BibT_eX]

[DOI]

J. Program. Lang., 1996

Natural Cycletrees: Flexible Interconnection Graphs.

[BibT_eX]

[DOI]

Margus Veanes

J. Parallel Distributed Comput., 1996

Construction of Natural Cycletrees.

[BibT_eX]

[DOI]

Margus Veanes

Inf. Process. Lett., 1996

On the Number of Edges in Cycletrees.

[BibT_eX]

[DOI]

Margus Veanes

Inf. Process. Lett., 1996

Multiple Metareasoning Agents for Flexible Query-Answering Systems.

[BibT_eX]

Proceedings of the Flexible Query-Answering Systems, 1996

Characterizing Signal Behaviour Using Genetic Programming.

[BibT_eX]

[DOI]

Per Jonsson

Proceedings of the Evolutionary Computing, 1996

1995

Semantical Properties of Encodings in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

Vesper.

[BibT_eX]

John Alan Robinson

Proceedings of the Machine Intelligence 15, 1995

Semantical Properties of SLD-Resolution with Reflection.

[BibT_eX]

Proceedings of the Logic Programming, 1995

1994

Bounded Quantifications for Iteration and Concurrency in Logic Programming.

[BibT_eX]

[DOI]

New Gener. Comput., 1994

Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic.

[BibT_eX]

[DOI]

Andreas Hamfelt

J. Log. Program., 1994

SLD - Resolution with Reflection.

[BibT_eX]

Proceedings of the Logic Programming, 1994

Tabulation of Functions in Definite Clause Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1994

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

[BibT_eX]

[DOI]

Katrin Boberg

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Reflection through Constraint Satisfaction.

[BibT_eX]

Proceedings of the Logic Programming, 1994

Integrating Reflection into SLD-Resolution.

[BibT_eX]

Proceedings of the ICLP 1994, 1994

1993

Parallel Bounded Quantification - Preliminary Results.

[BibT_eX]

[DOI]

Henrik Arro

ACM SIGPLAN Notices, 1993

Executing Bounded Quantifications on Shared Memory Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1993

1992

Parallel Bounded Quantifiers - Preliminary Results.

[BibT_eX]

Henrik Arro

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

Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications.

[BibT_eX]

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.

[BibT_eX]

Andreas Hamfelt

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

Persistent Data Storage for Prolog.

[BibT_eX]

Monika Danielsson

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

1988

What Is a Meta-Variable in Prolog?

[BibT_eX]

Proceedings of the Meta-Programming in Logic Programming, 1988

Condition Graphs.

[BibT_eX]

Nils Hagner

Malik Wafin

Proceedings of the Logic Programming, 1988

KL1 in Condition Graphs on a Connection Machine.

[BibT_eX]

Nils Hagner

Malik Wafin

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

1987

Integrating Complex Data Structures in Prolog.

[BibT_eX]

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

Efficient interpretation of Prolog programs.

[BibT_eX]

[DOI]

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

Hash Tables in Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1987

1986

Garbage Cut for Garbage Collection of Iterative Prolog Programs.

[BibT_eX]