yusuke1997/dblp-id-title huggingface dataset:
ORBI - An Expert System for Environmental Resource Evaluation through Natural Language
Fast Decompilation of Compiled Prolog Clauses
Probabilistic and Concurrent Models for Security
Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992
Paving the Way for Temporal Grounding
Total Homeostaticity and Integrity Constraints Restorability Recognition
Istropolitan-a WAM Based Fuzzy Prolog
ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994
Prolog Based Description Logic Reasoning
Logical Data Bases vs Deductive Data Bases
Oz Explorer: A Visual Constraint Programming Tool
Transaction Logic Programming
TOAST: Applying Answer Set Programming to Superoptimisation
MProlog: An Extension of Prolog for Modal Logic Programming
Advances in Integrating Statistical Inference
Empirical Semantics for Defeasible Databases
Computing Large and Small Stable Models
Towards Typed Prolog
Instruction Architecture for a High Performance Integrated Prolog Processor IPP
Handling Existential Derived Predicates in View Updating
Possible Worlds Semantics for Probabilistic Logic Programs
Concurrency, Time, and Constraints
Contextual Logic Programming for Ontology Representation and Querying
Process-Based Parallel Logic Programming: A Survey of the Basic Issues
Higher-Order Logic Programming
An Optimized Prolog Encoding of Typed Feature Structures
Advanced Tutorial: Concurrent Logic Programming
Practical Aspects of Set Based Analysis
Explanation Graphs for Stable Models of Labelled Logic Programs
Applications of Efficient Lazy Set Expression (Poster Abstract)
Abduction Compared with Negation by Failure
Scalable Design Space Exploration via Answer Set Programming
On Deterministic Computations in the Extended Andorra Model
Divided We Stand: Parallel Distributed Stack Memory Management
A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases
A Dataflow Analysis Method for Ground Prolog
Implementing Randomised Algorithms in Constraint Logic Programming
Proof Search (Tutorial)
Unfold/Fold Transformation of Logic Programs
Unification of Simply Typed Lamda-Terms as Logic Programming
Models for Trustworthy Service and Process Oriented Systems
Adding Abstraction to Logic Programming. The Logistic Approach
s(CASP) for SWI-Prolog
Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs
Is There an Optimal Generic Semantics for First-Order Equations?
Specifications as Search Keys for Software Libraries
Loop Formulas for Disjunctive Logic Programs
Knowledge Acquisition in Prolog
Distributed Prolog on a Hypercube Multicomputer
Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web
Arc-Consistency + Unit Propagation = Lookahead
Reduced Certificates for Abstraction-Carrying Code
Tutorial: Automating Commonsense Reasoning
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL
IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups
Towards "Propagation = Logic + Control"
Markov Logic Style Weighted Rules under the Stable Model Semantics
Hash Tables in Logic Programming
Encoding Choice Logics in ASP
Logic Programs with Classical Negation
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
Performances of Aurora on NUMA Machines
ICLP 1994 Workshop W12: Legal Application of Logic Programming, Santa Margherita Ligure, Italy, June 1994
A Deduction Procedure for First Order Programs
From Paramodulation to Narrowing
An Or-Parallel Token Machine
Automatic Correctness Proofs for Logic Program Transformations
Implementation of Axiomatic Language
Twelve Definitions of a Stable Model
Reasoning about Independence in Open Universe Probabilistic Logic Programs
Memory Management of Constraint in Flang
Nondeterminism Analysis of Functional Logic Programs
Debugging for Model Expansion
Improving the ISO Prolog Standard by Analyzing Compliance Test Results
Controlling Search with Meta-Brave
CHR Exhaustive Execution - Revisited
A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs
An Abstract Machine for Computing the Well-Founded Semantics
Generalising Constraint Solving over Finite Domains
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs
Herbrand Constraint Solving in HAL
A General Model to Implement DIF and FREEZE
Condition Graphs
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs
Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract)
Semantic Models for a Version of PARLOG
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
Research Summary: Logic Programming for Massively Distributed Systems
A Query Evaluation Method for ASP with Abduction
Schedule Analysis of Concurrent Logic programs
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract)
Relating Stable Models and AI Planning Domains
Memory Reuse for CHR
Epilog: A Language for Extended Programming in Logic
Computation Trees and Transformations of Logic Programs
On the Scheme of Passing Arguments in Stack Frames for Prolog
Semantic Property Grammars for Knowledge Extraction from Biomedical Text
Bottom-up Abstract Interpretation of Logic Programs
alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic
Translating Logic Programs into Conditional Rewriting Systems
How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract)
Supporting Partial and Complete Sets and Tuples in Deductive Databases
Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning
Correct Reasoning about Logic Programs
Semantic Interpretation for the Epistle System
Biosequence Analysis in PRISM
Parallel Arc-Consistency for Functional Constraints
Declarative Problem Solving Using Answer Set Semantics
Restriction Grammar in Prolog
An Efficient Logic Programming Language and Its Application to Music
Uniting the Prolog Community
Freeness Analysis in the Presence of Numerical Constraints
Higher-order Logic Learning and lambda-Progol
Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning
Resolution-Based Inference with Artificial Neural Networks
Generalised Kernel Sets for Inverse Entailment
Natural Language Tabular Parsing
Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Improving Backward Execution in the Andorra Family of Languages
The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms
A Register-Free Abstract Prolog Machine with Jumbo Instructions
X-tegration - Some Cross-Enterprise Thoughts
A Generic Framework for the Analysis and Specialization of Logic Programs
A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge
Spatial-Yap: A Logic-Based Geographic Information System
A Horn Clause-like Logic for Specifying Concurrency
Automatic Binding-Related Error Diagnosis in Logic Programs
Declarative Interpretations Reconsidered
Tempo: A Declarative Concurrent Programming Language
A Database Interface for Complex Objects
Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP
Logic Programming by Completion
Optimizing Compilation and Computational Complexity of Constraint Handling Rules
A Declarative Framework for Security: Secure Concurrent Constraint Programming
Constraint Search Tree
Magic Templates: A Spellbinding Approach to Logic Programs
On the Equivalence between Disjunctive and Abductive Logic Programs
Canonical Regular Types
Pandora: Non-deterministic Parallel Logic Programming
Constraint-Based Inference in Probabilistic Logic Programs
Temporal Probabilistic Logic Programs
SelfLog: Language and Implementation
Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation
Experimenting with Nonmonotonic Reasoning
Function-Patterns and Fan-Backtracking for Logic Programming
Declarative Processing of Semistructured Web Data
Multi-agent Coordination as Distributed Logic Programming
Merging Logic Programs under Answer Set Semantics
LTL Model Checking using Coinductive Answer Set Programming
Relaxation on Optimization Predicates
An Analyzer for a Concurrent Constraint Language
Generalized Unfold/fold Transformation Systems for Normal Logic Programs
Universal Timed Concurrent Constraint Programming
A-Sufficient Substitutions in mixed Contents
Performance of Competitive OR-Parallelism
An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation
A Mycin-Like Expert System in Prolog
Improving Lazy Non-Deterministic Computations by Demand Analysis
A Broader Interpretation of Logic in Logic Programming
A Portable Prolog Compiler
Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report
Efficient Implementation of the Well-founded and Stable Model Semantics
ACD Term Rewriting
Integration of CLP and Stochastic Optimisation Strategies
FAME:A Prolog Program that solves Problems in Combinatorics
Refactoring Logic Programs: Extended Abstract
Inference in a Fuzzy System Using the Consistence Level of the Rules
Classifying Semantics of Disjunctive Logic Programs
On Coherence Approach to Logic Program Revision
Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs
Logic Programming in Oz with Mozart
Inductive Logic Programming as Abductive Search
Abduction in Annotated Probabilistic Temporal Logic
Some Remarks on the Completed Database
A Tutorial on Proof Theoretic Foundations of Logic Programming
LOG-IDEAH: ASP for Architectonic Asset Preservation
Program Correspondence under the Answer-Set Semantics: The Non-ground Case
Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs
Concurrent Constraint Programming and Tree-Based Acoustic Modelling
Distributed Declarative Systems as Parts of Cooperating Software Environments
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Type Synthesis for Logic Programs
Optimizing Queries for Heterogeneous Information Sources
AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results
Towards a Co-operative Data Base Management System
A New Approach for Intruducing Prolog to Naive Users
Environment Reuse in the WAM
Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, New York City, USA, October 16-21, 2016
Focused Proof Search for Linear Logic in the Calculus of Structures
Optimization of Logic Programs with Dynamic Scheduling
Marrying LO with SP
Perfect Model Semantics
An Incompleteness Result for Deductive Synthesis of Logic Programs
CLP(Sigma*): Constraint Logic Programming with Regular Sets
Performance Evaluation of Monaco Compiler and Runtime Kernel
Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments
A Logic Programming Framework for Combinational Circuit Synthesis
Two Aspects of Directional Types
Incremental Global Compilation of Prolog with the Vienna Abstract Machine
Exploiting Or-Parallelism in Optimisation Problems
Aggregation, Computability, and Complete Query Languages
Polynomial-Time Learnability from Entailment
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
Solving Small TSPs with Constraints
OR-Parallel Execution of Prolog on BC-Machine
Forward versus Backward Verification of Logic Programs
Reasoning with Infinite Stable Models II: Disjunctive Programs
On the Safe Termination of PROLOG Programs
An External Module for Implementing Linear Tabling in Prolog
Representing Objects in a Logic Programming Langueage with Scoping Constructs
Full First Order Logic Programming and Truth Predicate
A New Declarative Semantics for Logic Languages
On Logic Program Semantics with Two Kinds of Negation
A Query Evaluation Method for Stratified Programs Under the Extended CWA
Circumscription and Projection as Primitives of Logic Programming
Parallel Symbolic Computing with the Shared Dataspace Coordination Model
Constraint Propagation for Linear Recursive Rules
Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited
Detecting Determinacy in Prolog Programs
An Argumentation Semantics for Logic Programming with Explicit Negation
Well-founded Abduction via Tabled Dual Programs
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives
Compilation of Concurrent Declarative Languages
An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog
Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges
Compiler Optimizations for the WAM
On Finitely Recursive Programs
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, Oxford, United Kingdom, July 14-17, 2018
Herbrand Constraints (Extended Abstract)
Lexical Scoping as Universal Quantification
Modular Answer Set Programming
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs
Using Logic Programming to Detect Activities in Pervasive Healthcare
PROGRAPH as an Environment for Prolog DB Applications
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
Finite Fixed-Point Problems
Justifications for Logic Programs Under Answer Set Semantics
Multiple Reference Management in Flat GHC
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming
Jinni: a Lightweight Java-based Logic Engine for Internet Programming
A Static Analysis for Classical Linear Logic Programming Language
Representation of Sets in PROLOG
Evaluating Logic Programs via Set-Valued Functions
Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation
Engineering an Incremental ASP Solver
Chemical Logic Programming?
Advanced Techniques for Answer Set Programming
Non-Monotonic Formalisms and Logic Programming
Abstract Interpretation-Based Mobile Code Certification
An Extended Dataflow Model of FGHC
Logic Programming Foundations of Cyber-Physical Systems
Solving Optimisation Problems in the Aurora Or-parallel Prolog System
Agent Oriented Logic Programming Constructs in Jinni 2004
Towards Generalized Visualization Support for Logic Programming
Termination Analysis of Logic Programs: Extended Abstract
A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs
Reynold and Heyling Models of Logic Programs
Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC
Concurrent Methodologies for Global Optimization
Channels: A Generalization of Streams
Status of the Aditi Deductive Database System
A Knowledge Base System Project for FO(.)
A Framework for a Modal Logic Programming
Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables
A Concurrent Operational Semantics for Constraint Functional Logic Programming
A Distinct-Head Folding Rule
Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers
Constraint-based Round Robin Tournament Planning
Weak Completion Theory for Non-Horn Programs
Applications of Abductive Logic Programming
Representing Arithmetic Constraints with Finite Automata: An Overview
Modeling Answer Constraints in Constraint Logic Programs
On a Semantic Representation of Natural Language Sentences
Efficiently Estimating Relative Grain Size for Logic Programs on Basic of Abstract Interpretation
Minimizing the overheads of dependent {AND}-parallelism
Normal Logic Programs as Open Positive Programs
Towards Early Projection in CLP(R)
Meta-Programming through a Truth Predicate
An Algorithm for Sophisticated Code Matching in Logic Programs
Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM
Representation and Execution of a Graph Grammar in Prolog
Answer Set Solving with Lazy Nogood Generation
Contributions to the View Update Problem
Compile Time Garbage Collection for Ground Prolog
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
A Transputer Implementation of SEL
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms
Modeling Machine Learning and Data Mining Problems with FO(·)
Logtalk Processing of STEP Part 21 Files
F-Logic Programming and Terminological Constraints
The Paradigm of Concurrent Constraint Programming
Visualizing Parallel Logic Program Execution for Performance Tuning
Acyclic Programs
A General Framework for Integrating HCLP and PCSP (Poster Abstract)
An Operational Algebraic Semantics of Prolog Programs
Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, Lexington, Kentucky, USA, July 6-10, 2011
A Model Theory of Logic Programming Methodology
Learning Domain-Specific Heuristics for Answer Set Solvers
Synthesis of Logic Programs from Object-Oriented Formal Specifications
Lparse Programs Revisited: Semantics and Representation of Aggregates
Prolog Interpreter Based on Concurrent Programming
Default Knowledge in Logic Programs with Uncertainty
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
A Class of Architectures for a Prolog Machine
Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
Tutorial on Linear Logic
Oz: Concurrent Constraint Programming for Real
Speculative Beats Conservative Justification
Decidability Results and Characterization of Strategies for the Development of Logic Programs
Incorporating Mutable Arrays into Logic Programming
Thread-Based Competitive Or-Parallelism
Solving B Constraints with Goal-directed Answer Set Programming
Improving Candidate Quality of Probabilistic Logic Models
A Generic Type System for CLP(chi)
Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994
Constraint Programming (Abstract)
Aggregates in Constraint Handling Rules
Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions
An Intensional Logic of (Multi-Arity) Set Abstractions
Contractibility and Contractible Approximations of Soft Global Constraints
An Algorithm for General Set Unification and its Complexity
Finite Computation Principle: An Alternative Method of Adapting Resolution for Logic Prosramming
Smart test data generators via logic programming
A Logical Paradigm for Systems Biology (Invited Talk)
Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs
Quantified Equilibrium Logic and Foundations for Answer Set Programs
Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages
Higher-Order Implementation of Program Transformations using Algebraic Specification
Adding the Temporal Relations in Semantic Web Ontologies
Routing and Scheduling in different ways: Abridged Preliminary Report
A Simple Code Improvement Scheme for Prolog
Computing H-Partitions in ASP and Datalog
Assumable Answer Set Programming
Component-Based Software Development and Logic Programming
Possibilistic Nested Logic Programs
Implementation Alternatives for Bottom-Up Evaluation
Set Descriptions in Constraint Based Grammars
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)
Probabilistic Finite Domains: A Brief Overview
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix
Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
Equational Logic Programming Actions, and Change
Verifying Logic Programs from Metric Semantic Characterizations
Using Histograms to Better Answer Queries to Probabilistic Logic Programs
Efficient Implementation of the Event Calculus for Temporal Database Applications
Cumulative Scheduling with Task Intervals
Logic Programming for XAI: A Technical Perspective
Generating Rational Models (Poster Abstract)
Declarative Semantics of Production Rules for Integrity Maintenance
Transparent And-Parallelism in the Presence of Shared Free Variables
ASP-PROLOG: Composition and Interoperation of Rules
Parallel Logic Programming Languages
KED: A Deontic Theorem Prover
ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994
Splitting an Operator
Abstract Algorithmic Debugging
An SLOU Prolog Interpreter
A GHC Abstract Machine and Instruction Set
Co-definite Set Constraints with Membership Expressions
Freeze, Indexing, and Other Implementation Issues in the WAM
A Term-Based Global Trie for Tabled Logic Programs
Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract)
Logic + control: An example
Yet Another Characterization of Strong Equivalence
Hybrid ASP
On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog
On the impact of sensors update in declarative AI for videogames
An Optimised Semantic Web Query Language Implementation in Prolog
Towards Incremental and Modular Context-Sensitive Analysis
Extensional and Intensional Sets in CLP with Intensional Negation
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator
Implicit Definition of Logic Programs
Answer Set Application Programming: a Case Study on Tetris
Termination of Logic Programs Using Various Dynamic Selection Rules
Automatic Parallelism in Mercury
Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF
Trailing Analysis for HAL
On Improving Run-time Checking in Dynamic Languages
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables
Admissible Graph Rewriting and Narrowing
Transforming Inductive Definitions
OnEQL: An Ontology Efficient Query Language Engine for the Semantic Web
Maximum likelihood pedigree reconstruction using integer programming
Towards a Verified OR-Parallel WAM
An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions
Derivation of Polymorphic Types for PROLOG Programs
Prolog Support Tools for Learning AI Concepts
Implementation Techniques for Scoping Constructs in Logic Programming
Efficient Algorithms for Functional Constraints
Representing the Language of the Causal Calculator in Answer Set Programming
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter
Representation of Legal Knowledge by Compound Predicate Formula
Parlog for Discrete Event Simulation
Proving Program Properties by Means of SLS-Resolution
A Minimal Extension of the WAM for clp(FD)
A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming
Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report
Uniform Proofs and Natural Deduction
Compositional Verification of Infinite State Systems
Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992
Many-Valued Semantics for Logic Programming
Autonomous Task Completion Based on Goal-directed Answer Set Programming
Automating Defeasible Reasoning in Law with Answer Set Programming
Realizing the Dependently Typed Lambda Calculus
Proof-Theoretic Foundation of Compilation in Logic Programming