yusuke1997/dblp-id-title huggingface dataset:
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction
Logic Programming - What Does it Bring to the Software Engineering
Neuro-Symbolic Agent with ASP for Robust Exception Learning in Text-Based Games
Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism
Gentra4cp: A Generic Trace Format for Constraint Programming
Design of a Resolution Multiprocessor for the Parallel Virtual Machine
Transactions in Constraint Handling Rules
Online Justification for Tabled Logic Programs
Stack-splitting: Or-/And-parallelism on Distributed Memory Machines
Two WAM Implementations of Action Rules
A Prolog Toolkit for control System Models
Variable Elimination for Generalized Linear Constraints
Access Control for Deductive Databases by Logic Programming
Weakly Perfect Model Semantics for Logic Programs
Improving First-Class Array Expressions Using Prolog
Parallel Logic Programming for Numeric Applications
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
Construction of Logic Programs Based on Generalized Unfold/Fold Rules
A CLP Language Handling Disjunctions of Linear Constraints
Pipeline Optimizations in AND-Parallel Logic Programs
Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
Pandora: a Temporal Logic Based Process Engine
A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods
Proving Set-Theoretic Formulae by a Tableaux Method
Modelling Cyber Defenses using s(CASP)
Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys
Finding Similar or Diverse Solutions in Answer Set Programming
Depth-k Sharing and Freeness
A Sequential Implementation of Parlog
A Type System for CHR
Constraint Handling Rules
On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog
Removing Redundancy from Answer Set Programs
Stratification and Knowledge Based Management
On Copy Avoidance in Single Assignment Languages
Visualization of And/Or-Parallel Execution of Logic Programs
Deductive and Object-Oriented Databases
Integration of Semantic Networks for Corpus-Based Word Sense Disambiguation
Semantic Web: The Story of the RIFt so Far
Two-Valued Logic Programs
ACI1 Constraints
Exploiting the Full Power of Pearl's Causality in Probabilistic Logic Programming
SMS and ASP: Hype or TST?
Deductive Spreadsheets Using Tabled Logic Programming
Substitution and Refutation Revisited
Authorization and Obligation Policies in Dynamic Systems
A Generic Persistence Model for (C)LP Systems
Asynchronous Forward-Bounding algorithm with Directional Arc Consistency
Efficient Compliance Computation in Probabilistic Declarative Specifications
Finding Conflict Sets and Backtrack Points in CLP(R)
Graph Transformation Systems in CHR
Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages
Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction
PS-LTL for Constraint-Based Security Protocol Analysis
Logical Objects
A Logic Programming Approach to Channel Routing
Small Proof Witnesses for LF
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
Integrating Reflection into SLD-Resolution
Implementation Results in Classical Constructive Negation
Termination by Abstraction
Building Constraint Solvers with HAL
Rewriting Optimization Statements in Answer-Set Programs
Developing Expert Systems Builders in Logic Programming
Execution Control for CHR
Warren's Abstract Machine
Separation Logic Tutorial
Complementation of Abstract Domains made Easy
Order and Negation as Failure
Semantics and Consistency of Empirical Databases
Logic Programs with Contested Information
Towards an Integration of Answer Set and Constraint Solving
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023
Halting Problem of One Binary Horn Clause id Undecidable
Computing with Sequences
Improving the Register Allocation of WAM by Recording Unification
On a Tabling Engine That Can Exploit Or-Parallelism
Set-Unification from Another Point of View
A Tabling Implementation Based on Variables with Multiple Bindings
Analysis and Optimization of CHR Programs
Theorem Proving Applications for QU-Prolog
Exploiting Recursion-Parallelism in Prolog: Preliminary Results
Contextual Logic Programming
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
Solving First-Order Constraints in the Theory of the Evaluated Trees
A Unification Algorithm for Concurrent Prolog
A Poor Man's Co-ordination of Prolog: COPr
Deductive Databases with Incomplete Information
A First Order Semantics of a Connective Suitable to Express Concurrency
Data-Driven Execution of Logic Languages
Lazy Model Expansion by Incremental Grounding
Semantic Versioning Checking in a Declarative Package Manager
&ACE: the And-parallel Component of ACE (A Progress Report on ACE)
Proceedings of the 2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31st, 2015
On Logic Programming with Multisets
Automatic Generation of Temporal Relations in a Legal Case
A New Implementation Technique for Flat GHC
Higher Level Meta Programming in Qu-Prolog 3: 0
A Rule-oriented FSM Design System with Prototyping Capabilities
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings
Kernel Andorra Prolog and its Computation Model
TopLog: ILP Using a Logic Program Declarative Bias
Implementation Issues of a Distributed Real-Time Logic Language
Implementation Mechanisms for Dependent And-Parallelism
Constraint Logic Programs with Declarations: Theory and Implementation
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation
Extending the Parallel Logic Programming Paradigm with Linda-like Operations
Study of Random Logic Programs
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop
A Performance-Oriented Design for OR-Parallel Logic Programming
A Temporal Programming Language for Heterogeneous Information Systems
Preference Logic Programming
A Proof Method for Runtime Properties of Prolog Programs
An Abductive Framework for Datalog± Ontologies
Bounded-Horizon Success-Complete Restriction of Inference Programs
Contextual Grammars in Prolog (ABSTRACT)
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing
Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes)
Parallel Logic Programming Systems
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages
Frontmatter, Table of Contents, List of Authors
Inductive Logic Programming for Relational Knowledge Discovery
Well-Founded Completions of Logic Programs
A New Mode Declaration for Tabled Predicates
Dedicated Tabling for a Probabilistic Setting
Decision Support for Personalization on Mobile Devices
On Compiling Prolog Programs on Demand Driven Architectures
A Strong Correspondence between Description Logics and Open Logic Programming
Full Prolog in a Nutshell
Research Summary: Intelligent Natural Language Processing Techniques and Tools
A Data Base Support System for Prolog
Logic Programs under Three-Valued Lukasiewicz Semantics
Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes)
Causal Analysis of Events Occurring in Trajectories of Dynamic Domains
A Novel Implementation Method of Delay
A Compositional Semantics for Normal Open Programs
Canonical Proofs for Linear Logic Programming Frameworks
Logic Programming at IBM: From the Lab to the Customer
The SQL Interface of MProlog
Logic, Prolog, and Legal Sentence
Methodology and Implementation of a CLP System
Intelligent Backtracking for Automated Deduction in FOL
Argumentation Databases
SWIFT: A New Symbolic Processor
A Simple Complete Search for Logic Programming
Core TuLiP Logic Programming for Trust Management
Towards a Derivation Editor
Visual Logic Programming Method Based on Structural Analysis and Design Technique
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
On the Fixed-Point Semantics of Horn Clauses with Infinite Terms
Applications of Constraints Logic Programming Languages
Program Separation in GCLA
Uniform Equivalence of Logic Programs under the Stable Model Semantics
Higher-Order Substitution Tree Indexing
Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract)
A Modal Extension of Logic Programming
Language Independence and Language Tolerance in Logic Programs
A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs
Normal Forms for Defeasible Logic
Detection of Security Vulnerabilities Using Guided Model Checking
NMCC Programming: Constraint Enforcement and Retracting in CC Programming
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally
Logic Programming and Databases Integrated at Last? (Poster Abstract)
Top-down Splitting Property for Epistemic Logic Programs
Implementing Constraint Propagation by Composition of Reductions
Invited Talk: Some Issues and Trends in the Semantics of Logic Programming
Towards Distributed Tools for Heterogeneous Logic Programming Environments
jc: An Efficient and Portable Sequential Implementation of Janus
Models, Unfolding Rules and Fixpoint Semantics
Optimization of Disjunctive Queries
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit
A Comparison of Some Schemes for Translating Logic to C
Logic Program Semantics for Programming with Equations
Solving Simple Substitution Ciphers in Andorra-I
Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary
Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP
Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP
Delta Prolog: A Distributed Backtracking Extension with Events
Non-Strict Independent And-Parallelism
Lazy Funtional State Threads: An Abstract
Abstract Answer Set Solvers for Cautious Reasoning
Answer Set Solving with Generalized Learned Constraints
Temporal Logic Programming with Bounded Universal Modality Goals
Multiple Terms in a Tabled Logic Programming System
On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs
A Survey of Complexity and Undecidability Results in Logic Programming
Making Exhaustive Search Programs Deterministic, Part II
Tableau Calculi for Answer Set Programming
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases
The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model
Compiling Control Revisited: A New Approach based upon Abstract Interpretation
A New Fixpoint Semantics for Prolog
The Limits of Horn Logic Programs
Boosting the Interval Narrowing Algorithm
A Gradual Polymorphic Type System with Subtyping for Prolog
A Choice-Point Library for Backtrack Programming
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
Logic Programming Approach to Automata-Based Decision Procedures
On the Expressiveness of Spatial Constraint Systems
Multiple Specialization of Logic Programs with Run-Time Test
Techniques for Scaling Up Analyses Based on Pre-interpretations
Logic Programming for Software Engineering: A Second Chance
Here's the Beef: Answer Set Programming !
Negation in Disjunctive Logic Programs
A First Journey into the Complexity of Statistical Statements in Probabilistic Answer Set Programming
Extended Logic Programs with Default Assumptions
Set Grouping and Layering in Horn Clause Programs
Proofs about Programs in Classical Set Theory
Extensions of Answer Set Programming
Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables
The Stable Model Semantics for Logic Programming
Introduction to Logic Programming and AI: the Development of a Multilevel Curricula
It Is Declarative
A Close Look at Constraint-Based Concurrency
Extension and Implementation of CHR
Dynamic Programming Algorithms as Products of Weighted Logic Programs
Applying Techniques to Skeletons
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming
Natural Language Processing Using Lexical and Logical Combinators
Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog
Epistemic Logic Programs: a Novel Perspective and Some Extensions
Logic-Statistic Models with Constraints for Biological Sequence Analysis
ToonTalk - Concurrent Constraint Programming for Kids
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models
Control of Activities in the Or-Parallel Token Machine (Abstract)
Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process
Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
Performance of Muse on the BBN Butterfly TC2000
Tracing Prolog Programs by Source Instrumentation is Efficient Enough
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming
A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs
The Logic of Architecture: Programming the Invention of Physical Artifacts
VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs
Relational Data Bases 'à la carte'
Telecommunications Feature Subscription as a Partial Order Constraint Problem
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence
Debugging ASP using ILP
A Note on Computational Complexity of Logic Programs
Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking
Implementing Logic Programming Systems: The Quiche-Eating Approach
Research Summary
Boolean Pseudo-equations in Constraint Logic Programming
Abduction and Abductive Logic Programming
CHR for Social Responsibility
Scheduling Strategies and Speculative Work
Learning Effect Axioms via Probabilistic Logic Programming
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract)
Solving a Cutting-Stock Problem in Constraint Logic Programming
Extensionality of Simply Typed Logic Programs
Modeling OR-Parallel Execution of Prolog using CHOCS
Deducing Logic Programs
Towards Ludics Programming: Interactive Proof Search
The Life of a Logic Programming System
Why neural networks?
Compiling and Executing Disjunctions of Finite Domain Constraints
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming
A Performance Comparison between PLM and a M68020 PROLOG Processor
Fast Query Evaluation with (Lazy) Control Flow Compilation
Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic"
Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions
A Games Semantics of ASP
Types of Trilogy
A Simple Approach to Finding the Cause of Non-Unifiability
Correct Causal Inference in Probabilistic Logic Programming
On Composing Concurrent Logic Processes
An Intelligent LOTOS interpreter in AMLOG
A Commonsense Formalization of Normative Systems
Design Overview of the NAIL! System
asymptoticplp: Approximating probabilistic logic programs on large domains
A Logic Programming approach for Access Control over RDF
A Regular Type Analysis of Logic Programs
Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs
Logic Programming System Prolog-plus
Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents
Stochastic Reasoning with Models of Agent Behavior
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints
Extracting and Reasoning about Web Data
Logic Information Systems for Logic Programmers
Towards Region-Based Memory Management for Mercury Programs
Amnesia - A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language
Compiling Prioritized Circumscription into Answer Set Programming
A Clausal Form for the Completion of Logic Programs
Reasoning about Actions with CHRs and Finite Domain Constraints
An Informal Introduction to LIFE
Multi-Prolog: a Blackboard-based Parallel Logic Programming Language
Unifying Justifications and Debugging for Answer-Set Programs
The Acceptability Semantics for Logic Programs
An Efficient Bug Location Algorithm
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family
Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs
Complexity and Consistency in Probabilistic Reasoning
APPLAUSE: Applications Using the ElipSys Parallel CLP System
Control of Logic Prosrams Using Integrity Constraints
A Semantic Approach to Prolog Program Analysis
A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract)
Qualified Computations in Functional Logic Programming
OR-Parallel Prolog and Search Problems in AI Applications
Incremental Analysis of Logic Programs
On Acyclic and Head-Cycle Free Nested Logic Programs
A Bottom-up Semantics for Constructive Negation
Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus
The Personal Sequential Inference Machine (PSI): Its Design and Machine Architecture
On Normal Forms and Equivalence for Logic Programs
Test-pattern Generation for VLSI Circuits in a Prolog Environment
Disjunctive Logic Programming as Constrained Inferences
Verifying Logic Programs from Metric Semantics
Finding Minimal Reaction Sets in Large Metabolic Pathways
Native Preemptive Threads in SWI-Prolog
Logics and Database Modelling
From Logic Programming to Programming in Logica: A First-Course in Declarative Data Science & Engineering
Fusion of Logic Programming and Description Logics
Reduction of Abductive Logic Programs to Normal Logic Programs
Modeling Systems in CLP
Automating Disease Management Using Answer Set Programming
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
A Decision Tree Compilation Algorithm for FCP(!, : , ?)
AMLOG-E: A New Approach towards Amalgamation
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer
On Transactions in Logic Programming Languages
Higher-Order E-Unification for Arbitrary Theories
Finding Fair Allocations for the Coalition Problem with Constraints
Splitting a Logic Program
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation
Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993
Negations as Hypotheses: An Abductive Foundation for Logic Programming
From Relational Specifications to Logic Programs
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP
A Distributed Implementation of Flat GHC on the Multi-PSI
Theory Revision with Goal-directed ASP
Fuzzy Prolog: A Simple General Implementation Using CLP(R)
The NU-Prolog Debugging Environment
A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces
Application of Logic-Based Methods to Machine Component Design
A Typed Functional Language Based on Sequent Calculus
An Answer Set Solver for non-Herbrand Programs: Progress Report
Systems Biology: Models and Logics
LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages
Simulating Security Systems Based on Logigrams
Parallel Inference System of the FGCS Project - Status Report
Blackboard Communication in Prolog
Incremental Evaluation of Tabled Logic Programs
A Generic Approach to Monitor Program Executions
A Flexible Scheduler for the Andorra-I System
Type Inferencing for Polymorphic Order-Sorted Logic Programs
Lightweight Lemmas in lambda-Prolog
Using Prolog to Represent and Reason about Protein Structure
Dynamic Deductive Data Bases With Steady Behaviour
A Grammatical Approach to DCG Parsing
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021
An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1
Definitions in Answer Set Programming: (Extended Abstract)
A Comparison of two Logic Programming Languages: A Case Study
Subset-Logic Programming: Application and Implementation
A Note on Garbage-Collection in Prolog Interpreters
Proving Correctness of Logic Programs Using Axiomatic Semantics
Logic Programming with Constructor-based Type Constraints
Extending C+ with Composite Actions for Robotic Task Planning
The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question Answering
Open World Reasoning in Datalog
Logical Loops
Well-founded Semantics by Transformation: The Non-ground Case
Drawing Trees and their Equations in Prolog
Sequential Architecture Models for Prolog: A Performance Comparison
Predicate Introduction Under Stable and Well-Founded Semantics
Higher-Order Polymorphic Unification for Logic Programming
Abductive Inference in Probabilistic Logic Programs
SiLCC Is Linear Concurrent Constraint Programming
Declarative Priority in a Concurrent Logic Language O N
Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models
An Order-Sorted Resolution with Implicitly Negative Sorts
// Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding
Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)
Proving the Equivalence of CLP Programs
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents
A Data-Driven Parallel Execution Model for Logic Programs
Distributed Implementation of KL1 on the Multi-PSI/V2
Program Analysis to Support Concurrent Programming in Declarative Languages
Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code
Gradient-Based Supported Model Computation in Vector Spaces
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications
Tight Semantics for Logic Programs
Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law
Non-discriminating Arguments and Their Uses
Towards a Formal Computation Model of Associative Logic Programming
Design and Implementation of a Logic Based Language for Data Intensive Applications
An OR-Compositional Semantics for Logic Programs
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs
Rectilinear Steiner Tree Construction Using Answer Set Programming
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015
Using Generalized Annotated Programs to Solve Social Network Optimization Problems
Deduced Relevant Types and Constructive Negation
KL1 Optimization Techniques for RISC Architecture
On Data-type-centered, Correctness-oriented Design
Symbolic Model-Checking for Biochemical Systems
Methods and Methodologies for Developing Answer-Set Programs - Project Description
Declarative Output by Ordering Text Pieces
Proving Hardware Designs
Fully Distributed, AND/OR-Parallel Execution of Logic Problems
A Type Inference System for Prolog
A Portable and Reasonably Efficient Implementation of KL1