Paul Tarau

Proceedings of the Prolog: The Next 50 Years, 2023

Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

A Gaze into the Internal Logic of Graph Neural Networks, with Logic.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

Dependency Graphs for Summarization and Keyphrase Extraction: We present a real-time long document summarization and key-phrase extraction algorithm that utilizes a unified dependency graph.

[BibT_eX]

[DOI]

Proceedings of the 2022 6th International Conference on Natural Language Processing and Information Retrieval, 2022

2021

Interactive Text Graph Mining with a Prolog-Based Dialog Engine.

[BibT_eX]

[DOI]

Eduardo Blanco

Theory Pract. Log. Program., 2021

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

A Family of Unification-Oblivious Program Transformations and Their Applications.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2021

DocTalk: Combining Dependency-Based Text Graphs and Deep Learning into a Practical Dialog Engine.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems - 14th International Conference, 2021

2020

Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Deriving Theorems in Implicational Linear Logic, Declaratively.

[BibT_eX]

[DOI]

Valeria de Paiva

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers.

[BibT_eX]

[DOI]

CoRR, 2019

Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval.

[BibT_eX]

[DOI]

Eduardo Blanco

CoRR, 2019

Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover.

[BibT_eX]

[DOI]

CoRR, 2019

Lazy Stream Programming in Prolog.

[BibT_eX]

[DOI]

Jan Wielemaker

Tom Schrijvers

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2019

2018

Introduction to the 34-th international conference on logic programming special issue.

[BibT_eX]

[DOI]

Alessandro Dal Palù

Theory Pract. Log. Program., 2018

Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers.

[BibT_eX]

[DOI]

Maciej Bendkowski

Katarzyna Grygiel

Theory Pract. Log. Program., 2018

Declarative algorithms for generation, counting and random sampling of term algebras.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, 2018

On k-colored Lambda Terms and Their Skeletons.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2018

2017

Boltzmann Samplers for Closed Simply-Typed Lambda Terms.

[BibT_eX]

[DOI]

Maciej Bendkowski

Katarzyna Grygiel

Proceedings of the Practical Aspects of Declarative Languages, 2017

On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms.

[BibT_eX]

[DOI]

Olivier Bodini

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

A Hitchhiker's Guide to Reinventing a Prolog Machine.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

Computing with Catalan Families, Generically.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2016

A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2016

A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Automatic Question Generation: From NLU to NLG.

[BibT_eX]

[DOI]

Karen Mazidi

Proceedings of the Intelligent Tutoring Systems - 13th International Conference, 2016

Infusing NLU into Automatic Question Generation.

[BibT_eX]

[DOI]

Karen Mazidi

Proceedings of the INLG 2016, 2016

Evaluating Text Summarization Systems with a Fair Baseline from Multiple Reference Summaries.

[BibT_eX]

[DOI]

David Haraburda

Proceedings of the Advances in Information Retrieval, 2016

2015

A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations.

[BibT_eX]

[DOI]

CoRR, 2015

On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

The Arithmetic of Even-Odd Trees.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

On a uniform representation of combinators, arithmetic, lambda terms and types.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2015

Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

On Type-directed Generation of Lambda Terms.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Anti-Summaries: Enhancing Graph-Based Techniques for Summary Extraction with Sentiment Polarity.

[BibT_eX]

[DOI]

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2015

2014

Towards a generic view of primality through multiset decompositions of natural numbers.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2014

Interclausal Logic Variables.

[BibT_eX]

[DOI]

CoRR, 2014

A Generic Numbering System based on Catalan Families of Combinatorial Objects.

[BibT_eX]

[DOI]

CoRR, 2014

New Arithmetic Algorithms for Hereditarily Binary Natural Numbers.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Arithmetic algorithms for hereditarily binary natural numbers.

[BibT_eX]

[DOI]

Bill P. Buckles

Proceedings of the Symposium on Applied Computing, 2014

Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Text summarization as an assistive technology.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on PErvasive Technologies Related to Assistive Environments, 2014

A Declarative Specification of Giant Number Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2014

Computing with Catalan Families.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2014

The Arithmetic of Recursively Run-Length Compressed Natural Numbers.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings).

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

On Two Infinite Families of Pairing Bijections

[BibT_eX]

[DOI]

CoRR, 2013

Binary Tree Arithmetic with Generalized Constructors

[BibT_eX]

[DOI]

CoRR, 2013

Tree-based Arithmetic and Compressed Representations of Giant Numbers

[BibT_eX]

[DOI]

CoRR, 2013

A Prolog Specification of Giant Number Arithmetic.

[BibT_eX]

[DOI]

CoRR, 2013

Arithmetic Algorithms for Hereditarily Binary Natural Numbers.

[BibT_eX]

[DOI]

CoRR, 2013

Binary trees as a computational framework.

[BibT_eX]

[DOI]

David Haraburda

Comput. Lang. Syst. Struct., 2013

Two mechanisms for generating infinite families of pairing bijections.

[BibT_eX]

