yusuke1997/dblp-id-title huggingface dataset:
A Proof Procedure for Extended Logic Programs
On the Integration of Logic Programming and Functional Programming
An Algebraic Theory of Observables
A Syntactic Characterization of Minimal Entailment
EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS
The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism
Propagating Constraints in Recusive Deduction Databases
Penny, a Parallel Implementation of AKL
A Proof Procedure for Default Theories with Extensions
Garbage Cut for Garbage Collection of Iterative Prolog Programs
On Using Logic Programming in Real-Time Systems
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions
L2||O2: A Concurrent Object-oriented Logic Language
Modal Event Calculus
Notes on Transformation Techniques for Generate and Test Logic Programs
Le Fun: Logic, Equations and Functions
Investigating the Linguistics of DNA with Definite Clause Grammars
Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994
A Procedure for Mediation of Queries to Sources in Disparate Contexts
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology
Temporal Reasoning for Temporal Information Retrieval From Text
Stable Theories for Logic Programs
A Characterization of the Partial Stable Models For Disjunctive Databases
Assumption Set Semantics
The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees
Distributed Pool for Efficient Data Distribution in KL1
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars
Program Analysis via Graph Reachability
Stepwise Development of Operational and Denotational Semantics for Prolog
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis
Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract)
Integration of Functional and Logic Programming Languages (Panel Abstract)
Operational and Denotational Semantics of Rewrite Programs
Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes
Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures
Event Handling in Prolog
Concurrent Alpha-Beta: A Study in Concurrent Logic Programming
Extending the Well-Founded and Valid Semantics for Aggregation
Combining Lazy Narrowing and Normalization
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design
Efficient Analysis of Logic Programs with Dynamic Scheduling
AKL(FD) - A Concurrent Language for FD Programming
A Fixpoint Approach to Declarative Semantics of Logic Programs
A PROLOG Interpreter for First-Order Intuitionistic Logic
Deductive Database Systems: Applications and Programming
An(other) Integration of Logic and Functional Programming
Complexity and Expressive Power of Disjunctive Logic Programming
Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog
An Empirical Study of the Warren Abstract Machine
Preliminary Evaluation of a Distributed Implementation of KLIC
Incremental Equational Constraint Analyses
Tabulated Resolution for Well Founded Semantics
Some Thoughts on Proof Discovery
An Intelligent Backtracking Scheme for Prolog
Optimizing Constraint Processing in CLP(FD)
On Meta-Programming in CLR(R)
A Formal Approach to Deductive Synthesis of Constraint Logic Programs
SLD - Resolution with Reflection
Monadic Cases: Rediscovering Input Resolution
An Abstract KL1 Machine and Its Instruction Set
Multi-Paradigm Declarative Programming (Abstract)
Deterministic Parsing of Languages with Dynamic Operators
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types
Abductive Analysis of Modular Logic Programs
On the Management of Choicepoint and Environment Frames in the WAM
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs
Computing Answers to Logic Programs with Weak Model Elimination
Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog
Id Est, A Logic Based Framework for Direct Manipulation Systems
Calculi for Disjunctive Logic Programming
Efficient Prolog Memory Management for Flexible Control Strategies
Database Query Optimization and Evaluation as Constraint Satisfaction Problem Solving
Surface Deduction: A Uniform Mechanism for Logic Programming
Towards a Real-Time Garbage Collector for Prolog
Branch-Level Scheduling in Aurora: The Dharma Scheduler
Blackboard-based Extensions for Parallel Programming in BinProlog
A Complete Top-Down Interpreter for First Order Programs
Abstract Interpretation for Concurrent Logic Languages
The Logical Structure of Sequential Prolog
A Simple but Effective Program Revision Method
Types for Logic Programs
Parallelizing Tabled Evaluations (Extended Abstract)
Surviving the AI Winter
Modelling Real-Time in Concurrent Constraint Programming
Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems
Reasoning and Programming: Analogies between Logic and Computation
Constraints And Databases: Creating The Right Image
Detection and Optimization of Suspension-free Logic Programs
Generated Preferred Models and Extensions of Nonmonotonic Systems
Incorporating 'Programming Techniques' into Prolog Programs
Dataflow, Flowcharts, and "LUCID"-style Programming in Logic
Polynominal Time Computable Stable Models
Mutally Exclusive Rules in Logic Programming
Concurrent Prolog Compiler on Top of Prolog
Experience with Prolog as a Hardware Specification Language
Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract)
Approximating Interaction between Linear Arithmetic Constraints
Disjunction In Resource-Oriented Deductive Planning
Redundancy in Function-Free Recursive Rules
Intelligent Backtracking for CLP Languages: An Application to CLP(R)
Logic Programming cum Applicative Programming
Transaction Logic: An Introduction (Abstract)
A Rational and Efficient Algorithm for View Deletion in Databases
Mode Analysis of Arrays and Array Comprehensions
Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors
OPENLOG: A Logic Language to Program Reactive and Rational Agents
Towards a WAM Model for Lambda-Prolog
Knowledge representation in Prolog/KR
Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993
Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations
Path-Dependent Reachability Analysis for Multiple Specialization
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution
Hyperproof: An Excursion in Situated Logic
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization
Redundancy, Variable Elimination and Linear Disequations
Extending the WAM for HiLog
Combining Functional and Logic Programming Languages
Recursive Modes for Precise Analysis of Logic Programs
'Completeness' and 'Full Parallelism' of Parallel Logic Programming Schemes
An Algebraic Framework for Abstract Interpretation of Definite Programs
Building Large-Scale Prolog Programs using a Techniques Editing System
Deductive Debugging
Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors
A Prolog-Based Definition of an Entity Relationship Language
An Operational Formal Definition of PROLOG
Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract)
A Theory of Modules for Logic Programming
The Essential Inadequacy of Deductions in Logic Programming
Constraint Logic Programming on Strings: Theory and Applications
Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs
Subset Assertions and Negation As Failure
An Algorithm for Unification in Equational Theories
Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases
Stable Semantics for Logic Programs and Default Theories
Relating Dempster-Shafer Theory to Stable Semantics
Implementing Parallel Prolog on a Multiprocessor Machine
Lower Bound Cost Estimation for Logic Programs
Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization
A Logical Treatment of Secondary Storage
Logic Programming: Further Developments
A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme
Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming
Bridging the gap between logic and functional programming (Panel Abstract)
Integrating Complex Data Structures in Prolog
Approximating General Logic Programs
Contradiction Resolving for Extended Logic Programs and Default Theories
LI-Engine: a New Sequential Control Model for Prolog
On Implementing Prolog in Functional Programming
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism
Prolog and Natural-Language Analysis: Into the Third Decade
Combined And-Or Parallelism on Shared Memory Multiprocessors
Selecting the Backtrack Literal in the AND/OR Model
Parallel Inference System Researches in the FGCS Project
Indexing Prolog Clauses via Superimposed Code Words and Filed Encoded Words
Optimizing And-Or Parallel Implementations
Tractable Argumentation Semantics via Iterative Belief Revision
The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable
Tools and Environments for (Constraint) Logic Programming (Workshop Overview)
Controlling the Search in Tabled Evaluations
Temporal Debugging and its Visual Animation
The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues
Reasoning with Implication and Referential Constraints in Semantic Query Optimization
Automatic Mode Inference for Prolog Programs
Semantics of Logic Programs with Aggregates
Analysis of Constraint Logic Programs
Logic Programming and Graph Rewriting
Simplification and Elimination of Redundant Linear Arithmetic Constraints
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems
Determinancy Driven Optimization of Parallel Prolog Implementations
Distributed Programming and Disjunctive Programming
Cardinality Analysis of Prolog
Update In Place: Overview of the Siva Project
An Execution Model for Committed-Choice Non-Deterministic Languages
IDEAL: An Ideal Deductive Applicative Language
Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties
Automated Reasoning About Actions: A Logic Programming Approach
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
Handling Quadratic Constraints through Geometry
Canoncical Conservative Extensions of Logic Program Completions
On Well-Behaved Semantics Suitable for Aggregation
An Abstract Machine for SLG Resolution: Definite Programs
Paging Strategy for Prolog Based Dynamic Virtual Memory
Accurate and Efficient Approximation of Variable Aliasing in Logic Programs
A Continuation-Passing Style for Prolog
On Goal-Directed Provability in Classical Logic
Compiled Execution of the Reduce-OR Process Model on Multiprocessors
A Portable Method of Integrating SLG Resolution into Prolog Systems
An Algebraic Semantics of Logic Programs as Structured Transition Systems
Logic Programming Using Parallel Associative Operations
Parallel Implementations of Prolog
Control Flow Analysis of Prolog
On the Semantics of Quantitative Logic Programs
The Phoning Philosopher's Problem or Logic Programming for Telecommunications Applications
ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages, Ithaca, New York, USA, November 17, 1994
A New Scheme for Unification in WAM
Aurora, Andorra-I and Friends on the Sun
Using Constraint Logic Programming in Services: A Few Short Tales
The Logic of Creativity
Computational Complexity and Constraint Logic Programming Languages
A Truth Maintenance System Based on Stable Models
Beyond the Glass Box: Constraints as Objects
Implementing the Linear Logic Programming Language Lygon
Transformation of Logic Programs into Functional Programs
Definite Clause Translation Grammars
Probabilistic Deductive Databases
Programming Paradigms of the Andorra Kernel Language
On Constructive Negation in Logic Programming
Using Dynamic Predicates in an Or--Parallel Prolog System
Deriving an Efficient Production System by Partial Evaluation
Supported Circumscription and Its Relation to Logic Programming with Negation
Higher Order Babel
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming
Concurrent Prolog in a Multiprocess Environment
Practical Model-Based Static Analysis for Definite Logic Programs
Database Transactions in LDL
Backtrackable Updates
Comparative Semantics for a Parallel Contextual Logic Programming Language
Logic Program Specialisation With Deletion of Useless Clauses
A Clausal Logic for Deontic Action Specification
Negation as Failure and Parallelism
A Primitive for the Control of Logic Programs
Expected Performance of the Randomized Parallel Backtracking Method
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics
Performance of a Data-Parallel Concurrent Constraint Programming System
Objects in Forum
The Muse Or-Parallel Prolog Model and its Performance
User Defined Parallel Control Strategies in Nial
Variable-Free Execution of Concurrent Logic Languages
Restricted And-Parallelism and Side Effects
A Logic Programming Approach to Manipulating Formulas and Programs
Reasoning in Inconsistent Databases
On the Direct Parameter Passing Mechanism for Prolog Compilers
Narrowing Grammar: A Comparison with Other Logic Grammars
Implementing Prolog on Distributed Systems: N-parallel Prolog
Déjà Vu in Fixpoints of Logic Programs
MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages
Embedding extensional finite sets in CLP
On the Treatment of Cuts in Prolog Source-Level Tools
Optimizing Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2
The Uniform Proof-Theoretic Foundation of Linear Logic Programming
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs
ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994
Compositionality in SLD-Derivations and their Abstractions
Inferring Inheritance from Datalog Programs
ACL - A Concurrent Linear Logic Programming Paradigm
A Characterization of Non-Floundering Logic Programs
Money as a Concurrent Logic Program
Programming in Lygon: A Brief Overview
Conjunto: Constraint Logic Programming with Finite Set Domains
Logic Programming in a Software Engineering Perspective
Redundancy of Variables in CLP (R)
Semantics of a Logic Programming Language with a Reducibility Predicate
Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers
Improving Abstract Interpretations by Systematic Lifting to the Powerset
Magic Sets and Bottom-Up Evaluation of Well-Founded Models
Characterizing Termination of Logic Programs with Level Mappings
SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting
Concurrent Logic Programming: Asynchronism and Language Comparison
Logic and the Structure of Space - Towards a Visual Logic for Spatial Reasoning
Restricted AND-Parallelism Execution Model with Side-Effects
Reactive Behaviour Semantics for Concurrent Constraint Logic Programs
Meta Programming as Constraint Programming
Modular Transformations of CLP Programs
Tutorial on Program Specialisation (Abstract)
Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience
A Progress Report on Incremental Global Compilation of Prolog
A Prolog Technology Theorem Prover
Convergence Issues and Fixed Points of Non-Monotone Maps
Stationary Semantics for Disjunctive Logic Programs and Deductive Databases
A Stratification Semantics for General Disjunctive Programs
Finding Advantageous Orders for Argument Unification for the Prolog WAM
Prioritized Conflict Handling for Logic Programs
An Algorithm of Generalization in Positive Supercompilation
Algorithmic PARLOG Debugging
Logic Programming and Knowledge Representation (LPKR'97)
CLP(Intervals) Revisited
A Deductive Approach to Hypothetical Query Answering
Goal Solving as Operational Semantics
Lower-bound Time-complexity Analysis of Logic Programs
Towards a Programming Environment for Large Prolog Programs
Characterisation of Terminating Logic Programs
Counterfactual Reasoning Based on Revising Assumptions
Program Transformation under the Principle of Proof as Program
Automatic Ordering of Subgoals - A Machine Learning Approach
Generating Goals and Their Use In Recursive Query Processing
Declarative Programming in Prolog
Datalog with Integer Periodicity Constraints
On the Expressive Power of Annotated Logic Programs
Performance Analysis of the Aurora Or-Parallel Prolog System
Termination of Logic Programs via Equivalent Rewrite Systems
Indexing Prolog Clauses
AND Parallel PROLOG with Divided Assertion Set
A Technique for Doing Lazy Evaluation in Logic
SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification
Type Correct programs: A semantic approach
On the Denotational and Logical Semantics of CLP-Modules
An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations
Concurrent Constraint Automata
NSTO Programs (Not Subject to Occur-Check)
Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration
Unification in a Lambda-Calculus with Intersection Types
Abstract Interpretation of Constraints on Order-Sorted Domains
Reforming Compilation of Logic Programs
Partial Evaluation of a CLP Language
Implementation Issues for Functional Logic Programming (Tutorial Abstract)
An Efficient Specialization of the WAM for Continuation Passing Binary Programs
General Diagnosis by Abductive Inference
Relational Groundness Analysis for Logic Programs
Fixpoint Semantics of L-lambda
How to Declare an Imperative
Compilation of Compound Terms in Prolog
A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages
Determination of Variable Dependence Information through Abstract Interpretation
Equational Logic Programming
A Compositional Proof Method of Partial Correctness for Normal Logic Programs
Janus: A step towards distributed constraint programming
Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System
An Alternative Characterization of Disjunctive Logic Programs
A Deductive Database Based on Aristotelian Logic
Partial Evaluation for Hierarchies of Logic Theories
NP Optimization Problems in Datalog
Combining Rules and Description Logics: An Overview of CARIN
Enhancement Structures for Proving Prolog Programs Correct
An Expert System which Intelligently Accesses an External Database
Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984
Analysis and Compilation of Constraint Solving Algorithms: A Case Study
The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language
True Concurrency in Concurrent Constraint Programming
Quiescence Detection in a Distributed KLIC Implementation
Constraint Logic Programming for Planning
All Solutions Predicates in Prolog
Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation
WINTER: WAMS in Tim Expression Reduction
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler
Declarative Annotations for Logic Programs
Optimizations of Bottom-Up Evaluation with Non-Ground Terms
Handling Speculative Work in OR-Parallel Prolog: Evaluation Results
Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language
Constraint Logic Programming: From Theory to Applications
Well-Founded Semantics, Generalized
An Experiment in Programming with Full First-Order Logic
A Multimodal Logic to Define Modules in Logic Programming
A Simulation Study of Or- and and Independent And-parallelism
Specialization of Declarative Programs and Its Applications (Workshop Overview)
Directions for Logic Programming
Declarative Diagnosis Revisited
Monadic Constructs for Logic Programming
Performance Analysis of Aurora on a Switch-Based Multiprocessor
On the Adequacy of Direct Mapped Caches for Lisp and Prolog Data Reference Patterns
Programming with Equations, Subsets, and Relations
Experiments with Speculative Parallelism in Parlog
Using SimICS to Evaluate the Penny System
A Prototype System for Equational Constructive Negation
Answer Sets for Prioritized Logic Programs
Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997
Compiling Control
Derivation of Efficient Logic Programs by Synthesizing New Predicates
An Extension of Constructive Negation and its Application in Coroutining
Implementation of Parallel Database Management System on KLIC
Null Values in Definite Programs
Object-Oriented Programming in Prolog
Logic Programming and Object Modelling: A Case Study (Abstract)
Integrating Numerical and Qualitative Models within Constraint Logic Programming
AUNT: A Universal Netlist Translator
Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems
Flow Analysis of a Simple Class of Dynamic Logic Programs
The Challenge of Declarative Programming (Panel Abstract)
Scheduling and Variable Assignment in the Parallel PARLOG Implementation
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog
A Microcoded Unifier for Lisp Machine Prolog
From Decision Trees to Decision Graphs
Temporal Logic Model Checking (Abstract)
Order-Sorted Feature Theory Unification
Measuring Infinite Relations
Towards a Pipelined Prolog Processor
A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems
Back to the Future: Program Completion, Revisited
Temporal Logic Programming
Qualitative Simulation in Parallel Logic Programming
Intuitionistic Implication and Resolution
Code Generation for Mercury
Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms
Negative Logic Programs
Type Inference for CLP(FD)
A Brief Introduction to Inductive Logic Programming
P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language
Do Logic Programs Resemble Programs in Conventional Languages?
Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases
A Calculus for the Construction of Modular Prolog Programs
Logic Programming-From a Logic Point of View
Semantic Query Optimization in Datalog Programs
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming
A Syntactic Stratification Condition Using Constraints
The Logic of Tensed Statements in English - An Application of Logic Programming
Model Checking (Abstract)
Negation as Failure Using Tight Derivations for General Logic Programs
Timestamped Term Representation for Implementing Prolog
Analysing Logic Programs Using 'Prop'-ositional Logic Programs and a Magic Wand
A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique
Signed Logic Programs
Failure and Success made Symmetric
Logic Programming on an FFP Machine
Experiences from a Large Industrial Circuit Design Application
The Soundness and Completeness of a Temporal Extension of Logic Programming
Extending a Concurrent Constraint Language by Propagators
Extended Prolog for Order-Sorted Resolution
Avoiding Duplicate Proofs
Discourse Understanding in Logic
Implementation of a Prolog Code Database and Source Database in Compiler-Based Systems
Completeness of SLDNF-Resolution for Non-Floundering Queries
Strand: A Practical Parallel Programming Tool
Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs
Natural Language Semantics: A Logic Programming Approach
A Note on Systems Programming in Concurrent Prolog
A Practical Approach to the Global Analysis of CLP Programs
Definite Clause Grammars for Parsing Higher-Order Syntax
Towards a Theory of Types in Prolog