yusuke1997/dblp-id-title huggingface dataset:
A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs
Event, Property, and Hierarchy in Order-Sorted Logic
Intuitive Semantics for Quantitative Rule Sets
Meta-linear Constraints in Constraint Logic Programming
Combining Logic and Control to Characterize Global Invariants of Prolog Programs
Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs
Modeling Clique Coloring via ASP(Q)
Compiling Intensional Sets in CLP
Moving Prolog Toward Objects
Security and Integrity in Logic Data Bases Using Query-By-Example
Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language
Representing Actions in Equational Logic Programming
Relativized Hyperequivalence of Logic Programs for Modular Programming
To Trim or Not to Trim?
Blawx: Web-based User-Friendly Rules as Code
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming
A Logical Approach to Working with Biological Databases
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks
The Halting Problem for Deductive Synthesis of Logic Programs
Probabilistic Logic Learning - A Tutorial Abstract
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space
A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification
Relationships between Partial Consistencies over Continuous Domains
A Method for Implementing Equational Theories as Logic Programs
Declarative Diagnosis of Temporal Concurrent Constraint Programs
A Decision Graph Algorithm for CCP Languages
The Undecidability of Two Completeness Notions for the "Negation as Failure"
Efficient Goal Directed Bottom-up Evaluation of Logic Programs
A Linear Tabling Mechanism
Non-uniform Hypothesis in Deductive Databases with Uncertainty
Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer
Termination of Narrowing Using Dependency Pairs
Denotational Semantics Using Horn Concurrent Transaction Logic
Effectiveness of Optimizing Compilation for CLP(R)
Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Current Trends in Logic Grammars
Ambivalent Logic as the Semantic Basis of Metalogic Programming
Dependent And-Parallelism Revisited (Poster Abstract)
Variants of the Event Calculus
Logics for Logic Programming: A Tutorial
Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches
Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method
Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids
Efficient and Complete Demo Predicates for Definite Clause Languages
ICLP 1994 Workshop W3: Logic and Reasoning with Neural Networks, Santa Margherita Ligure, Italy, June 1994
Hybrid Probabilistic Logic Programs with Non-monotonic Negation
Constraints over Homogeneous Hereditarily Finite Sets
Isoinitial Models for Logic Programs: Some Preliminary Results
Objective: In Minimum Context
Total correctness of logic and pure Prolog programs
Source-to-source Prolog Program Compression
A Performance Comparison of AND- and OR-Parallel Logic Programming Architectures
Lexical Logic Programs
MProlog: an Implementation Overview
An Implementation Technique for the Abstract Interpretation of Prolog
Building Portfolios for the Protein Structure Prediction Problem
Compiling and Executing Declarative Modeling Languages to Gecode
How well do SOTA legal reasoning models support abductive reasoning?
Equality, Types, Modules and Generics for Logic Programming
Fast and Precise Regular Approximations of Logic Programs
The Pandora Abstract Machine: An Extension of JAM
A Hitchhiker's Guide to Reinventing a Prolog Machine
Demand-Driven Normalisation for ACD Term Rewriting
Extended Stable Semantics for Normal and Disjunctive Programs
On Programs with Linearly Ordered Multiple Preferences
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems
SLDNFA: An Abductive Procedure for Normal Abductive Programs
Overview of the CHIP Compiler System
On Proof Predicates in Logic Programming
An Analysis of Gibbs Sampling for Probabilistic Logic Programs
A Memory Management Machine for Prolog Interpreter
A Metalogic Programming Language
Data Base Manasement, Knowledge Base Management and Expert System Development in Prolog
A Relational Semantics for Logic Programming
Semantic Analysis of Assurance Cases using s(CASP)
Prototyping Through Lindenbaum Algebras
From Abstract Data Types to Logic Programs: A Transformational Approach
The Semantics of Nominal Logic Programs
Preprocessing of Complex Non-Ground Rules in Answer Set Programming
PARLOG and PROLOG United
Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS)
aspmc: An Algebraic Answer Set Counter
A Transformation System for Modular CLP Programs
A Compiler and Semantic Analyzer Based on Categorial Grammar
Hybrid Probabilistic Programs
Records for Logic Programming
Proving Termination by Invariance Relations
The WAVE Paradigm
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998
Computing Annotated Logic Programs
Answer Set Programming with Epistemic Defaults
Pitagora 2.0: an Intelligent Tutoring System developed in Prolog
Nonmonotonic Reasoning with Well Founded Semantics
Modelling Biological Networks by Action Languages Via Answer Set Programming
Probabilistic Databases and Logic Programming
Logic, Algebra and Static Analysis in DM Systems, the IE Way
A Framework for ICAI Systems Based on Inductive Inference and Logic Programming
Grammars and Logics of Partial Information
Logic Programming for Cellular Automata
Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints
Termination Analysis for Abductive General Logic Programs
Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language
On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution
Introducing ASP recipes and ASP Chef
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs
Efficient Solving of Time-dependent Answer Set Programs
A Logic-Based Expert System for Model Building in Regression Analysis
Computing Stable Models by Program Transformation
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation
Research Summary: Tabled Evaluation for Transaction Logic Programs
A Semiring-based framework for fair resources allocation
Completeness Results for Basic Narrowing in Non-Copying Implementations
Logic Programs with Refutation Rules
How to Invent a Prolog Machine
Model Generation Theorem Provers and Their Applications
Sharing Analysis Using Set Logic Programs
Bayesian Annotation Networks for Complex Sequence Analysis
BlackLog: From Blackboard System to Process-Oriented Prolog
Constraint Solving by Narrowing in Combined Algebraic Domains
Reasoning on anonymity in Datalog+/-
A Query Evaluation Method for Abductive Logic Programming
Modeling Administrative Discretion using Goal-Directed Answer Set Programming
Control Structures for Guarded Horn Clauses
Gracefully adding negation and disjunction to Prolog
MASP-Reduce: A Proposal for Distributed Computation of Stable Models
Logic Programming for Knowledge Representation
A Real Implementation for Constructive Negation
Parallel Execution of the ASP Computation - an Investigation on GPUs
Conditional Answers for Polymorphic Type Inference
Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise
On Warren's Method for Functional Programming in Logic
The MYDDAS Project: Using a Deductive Database for Traffic Characterization
Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems?
Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999
Compositional Semantics for the Procedural Interpretation of Logic
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
Statistical Syllogistic Tableaux
&-Prolog and its Performance: Exploiting Independent And-Parallelism
A Linear Logic Calculus Objects
A Survey of Oz - A Higher-order Concurrent Constraint Language
Transformational Development of Logic Programs from Executable Specifications
Operational Semantics of Constraint Logic Programs with Coroutining
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages
Verification of Prolog Programs Using an Extension of Execution
Meta Prolog Design and Implementation
Structured Interactive Musical Scores
Embedded Implications as a Generalization of Negation as Failure
Efficient Execution of HiLog in WAM-based Prolog Implementations
Logic Programming as Quantum Measurement
Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language
Macro Processing in Prolog
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
OR-Parallel Speed-Up in Natural Language Processing: A Case Study
Specifying industrial real-time systems in a logical framework
Abstract Interpretation of Logic Programs
Entity set expansion from the Web via ASP
Logical Diagnosis of LDL Programs
Continuations in Lambda-Prolog
Untangling Reverse Engineering with Logic and Abstraction
Reasoning on Constraints in Constraint Logic Programming
Main Results of the OADymPPaC Project
On the Structural Simplicity of Machines and Languages
P-Prolog: A Parallel Logic Language Based on Exclusive Relation
Prolog with Communicating Processes: From T-Prolog to CSR-Prolog
Hybridization of Genetic Algorithms and Constraint Propagation for the BACP
Semantics of Normal Logic Programs with Embedded Implications
Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming
A Hybrid Approach to Inference in Probabilistic Non-Monotonic Logic Programming
Applying Machine Learning Techniques to ASP Solving
Logical Algorithms
Logic Programs and Alternation
Complexity Issues in Supporting Queries Involving Intermediate Sets in Relational Database Systems
A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs
Towards a Parallel Virtual Machine for Functional Logic Programming
Using Answer Set Programming for the Automatic Compilation of Assessment Tests
ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994
Prolog for Non Computer-Scientist
Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings
Proving correctness of Concurrent Constraint Programs
Implementation of Andorra-based Languages
Negation and Quantifiers in NU-Prolog
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation
Answer Set Programming without Unstratified Negation
Practical Higher-Order Pattern Unification with On-the-Fly Raising
Modules for Prolog Revisited
A Stream AND-Parallel Execution Algorithm with Backtracking
Lollipops Taste of Vanilla too
Representing Continuous Change in the Abductive Event Calculus
Knowledge Representation in an Efficient Deductive Inference System
An s(CASP) In-Browser Playground based on Ciao Prolog
Experiences Using Logic Programming in Bioinformatics
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living
A Modular Framework for the Combination of Unification and Built-In Constraints
Design of a Prolog-Based Machine Translation System
On Hybridization of Local Search and Constraint Propagation
Constraints in Non-Boolean Contexts
probKanren: A Simple Probabilistic Extension for microKanren
Logical Action Systems
Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
SPELL: A Logic Programming Language for Process Modelling
Theory Construction in Computational Logic
Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic
Scheduling Speculative Work in Or-Parallel Prolog Systems
A System of Precise Models for Logic Programs
Comparing Trailing and Copying for Constraint Programming
A Prolog Simulation of Migration Decision Making in a Less Developed Country
The OR-Forest Description for the Execution of Logic Programs
An Inductive Approach for Modal Transition System Refinement
Visualization and Interaction in Logic Programming
A Constraint Logic Programming Approach to Automated Testing
Fairness in Logic Languages based on Shared Dataspace
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
The Relative Complement Problem for Higher-Order Patterns
First Order Logic and Commonsense Reasoning: A Path Less Travelled
Textual Tree Trace Notation for Prolog: an Overview
Towards the Verification of Concurrent Constaint Programs in the Field of Finite Domain Reasoning
Constraint-Based Modeling in Systems Biology
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism
Beyond Logic Programming for Legal Reasoning
The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism
Logic and Functional Programming on Distributed Memory Architecture
A Causal Perspective on AI Deception in Games
Logic Programming and Bisimulation
A Logic Programming Approach to Specifying Logics and Constructing Proofs
Logic Operating System: Design Issues
A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Naïve Reverse Can be Linear
Enhancing the Magic-Set Method for Disjunctive Datalog Programs
A Detection Algorithm of Perpetual Suspension in KL1
A Stronger Notion of Equivalence for Logic Programs
Finite Domain and Cutting Plane Techniques in CLP(PB)
Unification-based Conditional Binding Constructs
Teaching Logic with(out) Prolog
A Prolog Implementation of a Large System on a Small Machine
Learning Semantic Parsers: A Constraint Handling Rule Approach
Concurrent Logic Programming and pi Calculus
Propositional Sematics for Disjunctive Logic Programs
On the Practicality of Global Flow Analysis of Logic Programs
Towards Static Performance Guarantees for Programs with Run-Time Checks
Some Aspects of the Static Semantics of Logic Programs with Monadic Functions
Alternation and the Computational Complexity of Logic Programs
The Distribution Semantics is Well-Defined for All Normal Programs
Graph Based Answer Set Programming Solver Systems
Sixty Years of Stable Models
Exploring Discrete Structures using a Complete Variant of Prolog
Adding Functions to SICStus Prolog
Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule Exceptions
Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning
Metabolic Network Expansion with Answer Set Programming
Extending the WAM for Intelligent Backtracking
On the Termination of Logic Programs with Function Symbols
Iterated Logic Program Updates
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
A Semantics for Eshghi and Kowalski's Procedure
Making Exhaustive Search Programs Deterministic
On the Complexity of Dependent And-Parallelism in Logic Programming
Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs
exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules
Scheduling Speculative Work in MUSE
Improved CLP Scheduling with Task Intervals
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs
Process Semantics for Resolution
Efficient Implementation of a Linear Logic Programming Language
Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics
Building Blawx
Static Memory Management for Logic Programming Languages
An Engine for Computing Well-Founded Models
A Logical Database Query Language with Object Identity and Strong Typing
Demand-Driven Indexing of Prolog Clauses
Perfect Relaxation in Constraint Logic Programming
Parallel Programming and Large-scale Applications in the FGCS Project
Localizing the GHC Suspension Test
Reducing Inductive Definitions to Propositional Satisfiability
Towards Run-time Checks Simplification via Term Hiding
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Static Analysis of Parallel Logic Programs
IsaWhelk Interpreted in Isabelle
Control of Logic Program Execution Based on the Functional Relations
Adding Redundancy to Obtain more Reliable and Readable Prolog Programs
A Virtual Machine to Implement Prolog
I.C. Prolog II: a Multi-threaded Prolog System
ZEXPERT - A Prolog-Based Shell for Knowledge Base Development
Recomputation-Free Lemmatization by Program Transformation
Software Model Checking by Program Specialization
Towards a Formal Semantics for Concurrent Logic Programming Languages
Preferences, Contexts and Answer Sets
Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks
Prolog/KR - Language Features
Gauge: A Workbench for the Performance Analysis of Logic Programs
Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures
Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior
Denotational semantics for Concurrent Constraint Programs analyses
Incremental Constraint Satisfaction in Logic Programming
Computing Abduction by Using the TMS
Exploiting the Full Power of Logic Plus Functional Programming
An Incremental Garbage Collector for WAM-Based Prolog
Together, Is Anything Possible? A Look at Collective Commitments for Agents
A Logic Language with Stable Model Semantics for Social Reasoning
Eqivalences of Logic Programs
Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications
Higher-Precision Groundness Analysis
Forward Checking in Logic Programming
Debugging Parallel Strand Programs
Inductive and Deductive Control of Logic Programs
Scheduling Or-parallelism in Aurora: The Manchester Scheduler
Fages' Theorem for Programs with Nested Expressions
Multi-adjoint Logic Programming: A Neural Net Approach
Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024
Computing Fuzzy Answer Sets Using dlvhex
On Gapping Grammars
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings
Quo Vadis Answer Set Programming?
Medical Decision Aid: Logic Bases of the System SPHINX
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
Relating Concrete Argumentation Formalisms and Abstract Argumentation
Cadmium: An Implementation of ACD Term Rewriting
Modular Nonmonotonic Logic Programming Revisited
Extended abstract: 푓퐶퐴푆푃 - A forgetting technique for XAI based on goal-directed constraint ASP models
Teaching Pure LP with Prolog and a Fair Search Rule
On the Completeness of Residuation
The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming
Adding Domain Dependent Knowledge into Answer Set Programs for Planning
Program analysis for code duplication in logic programs
Controlling the Search in Bottom-Up Evaluation
Democratising Access to Logic Programming: A Web Application Design Tool for Querying Prolog Code
SAME - A Structured Analysis Tool and its Implementation in Prolog
Logic Programming and Genetic Sequence Analysis: a Tutorial
The Delphi Model and Some Preliminary Experiments
Complexity of Computing with Extended Propositional Logic Programs
Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997
Soving TSP with Time Windows with Constraints
How Concurrent Logic Programming Could Benefit from Using Linda-like Operations
An Extended RISC Methodology and its Application to FCP
Bisimilarity in Concurrent Constraint Programming
Compiling Resources in a Linear Logic Programming Language
Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract)
Constraint CNF: SAT and CSP Language Under One Roof
An Efficient Binding Management in OR-Parallel Model
Semantic Definitions for Normal Open Programs
Extremal Problems in Logic Programming and Stable Model Computation
SICStus MT - Multithreaded Execution Environment for SICStus Prolog
Justifications and Blocking Sets in a Rule-Based Answer Set Computation
Propagation Completeness of Reactive Constraints
The Derivation of an Algorithm for Program Specialisation
User-Defined Constraint Handling
A Notion of Map between Logic Programs
Controlling Semi-automatic Systems with FLUX
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming
Accepting the natural order of rules in a logic program with preferences
Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue
CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services
A Unified Treatment of Resolution Strategies for Logic Programs
Generative Modeling by PRISM
Assertive Demons
Logic Programming in Education: A Perspective on the State of Art
Global Storing Mechanisms for Tabled Evaluation
Handling Probability and Inconsistency in Answer Set Programming
Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, Melbourne, Australia, August 28 - September 1, 2017
Adventures in the Prolog Trade
Integration of Logical English and s(CASP)
CLP(Rlin) Revised
Multi-paradigm Declarative Languages
Introduction to the Technical Communications of the 26th International Conference on Logic Programming
Proving Correctness and Completeness of Normal Programs - A Declarative Approach
Data Parallelism in Logic Programming
An Algebraic Semantics of Prolog Program Termination
Timed Definite Clause Omega-Grammars
Bringing Logic Programming to primary school: a teacher training course
Specialising the Other Way Arond
Proving Termination of Input-Consuming Logic Programs
A VLSI Design Environment in PROLOG
Answer Set Programming with External Sources
Negation and Semantics of Prolog Programs
A Higher Order Rewriting Logic for Functional Logic Programming
Development of Semantic Debuggers Based on Refinement Calculus
How Hard Is It to Reason about Propositional Programs?
A Logic Programming View of CLP
Abduction with Clark Completion
Using Symmetry for the Derivation of Logic Programs
Detection and Optimization of Functional Computations in Prolog
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs
Action Languages and COVID-19: Lessons Learned
Dynamic Analysis of Bounds Versus Domain Propagation
A Logic Programming Approach to Requirements Modelling and Automated Test Generation
Grounded Fixpoints and Active Integrity Constraints
Logic Programming: A Parallel Approach
Non-Associative Blackboard Programming
The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model
Algebra of Logic Programming
Assumption Grammars for Processing Natural Language