[DOI]

Proceedings of the Research in Adaptive and Convergent Systems, 2013

2012

The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

Boolean Evaluation with a Pairing and Unpairing Function.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Computing with Free Algebras.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

On computing with types.

[BibT_eX]

[DOI]

David Haraburda

Proceedings of the ACM Symposium on Applied Computing, 2012

Agent spaces: a scalable architecture for distributed logic agents.

[BibT_eX]

[DOI]

Arun K. Majumdar

Paulo Moura

Proceedings of the Research in Applied Computation Symposium, 2012

Symbolic modeling of a universal reconfigurable logic gate and its applications to circuit synthesis.

[BibT_eX]

[DOI]

Proceedings of the Research in Applied Computation Symposium, 2012

A Declarative Specification of Tree-Based Symbolic Arithmetic Computations.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2012

Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Bijective Term Encodings

[BibT_eX]

[DOI]

CoRR, 2011

Computing with Hereditarily Finite Sequences

[BibT_eX]

[DOI]

CoRR, 2011

Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!).

[BibT_eX]

[DOI]

Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

Integrated symbol table, engine and heap memory management in multi-engine prolog.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Memory Management, 2011

Emulating Primality with Multiset Representations of Natural Numbers.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Coordination and Concurrency in Multi-engine Prolog.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010

"Everything Is Everything" Revisited: Shapeshifting Data Types with Isomorphisms and Hylomorphisms.

[BibT_eX]

[DOI]

Complex Syst., 2010

Declarative modeling of finite mathematics.

[BibT_eX]

[DOI]

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2010

Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, 2010

A Unified Formal Description of Arithmetic and Set Theoretical Data Types.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

An embedded declarative data transformation language.

[BibT_eX]

[DOI]

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Interoperating Logic Engines.

[BibT_eX]

[DOI]

Arun K. Majumdar

Proceedings of the Practical Aspects of Declarative Languages, 2009

A Groupoid of Isomorphic Data Transformations.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

2008

Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell

[BibT_eX]

[DOI]

CoRR, 2008

Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell

[BibT_eX]

[DOI]

CoRR, 2008

A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions

[BibT_eX]

[DOI]

CoRR, 2008

Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes

[BibT_eX]

[DOI]

CoRR, 2008

Pairing Functions, Boolean Evaluation and Binary Decision Diagrams

[BibT_eX]

[DOI]

CoRR, 2008

Ranking and Unranking of Hereditarily Finite Functions and Permutations

[BibT_eX]

[DOI]

CoRR, 2008

Executable Set Theory and Arithmetic Encodings in Prolog

[BibT_eX]

[DOI]

CoRR, 2008

Revisiting exact combinational circuit synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Logic Engines as Interactors.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Exact combinational logic synthesis and non-standard circuit design.

[BibT_eX]

[DOI]

Proceedings of the 5th Conference on Computing Frontiers, 2008

2007

A Logic Programming Framework for Combinational Circuit Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

2005

Semantic document engineering with WordNet and PageRank.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Agent oriented logic programming in Jinni 2004.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems.

[BibT_eX]

[DOI]

David Hurt

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A Language Independent Algorithm for Single and Multiple Document Summarization.

[BibT_eX]

[DOI]

Proceedings of the Natural Language Processing - IJCNLP 2005, Second International Joint Conference, Jeju Island, Republic of Korea, October 11-13, 2005, 2005

PicNet: Augmenting Semantic Resources with Pictorial Representations.

[BibT_eX]

[DOI]

Andy Borman

Proceedings of the Knowledge Collection from Volunteer Contributors, 2005

2004

Knowledge-based conversational agents and virtual storytelling.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Agent Oriented Logic Programming Constructs in Jinni 2004.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

Conversational Agents as Web Services.

[BibT_eX]

Proceedings of the International Conference on Internet Computing, 2004

TextRank: Bringing Order into Text.

[BibT_eX]

[DOI]

Proceedings of the 2004 Conference on Empirical Methods in Natural Language Processing , 2004

PageRank on Semantic Networks, with Application to Word Sense Disambiguation.

[BibT_eX]

[DOI]

Proceedings of the COLING 2004, 2004

Enhancing the virtual storytelling experience with metadata driven voice enabled conversational agents.

[BibT_eX]

[DOI]

Jesse Ephraim

Proceedings of the Managing and Enhancing Information: Cultures and Conflicts, 2004

2003

Garbage Collection Algorithms for Java-Based Prolog Engines.

[BibT_eX]

[DOI]

Qinan Zhou

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Lexical inference mechanisms for text understanding and classification.

[BibT_eX]

[DOI]

Proceedings of the Humanizing Information Technology: From Ideas to Bits and Back, 2003

2001

High-Level Networking with Mobile Code and First Order AND-Continuations.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2001

A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.

[BibT_eX]

[DOI]

Satyam Tyagi

Proceedings of the Practical Aspects of Declarative Languages, 2001

Logic Programming Techniques for Dynamic VRML Web Content Generation.

