- Isomorphic Data Encodings and their Generalization to Hylomorphisms on
- Proceedings of CICLOPS 2009
- Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
- Pairing Functions, Boolean Evaluation and Binary Decision Diagrams
- Exact Combinational Logic Synthesis and Non-Standard Circuit Design
- A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
- Ranking and Unranking of Hereditarily Finite Functions and Permutations
- Executable Set Theory and Arithmetic Encodings in Prolog
- Logic Engines as Interactors Department of Computer Science and Engineering
- Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes
- Isomorphic Data Encodings and their Generalization to Hylomorphisms on
- Fluents: a Uniform Extension of Kernel Prolog for Reflection and Interoperation with External Objects
- Mobile Threads through First Order Continuations
- Multicast Protocols for Jinni Agents Satyam Tyagi and Paul Tarau
- The Power of Partial Translation: an Experiment with the Cification of
- Virtual World Brokerage with BinProlog and D'epartement d'Informatique
- Lowlevel Issues in Implementing a HighPerformance Continuation Passing
- MultiEngine Horn Clause Prolog Paul Tarau 1
- Fluents: A Refactoring of Prolog for Uniform Re ection and Interoperation with External
- Under consideration for publication in Theory and Practice of Logic Programming 1 HighLevel Networking with Mobile Code and
- HigherOrder Programming in an ORintensive Style
- A Most Speci c Method Finding Algorithm for Re ection Based Dynamic Prolog-to-Java
- J. LOGIC PROGRAMMING 1993:12:1--199 1 LogiMOO: an Extensible MultiUser Virtual World with
- J. LOGIC PROGRAMMING 1993:12:1--199 1 ON DELPHI LEMMAS AND OTHER
- Multicast Protocols for Jinni Agents Satyam Tyagi, Paul Tarau, and Armin Mikler
- Logic Programming with Monads and Comprehensions
- Architecture of the Jinni 2000 Runtime System Department of Computer Science
- Datalog Grammars Veronica Dahl
- 1 Inference and Computation Mobility with Paul Tarau 1
- Assumption Grammars for Generating Dynamic VRML Pages
- Jinni: Intelligent Mobile Agent Programming at the Intersection of Java and Prolog
- A Novel Term Compression Scheme and Data Representation in the BinWAM
- High Level Logic Programming Tools for Remote Execution, Mobile Code and Agents
- Backtrackable State with Linear Affine Implication and Assumption Grammars
- SEGMENT ORDER PRESERVING COPYING GARBAGE COLLECTION
- Knowledge Intensive Conversational Agents: a Logic Programming Approach
- Assumption Grammars: Parsing as Hypothetical Reasoning 1
- 1 Inference and Computation Mobility with Paul Tarau 1
- Jinni: Intelligent Mobile Agent Programming at the Intersection of Java and Prolog
- The BinProlog Experience: Implementing a HighPerformance Continuation Passing
- A Logic Programming Based Software Architecture for Reactive Intelligent Mobile Agents
- Jinni: Intelligent Mobile Agent Programming at the Intersection of Java and Prolog
- Logic Programming and Logic Grammars with Binarization and Firstorder Continuations
- J. LOGIC PROGRAMMING 1993:12:1--199 1 HighLevel Networking with Mobile Code and
- Agent Programming Constructs and Object Oriented Logic Programming in Jinni 2003
- J. LOGIC PROGRAMMING 1993:12:1--199 1 LogiMOO: an Extensible MultiUser Virtual World with
- Language Embedding by Dual Compilation and State Mirroring
- Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology \Lambda
- Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External
- Under consideration for publication in Theory and Practice of Logic Programming 1 High-Level Networking with Mobile Code and
- A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
- Integrated Symbol, Engine Table and Heap Memory Management in Multi-Engine Prolog
- Computing with Hereditarily Finite
- A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java
- Assumptive Logic Programming Veronica Dahl
- Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!)
- Emulating Primality with Multiset Representations of Natural Numbers
- Integrated Symbol Table, Engine and Heap Memory Management in Multi-Engine Prolog
- Circuit Morphing: Declarative Modeling of Reconfigurable Combinational Logic
- Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External
- Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
- Ranking and Unranking of Hereditarily Finite Functions and Permutations
- Jinni: Intelligent Mobile Agent Programming at the Intersection of Java and Prolog
- Proceedings of CICLOPS 2009
- Shared Axiomatizations and Virtual Datatypes Department of Computer Science and Engineering
- Isomorphic Data Encodings and their Generalization to Hylomorphisms on
- Executable Set Theory and Arithmetic Encodings in Prolog
- Coordination and Concurrency in Multi-Engine Department of Computer Science and Engineering
- Isomorphic Data Encodings and their Generalization to Hylomorphisms on
- Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes
- Declarative Modeling of Finite Mathematics Department of Computer Science and Engineering
- Pairing Functions, Boolean Evaluation and Binary Decision Diagrams
- Under consideration for publication in Theory and Practice of Logic Programming 1 Declarative Combinatorics: Exact Combinational
- Logic Engines as Interactors Department of Computer Science and Engineering
- ZU064-05-FPR paper 3 September 2009 20:13 Under consideration for publication in J. Functional Programming 1
- An Embedded Declarative Data Transformation Language Department of Computer Science and Engineering
- Bijective Godel Numberings for Term Algebras Department of Computer Science and Engineering
- Object Oriented Logic Programming as an Agent Building Infrastructure
- Exact Combinational Logic Synthesis and Non-Standard Circuit Design
- Computing with Hereditarily Finite
- Interoperating Logic Engines Paul Tarau1
- Under consideration for publication in Theory and Practice of Logic Programming 1 The BinProlog Experience: Architecture and
- Knowledge Based Conversational Agents and Virtual Storytelling
- Agent Mobility with Weak Local Inheritance and Transactional Remote Logic Invocation
- Ranking and Unranking Functions for Ordered Decision Trees with Applications to Circuit
- Architecture and Implementation Aspects of the Lean Prolog System