yusuke1997/dblp-id-title huggingface dataset:
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, held in conjunction with the Joint International Conference and Symposium on Logic Programming, Manchester, UK, Saturday 20th June, 1998
A Database-Complete Proof Procedure Based on SLD-Resolution
Solving Assembly Line Workload Smoothing Problem via Answer Set Programming
Reexecution in Abstract Interpretation of Prolog
Conflict Handling in Product Configuration using Answer Set Programming
Inductive Inference of Regular Grammars Using Recurrent Networks: A Critical Analysis
Testing for Termination with Monotonicity Constraints
Reform Prolog: The Language and Its Implementation
Most Specific Logic Programs
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures
Proof-Relevant Resolution for Elaboration of Programming Languages
LIPS on a MIPS: Results from a Prolog Compiler for a RISC
Probabilistic Abductive Logic Programming using Dirichlet Priors
Subsumer: A Prolog theta-subsumption engine
Global Variables in Logic Programming
A Kernel for a General Natural Language Interface
A Partial Evaluator of Lisp Programs Written in Prolog
A Theory of Directed Logic Programs and Streams
Two Phase Description Logic Reasoning for Efficient Information Retrieval
A Reactive Constraint Logic Programming Scheme
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity
SMT-Based Constraint Answer Set Solver EZSMT (System Description)
Towards a Practical Full Mode Inference System for CLP(H, N)
Constraint Operations for CLP(FT)
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
Consistency Techniques for Hybrid Simulations
PRISM - A Parallel Inference System for Problem Solving
Simulation Unification: Beyond Querying Semistructured Data (Invited Talk)
Overlapping Rules and Logic Variables in Functional Logic Programs
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic
A Comparative Study on Implementing Sets in Prolog
Parallelizing NU-Prolog
Implementing Dynamic Dependent And-Parallelism
Application of Meta-language Programming to Fault Finding in Logic Circuits
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
Debugging in A-Prolog: A Logical Approach
Integrating Abductive and Constraint Logic Programming
Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System
Test Generation using the Constraint Logic Programming Language CHIP
Some Reflexions on Implementation Issues of Prolog
Symbolical Construction of Truth Value Domain for Logic Program
Choices in, and Limitations of, Logic Programming
View Updating Through Active Integrity Constraints
Turing-Complete Subclasses of CHR
International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020
Multistage Indexing Algorithms for Speeding Prolog Execution
Answer Set Programming for the Semantic Web
Hybrid Tree Search in the Andorra Model
Constraint-Level Advice for Shaving
Logic Programming with Defaults and Argumentation Theories
An Algebra of Logic Programs
Abduction of Linear Arithmetic Constraints
Scheduling OR-Parallelism: An Argonne Perspective
Partial Evaluation of GHC Programs Based on the UR-set with Constraints
Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, Budapest, Hungary, June 24, 1993
Dealing with "Pure" Sets in STARSET Language
Answer Set Planning
XSB as the Natural Habitat for General Purpose Program Analysis
Knowledge Authoring and Question Answering via Controlled Natural Language
Understanding Memory Management in Prolog Systems
Tabled CLP for Reasoning Over Stream Data
A Language for Large Ensembles of Independently Executing Nodes
Symbol Grounding and Transcendental Logic
Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999
Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994
Efficient Tabling Mechanisms for Logic Programs
Polymorphically Typed Logic Programs
A Somewhat Logical Formulation of CLP Synchronisation Primitives
On Generalized Cover Axioms
An abstract argumentation-theoretic framework for non-monotonic reasoning (joint work with Bondaranko, Dung, and Toni)
Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk)
Meta-Level Programming: A Compiled Approach
Unsatisfiability-based optimization in clasp
The Derivation of Compositional Programs
A Tarskian Informal Semantics for Answer Set Programming
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor
Causal Models of Disjunctive Logic Programs
Copying Garbage Collection for the WAM: To Mark or Not to Mark?
Conditonal Logic Programming
Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994
Declarative Semantics for Active Integrity Constraints
Z Specifications: Syntactic Sugar for Prolog
Building Real-Life Applications with Prolog
A Framework of Directionality for Proving Termination of Logic Programs
Logic Databases on the Semantic Web: Challenges and Opportunities
On Computability by Logic Programs
An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem
Associative Concurrent Evaluation of Logic Programs
Learning Commonsense Knowledge Through Interactive Dialogue
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases
Design and Implementation of a Declarative Data-Parallel Language
On Cross-Fertilization between Logic Programming and Educational Systems
Tree Drawing Using Constraint Logic Programming
Optimum Flight Planning System for Aerodrome Zone
Explainability Through Argumentation in Logic Programming
Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis
Issues in Developing Expert Systems
Integrating Modes and Subtypes into a Prolog Type-Checker
Types in Logic Programming
Constraints that Assist in the Teaching of Logic Programming
A Framework for Defining Behavior Modes in Policy-Aware Autonomous Agents
Solving Linear Diophantine Constraints Incrementally
Termination of Logic Programs for Various Dynamic Selection Rules
On Extra Variables in (Equational) Logic Programming
Dynamic Process Scheduling in a Parallel Logic Machine
Controlled Natural Language Models
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming
Evolution of Ontologies using ASP
Uses of Higher-Order Unification for Implementing Program Transformers
Limiting Resolution: From Foundations to Implementation
Probabilistic Disjunctive Deductive Databases (Poster Abstract)
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing
Towards Structure Learning under the Credal Semantics
A Declarative View of Modes
Static Region Analysis for Mercury
Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989
Solving the Multiplication Constraint in Several Approximation Spaces
Simplifying Logic Programs Under Answer Set Semantics
Termination Proofs for Logic Programs Based on Predicate Inequalities
Semantical Equivalences of (Non-Classical) Logic Programs
KAPPA: A Kernel Andorra Prolog Parallel Architecture Design
Computing Minimal Models, Stable Models, and Answer Sets
Constraint-Based Synchronization and Verification of Distributed Java Programs
ACE: And/Or-parallel Copying-based Execution of Logic Programs
An Implementation of Extended P-Log Using XASP
Constructive Negation Based on the Completed Database
Answer Set Programming Phase Transition: A Study on Randomly Generated Programs
Cross Structural Similarity for Retrieval of Legal Cases
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs
Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines
Boosting Logic Programming
Analysis of Nonlinear Constraints in CLP(R)
Optative Reasoning with Scenario Semantics
Probabilistic Action Language pBC+
Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic Programming
"I Want to Correct the Program" Teaching Prolog-debugging
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus
Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm
Modular Action Language ALM {\cal ALM}
Greedy Algorithms in Datalog with Choice and Negation
A Dialogue in Natural Language
Generation and Compilation of Efficient Computation Rules
Concurrent Execution of Logic
Model Revision of Logical Regulatory Networks Using Logic-Based Tools
Declarative Logic Programming with Primitive Recursive Relations on Lists
A Characterization of Acceptability
Average Time Analyses Related to Logic Programming
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools
Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs
Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization
The Pragmatics of Prolog: Some Comments
Workshop on Optimization and Implementation of Declarative Programs, WOID 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 2-3, 1999
NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks
Determinacy Driven Optimizations of And-Parallel Prolog Implementations
Termination Analysis of CHR Revisited
Language Embedding by Dual Compilation and State Mirroring
Temporal Answer Set Programming
Formal Methods for Answer Set Programming
Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics
Implementing Prolog with Chronological Garbage Collection
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
Abstracting Synchronization in Concurrent Constraint Programming
Constraint Answer Set Solving
Teaching Prolog through Grammars
Back to Interval Temporal Logics
Narrowing Grammars
Predicting Optimal AND-Parallelism at Compile Time
Algorithmic Complexity of Logic Programs
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques
Program Specialisation and Abstract Interpretation Reconciled
The Underlying Search for Magic Templates and Tabulation
Combining OWL with F-Logic Rules and Defaults
A Soft Approach to Multi-objective Optimization
A Logical Reconstruction of Prolog II
When is a Program an Actual Cause?
Methodology of Logic Programming
Engineering Transformations of Attributed Grammars in LambdaProlog
Prolog as a Tool for Optimizing Prolog Unifiers
A Solver Collaboration in BALI
Web Sites Verification: An Abductive Logic Programming Tool
Handling Incomplete and Complete Tables in Tabled Logic Programs
Prolog as a Host Language
MultiLog: Data Or-Parallel Logic Programming
Cut and Paste - defining the impure Primitives of Prolog
Description Logic Reasoning in Prolog
Automated Inductive Reasoning about Logic Programs
Deriving Logic Programs from Observations
The period Constraint
Logic Programming for Multiagent Planning with Negotiation
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics
Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems
The Real-Time Extension of CS-Prolog Professional
DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX
A Computational Model for Functional Logic Deductive Databases
Synthesis and Transformation of Logic Programs in the Whelk Proof Development System
Inducing Musical Rules with ILP
Partial Functions and Equality in Answer Set Programming
Projections of Logic Programs using Symbol Mappings
Completeness of the SLDNF-resolution for a class of logic programs
Reflection through Constraint Satisfaction
A Parallel Parsing System for Natural Language Analysis
Parallel CLP on Heterogeneous Networks
Guard and Continuation Optimization for Occurrence Representations of CHR
Intensional Updates: Abduction via Deduction
(title not yet received)
Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages
Determining Action Reversibility in STRIPS Using Answer Set Programming
What Should a Database Know?
Learning Probabilistic Action Models from Interpretation Transitions
Freeness Analysis for Logic Programs - And Correctness?
Incremental Consistency Maintenance for Interactive Applications
Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
Type Synthesis for Ground Prolog
A Monotonicity Theorem for Extended Logic Programs
On the Collecting Semantics for Logic Programs
Trace Analysis for Predicting the Effectiveness of Partial Evaluation
Complexity Results for Logic-Based Abduction
A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
On the Subtlety of Causal Reasoning in Probabilistic Logic Programming: A Bug Report about the Causal Interpretation of Annotated Disjunctions
Formalization and Verification of Interaction Protocols
Static Type Inference for the Q language using Constraint Logic Programming
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning
Linear Objects in a Logic Processes with Built-in Inheritance
An Epistemic Logic for Reasoning about Strategies in General Auctions
A Slick Procedure for Integrity Checking in Deductive Databases
A CLP(R) Options Trading Analysis System
Stable Models of Formulas with Generalized Quantifiers (Preliminary Report)
Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP
Near-Horn PROLOG
Logic Programs with Exceptions
Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings
Reasoning with Limited Unification in a Connectionist Rule-Based System
Monotonicity in Rule Based Update
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases
Research Summary: Non-termination Analysis of Logic Programs
KBO1: A Knowledge Based Garden Store Assistant
A Model Theoretic Semantics for Multi-level Secure Deductive Databases
Differential Bottom-Up Computation of the Well-Founded Semantics
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract)
Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996
Testing of Concurrent Programs
Or-Parallelism on Applicative Architectures
Front matter (cover, title, foreword, contents)
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
Domains as First Class Objects in CLP(FD)
Some Issues in the Implementation of a Unix-based Blackboard
Answering Questions from Natural Language Using A-Prolog
Locally Distributed Predicates: A Programming Facility for Distributed State Detection
A Process Algebra of Concurrent Constraint Programming
Labeled Logic Programs
Modelling the Connection Machine 2 as an Emulator of Subset-Based Declarative Languages
Modelling Grammar Constraints with Answer Set Programming
Domain Construction for Mode Analysis of Typed Logic Programs
Modularity in Logic Programming
Cooperating Answer Set Programming
Speculative Computations in Or-Parallel Tabled Logic Programs
Answer Set Programming for Single-Player Games in General Game Playing
Fixed-Parameter Complexity of Semantics for Logic Programs
Why Use Datalog to Analyze Programs?
An Experiment in Automatic Synthesis of Expert Knowledge Through Qualitative Modelling
Search Tree Unification: Paradigm for Process-based Logic Programs
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems
Enabling Serendipitous Search on the Web of Data Using Prolog
Efficient Parallel Term Matching and Anti-Unification
On the Efficient Execution of ProbLog Programs
Implementing a Lazy Functional Logic Language with Disequality Constraints
Coinductive Logic Programming and Its Applications
Basic Concepts of Logic Programming and Prolog
Logic Control with Logic
Recursive Aggregates as Intensional Functions
A Logic-Based Approach to Understanding Lone-Actor Terrorism
Binding-time Analysis for Mercury
Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982
Initial Performance of Dorpp: an Or-Parallel Prolog System for a Distributed Shared Memory Architecture
A Contraint Logic Programming Scheme for Taxonomic Reasoning
A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment
Analysis of Shared Data Structures for Compile-Time Garbage
Multi-agent Confidential Abductive Reasoning
SLDNF, Constructive Negation and Grounding
Implementing Sets with Hash Tabels in Declarative Languages
Extracting Determinacy in Logic Programs
One More Decidable Class of Finitely Ground Programs
Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description)
Optimizing Compilation of Constraint Handling Rules
Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation
Rational Debugging in Logic Programming
A Framework for Prolog Debugging
Causally Constrained Counterfactual Generation using ASP
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022
Achieving High Quality Knowledge Acquisition using Controlled Natural Language
Disjunctive Explanations
PYTHON: An Expert Squeezer
On the Semantics of Logic Programs
Integrating Disequations in the Algebraic and Logic Programming Language LPG
Or-Parallel Prolog on Distributed Shared-Memory Architectures
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
Flow Java: Declarative Concurrency for Java
Non-Failure Analysis for Logic Programs
Sets and Binary Relation Variables Viewed as Constrained Objects
Determining Action Reversibility in STRIPS Using Epistemic Logic Programs
Semantics of Constraint Logic Programs with Optimization
Experiments with OR-Parallel Logic Programs
Scalable Robotic Intra-Logistics with Answer Set Programming
Programming in Delta Prolog
Rule Systems and Well-Orderings
Proportional dependencies and asymptotics of probabilistic representations
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages
On Teaching Logic Programming in the Era of Generative AI
A Purely Logical Account of Sequentiality in Proof Search
Research Summary: Termination of CHR
Visualization of CHR through Source-to-Source Transformation
An Axiomatic Approach to Semantics of Disjunctive Programs
General Game Playing - Killer App for Logic Programming
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming
LPDA: Another look at Tabulation in Logic Programming
The Role of Logic Programming in the Fifth Generation Computer Project
Objects as Intensions
HIFUNLOG : Logic Programming with Higher-order Relational Functions
Composing Prolog Meta-Interpreters
Parallel Execution of CLP-R Programs
3DPAM = WAM + DATAFLOW
Transforming Abductive Logic Programs to Disjunctive Programs
Generative Logic: Teaching Prolog as Generative AI in Art and Design
A Prolog Processor Based on a Pattern Matching Memory Device
A Thread in Time Saves Tabling Time
A Framework for Sharing Analysis
Unification via Explicit Substitutions: The Case of Higher-Order Patterns
Ontology Based Information Integration Using Logic Programming
Implementing Backward Execution in Non-Deterministic AND-Parallel Systems
PARLOG and ALICE : A Marriage of Convenience
Belief Logic Programming
Integrating Datalog with OWL: Exploring the AL-log Approach
A Proof Manager for Verification of Logic Programs
An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing
Representing Logic Program Schemata in lambda-Prolog
Towards Testing Concurrent Objects in CLP
The Language Model LMNtal
Multi-Criteria Optimization in Answer Set Programming
Shallow Backtracking Points in an Intelligent Backtracking Schema
Grid Service Selection with PPDL
Geometric Constraints for the Phase Problem in X-Ray Crystallography
Resolving CSP with Naming Games
Rule Based Temporal Inference
Extended Well-Founded Model Semantics for General Logic Programs
Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation
Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993
Logic Continuations
Unification of Hyperset Terms
Alignnment of RNA with Structures of Unlimited Complexity
Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999
Bi-dimensional Domains for the Non-overlapping Rectangles Constraint
Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases
A Design Methodology in Prolog Programming
Compiling Ask Constraints
Cyclic Tree Traversal
Cumulative Scoring-Based Induction of Default Theories
ICLP 1994 Workshop W11: Logic Programming and Education, Santa Margherita Ligure, Italy, June 1994
Computing Stable Models: Worst-Case Performance Estimates
Computing Diverse Optimal Stable Models
ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994
Protein Folding Simulation in CCP
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog
Tabling for infinite probability computation
A Distributed and Probabilistic Concurrent Constraint Programming Language
SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)
A New Approach to Non-termination Analysis of Logic Programs
Suspension Analysis for Concurrent Logic Programs
Qualified Answers and their Application to Transformation
A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions
Middle-Out Reasoning for Logic Program Synthesis
A Theoretical Combination of SLD-Resolution and Narrowing
Abstract Domains Based on Regular Types
Meta-level Constructs for Concurrency among Loosely-Coupled Course-Grained Knowledge Sources
Call Forwarding: A Simple Low-Level Code Optimization Technique
Constraint Propagation and Explanation over Novel Types by Abstract Compilation
Prolog Programming Environments: Architecture and Implementation
Testing Data Flow Diagrams with PARLOG
Modularity in Functional-Logic Programming
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
Constraint Handling Rules and Tabled Execution
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Titlepage, Table of Contents, Conference Organization
An Algorithm for Interpreting Prolog Programs
Towards Abstract Interpretation of AKL
The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs
Logical Secrets
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse
(C)LP Tracing and Debugging
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence
The Use of a Logic Programming Language in the Animation of Z Specifications
Opinions and Beliefs as constraint system operators
Declarative Programming for a Messy World