[BibT_eX]

[DOI]

Anima Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2001

Multicast Protocols for Jinni Agents.

[BibT_eX]

[DOI]

Satyam Tyagi

Armin R. Mikler

Proceedings of the Innovative Internet Computing Systems, 2001

2000

Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1999

Multi-engine Horn Clause Prolog.

[BibT_eX]

[DOI]

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control.

[BibT_eX]

[DOI]

Stephen Rochefort

J. Log. Program., 1999

A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds.

[BibT_eX]

Informatica (Slovenia), 1999

Towards a Logic Programming Infrastructure for Internet Programming.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Today: Recent Trends and Developments, 1999

Inference and Computation Mobility with Jinni.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Towards Inference and Computation Mobility: The Jinni Experiment.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Jinni: a Lightweight Java-based Logic Engine for Internet Programming.

[BibT_eX]

Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

Code Migration with First Order Continuations.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1997

A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

Logic Programming Tools for Advanced Internet Programming (Abstract).

[BibT_eX]

Proceedings of the Logic Programming, 1997

On-Une Resource Discovery Using Natural Language.

[BibT_eX]

[DOI]

Proceedings of the Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications), 1997

Assumption Grammars for Processing Natural Language.

[BibT_eX]

Renwei Li

Proceedings of the Logic Programming, 1997

LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming.

[BibT_eX]

[DOI]

Stephen Rochefort

Proceedings of the Human Factors in Computing Systems, 1997

1996

Blackboard-based Extensions in Prolog.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1996

Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology.

[BibT_eX]

[DOI]

J. Log. Program., 1996

Segment order preserving copying garbage collection for WAM based Prolog.

[BibT_eX]

[DOI]

Geert Engels

Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

A Hypothetical Reasoning-based Framework for NL Processing.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

Backtrackable State with Linear Affine Implication and Assumption Grammars.

[BibT_eX]

[DOI]

Andrew Fall

Proceedings of the Concurrency and Parallelism, 1996

Towards Logic Programming Based Coordination in Virtual Worlds.

[BibT_eX]

[DOI]

Proceedings of the Coordination Technology for Collaborative Applications, 1996

1995

Treating Coordination with Datalog Grammars

[BibT_eX]

[DOI]

CoRR, 1995

Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars.

[BibT_eX]

[DOI]

Andrew Fall

Proceedings of the Logic Programming, 1995

Monadic Constructs for Logic Programming.

[BibT_eX]

[DOI]

Yves Bekkers

Proceedings of the Logic Programming, 1995

The power of partial tanslation: an experiment with the C-ification of binary Prolog.

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM symposium on applied computing, 1995

Extending Datalog Grammars.

[BibT_eX]

Proceedings of the First International Workshop on Applications of Natural Language to Data Bases, 1995

Logic Programming with Monads and Comprehensions.

[BibT_eX]

Yves Bekkers

Proceedings of the JFPLC'95, 1995

1994

High performance continuation passing style Prolog-to-C mapping.

[BibT_eX]

[DOI]

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

A Novel Term Compression Scheme and Data Representation in the BinWAM.

[BibT_eX]

[DOI]

Ulrich Neumerkel

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Logic Programming and Logic Grammars with First-Order Continuations.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Low-level issues in implementing a high-performance continuation passing Binary Prolog engine.

[BibT_eX]

Proceedings of the JFPLC'94, 1994

Language Embedding by Dual Compilation and State Mirroring.

[BibT_eX]

Proceedings of the Sixth Workshop on Logic Programming Environments, 1994

Datalog Grammars.

[BibT_eX]

Yan-Nong Huang

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

An Efficient Specialization of the WAM for Continuation Passing Binary Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Blackboard-based Extensions for Parallel Programming in BinProlog.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Blackboard Communication in Logic Programming.

[BibT_eX]

Koen De Bosschere

Proceedings of the Parallel Computing: Trends and Applications, 1993

Memoing with Abstract Answers and Delphi Lemmas.

[BibT_eX]

Proceedings of the Logic Program Synthesis and Transformation, 1993

Non-Associative Blackboard Programming.

[BibT_eX]

Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993

Some Issues in the Implementation of a Unix-based Blackboard.

[BibT_eX]

Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993

Language Issues and Programming Techniques in BinProlog.

[BibT_eX]

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

BinProlog: a Continuation Passing Style Prolog Engine.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Ecological Memory Management in a Continuation Passing Prolog Engine.

[BibT_eX]

[DOI]

Proceedings of the Memory Management, 1992

1991

Program Transformations and WAM-Support for the Compilation of Definite Metaprograms.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

Nonstandard Answers of Elementary Logic Programs.

[BibT_eX]

Michel Boyer

Proceedings of the Constructing Logic Programs, 1991

1990

Elementary Logic Programs.

[BibT_eX]

[DOI]

Michel Boyer

Proceedings of the Programming Language Implementation and Logic Programming, 1990

1988

Prolog Meta-Programming with Soft Databases.

[BibT_eX]