yusuke1997/dblp-id-title huggingface dataset:
Towards a General Argumentation System based on Answer-Set Programming
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic
A Compositional Semantics for Logic Programs and Deductive Databases
A Flat GHC Implementation for Supercomputers
Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation
Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
Quty: A Concurrent Language Based on Logic and Function
Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming
Epistemic Logic Programs with World View Constraints
Automata for Dynamic Answer Set Solving: Preliminary Report
Contextual Nets and Constraint Logic Programming
Evaluation of Logic Programs Based on Natural Deduction (DRAFT)
Achieving Type Safety for Low-Level Code
A New Transformation based on Process-Message Duality for Concurrent Logic Languages
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993
Parallel Logic Programming based on the Andorra Principle
Distance: A New Metric for Controlling Granularity for Parallel Execution
Stratified and Three-valued Logic Programming Semantics
Indipendence of the Computation Rule for SLD-derivation with delay
On the Practicality of Abstract Equation Systems
WAMCC: Compiling Prolog to C
An Overview of Prolog Standardization - Progress, Problems and Solutions
Coordination of Many Agents
A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization
Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines
Output Value Placement in Moded Logic Programs
Executable requirements Specifications in a Logic Specification Language SPILL-2
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
A Rewriting Method for Well-Founded Semantics with Explicit Negation
Extending the Semantics of Logic Programs to Disjunctive Logic Programs
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract)
Inferring Left-terminating Classes of Queries for Constraint Logic Programs
OLD Resolution with Tabulation
A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs
On A Fully Abstract Denotational Semantics for uLog
Concurrent Database Updates in PROLOG
Explaining SLDNF Resolution with Non-Normal Defaults
An Improvised Version of Shapiro's Model Inference System
GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract)
Embedding s(CASP) in Prolog
Logic Programming Environments
Interfacing Predicate Logic Languages and Relational Databases
A Tutorial on Synthesis of Logic Programs from Specifications
Nonstandard Answers of Elementary Logic Programs
Is Logic Really Dead or Only Just Sleeping?
Making Query Processing Goal-Directed in Disjunctive Logic Databases
Incremental Answer Completion in the SLG-WAM
Generalized Stable Models, Truth Maintenance and Conflict Resolution
Deriving Termination Proofs for Logic Programs, Using Abstract Procedures
Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes)
LDM: A Program Specification Support System
Cover Page, Preface, and Table of Contents
Rewriting in Order-sorted Equational Logic
CLP(R) and Some Electrical Engineering Problems
Using Answer Set Programming in the Development of Verified Software
Modalities over Action, I. Model Theory
Communicating Answer Set Programs
An Algorithm for Optimal Back-Striding in Prolog
Logical Levels of Problem Solving
{log}: A Logic Programming Language with Finite Sets
ASP modulo CSP: The clingcon system
Non-viability Deductions in Arc-Consistency Computation
A Generic Algorithm for CLP Analysis
A Formalization of Metaprogramming for real
Concurrency and Communication in Transaction Logic
Removal of Dereferencing and Trailing in Prolog Compilation
LMNtal as a Unifying Declarative Language: Live Demonstration
Contribution of Logic Programming to Support Telecommunications Protocol Tests
Prolog III as it Actually Is
Thread-Aware Logic Programming for Data-Driven Parallel Programs
PDP: Prolog Distributed Processor for Independent AND\OR Parallel Execution of Prolog
Analysis Based Constraint Query Optimization
An Architecture for Parallel Logic Languages
A Multi-theory Logic Language for the World Wide Web
A Goal-Oriented Approach to Computing Well Founded Semantics
Automatic Generation of Graphical Interfaces in an Object-Logic Programming Environment
Compiling OR-parallelism into AND-parallelism
Linear Equation Solving for Constraint Logic Programming
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
Controlled Natural Languages for Knowledge Representation and Reasoning
Variable Threadedness Analysis for Concurrent Logic Programs
Findall without findall/3
Actual Causality in Contextual Abduction
Concurrency in Prolog Using Threads and a Shared Database
Representing Priorities in Logic Programs
Promoting Modular Nonmonotonic Logic Programs
Abstract Answer Set Solvers
AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
Theory Solving Made Easy with Clingo 5
The Refined Operational Semantics of Constraint Handling Rules
Termination Analysis with Types Is More Accurate
HEX Programs with Action Atoms
The Effect of Partial Deduction in Abductive Reasoning
An Abductive Approach for Analysing Event-Based Requirements Specifications
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
Capturing Database Dynamics by Deferred Updates
Semantics of Framed Temporal Logic Programs
Live-Structure Analysis for Logic Programming Languages with Declarations
Value awareness and process automation: a reflection through school place allocation models
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics
An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs
AND-Parallel Prolog on a Transputer-Based System
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming
Weighted Decision Trees
Graphs as Data in Prolog Programs
Guard Compilation in Logic Shared Dataspace Languages
A Well-Founded Semantics with Disjunction
Improving Prolog Programs: Refactoring for Prolog
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming
Understanding Restaurant Stories Using an ASP Theory of Intentions
Coda: An Extended Debugger for PROLOG
Recursion versus Iteration in Prolog
Minimizing enzymes to diferenciate between species
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report)
PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract)
Polymorphic High-Order Programming in Prolog
A Logic-Based System for Application Integration
Interprocedural Register Allocation for the WAM based on Source to Source Transformations
The Impact of Abstract Interpretation: An Experiment in Code Generation
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)
Non-determinism and Probabilities in Timed Concurrent Constraint Programming
Hybrid Systems and Constraint Logic Programming
Intensional Sets in CLP
Tracing Prolog without a Tracer (Poster Abstract)
Negation as Failure in Intuitionistic Logic Programming
Answer Set Programming with Constraints Using Lazy Grounding
Demand Transformation Analysis for Concurrent Constraint Programs
A Dataset of Contractual Events in Court Decisions
A Predicate Transformer for Unification
Hybrid Implementation Techniques in Erlang BEAM
aspeed: ASP-based Solver Scheduling
Specification of Complex Systems with Definite Clause Grammar (Poster Abstract)
Controlling Search in Funtional Logic Programs
KL1 Execution Model for PIM Cluster with Shared Memory
On the Complexity of Unification Sequences
Control Generation for Logic Programs
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration
Generic Tableaux for Answer Set Programming
On Enabling the WAM with Region Support
A Lisp-machine to Implement Prolog
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality
Partial Inductive Definitions (Tutorial)
The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler
User Defined Indexing
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure
A Matching Tree Oriented Abstract Machine for Prolog
Minimal Logic Programs
Generality Relations in Answer Set Programming
Observable Confluence for Constraint Handling Rules
Logic Engines as Interactors
Answering Queries in Deductive Database Systems
Notes on the Design of an Open Boolean Solver
The Pi Calculus and Its Applications (Keynote Address)
Extending S-Models to Logic Programs with Negation
A Different Look at Garbage Collection for the WAM
Initial Results of the Parallel Implementation of DASWAM
Knowledge Representation of New HELIC II
Explanations Generation For Web Service Workflow
Automatic Termination Analysis of Logic Programs
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations
Horn Logic Denotations
Methods for Solving Extremal Problems in Practice
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
Local Branching in a Constraint Programming Framework
Intractable Unifiability Problems and Backtracking
Connecting Propagators with a Concurrent Constraint Language
Modelling Human-Computer Interactions in a Friendly Interface
Constraint Answer Set Programming Systems
Perfect Model Semantics for Logic Programs with Equality
Disjunctive Logic Programs with Inheritance
JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR
Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming
Abductive Planning with Event Calculus
A Layer Architecture for the Integration of Rules, Inheritance, and Constraints
Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
Formalizing Informal Logic and Natural Language Deductivism
Constraint Handling, Garbage Collection and Execution Model Issues in ElipSys
Optimal haplotype reconstruction in half-sib families
Towards Local Search for Answer Sets
A Speech about Generative Datalog and Non-measurable Sets
Transaction Logic with Defaults and Argumentation Theories
The Competition Model for Parallel Execution of Logic Programs
Efficient Evaluation of Logic Programs for Querying Data Integration Systems
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling
Resource-Oriented Deadlock Analysis
Sequential and Concurrent Deterministic Logic Grammars
Teaching Prolog Integrated in a Multiparadigm Language
A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm
Proving Termination of GHC Programs
A Flexible Solver for Finite Arithmetic Circuits
Natural Language Question Answering with Goal-directed Answer Set Programming
Efficient Management of Backtracking in AND-Parallelism
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics
Nonmonotonic Logic Programs for the Semantic Web
Unfold/Fold Transformation of Stratified Programs
An Overview of DASWAM - An Implementation of DDAS
Answer Set Programming and the Design of Deliberative Agents
Automated Analysis of CLP(FD) Program Execution Traces
A Compositional Typed Higher-Order Logic with Definitions
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems
Building Health Policy Enforcement Solution Based on HL7 FHIR
Herbrand Methods in Sequent Calculi: Unification in LL
Relational Production Systems and Logic Programs
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
Memory Performance of Lisp and Prolog Programs
Structural Resolution for Logic Programming
Static Type Checking for the Q Functional Language in Prolog
A Hierarchical Associative Memory Architecture for Logic Programming Unification
Heuristic Logic and the Process of Discovery
A Transformational View of Inheritance in Logic Programming
Surviving Solver Sensitivity: An ASP Practitioner's Guide
Global Optimization Problems for Database Logic Programs
Higher-Order Unification as a Theorem Proving Procedure
A Data Driven Static Model for the Execution of Logic Programs on Dist. Memory Systems
Restriction Site Mapping in CLP(R)
Continuity, Consistency, and Completeness Properties for Logic Programs
Colour Tagging for Prolog Visualization (Poster Abstract)
Teaching Logic as a Computer Language in Schools
Adding Preferences to Answer Set Planning
Co-operative Hierarchical Layout Problem Solver on Parallel Inference Machine
A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases
Embedding Defeasible Logic into Logic Programs
Interprocess Communication in Concurrent Prolog
On the Representation and Management of Finite Sets in CLP Languages
CARMEL-4: The Unify-Spawn Machine for FCP
Real-size Compiler Writing Using Prolog with Arrows
A New Proof-Theoretical Linear Semantics for CHR
Software Development and Logic Programming
Toward an Inductionless Technique for Proving Properties of Logic Programs
Aspects of Constraint Solving for AKL (Extended Abstract)
Yet Another Intelligent Backtracking Method
Register Allocation in WAM
Semantical Properties of SLD-Resolution with Reflection
Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment
Generating Deductive Database Explanations
The DLV Project: A Tour from Theory and Research to Applications and Market
On Type-directed Generation of Lambda Terms
A Prolog based Semantics of a Dedicated Process Modeling Language
A Fast Prolog-Based Production System KORE/IE
Unification for a Prolog Data Base Machine
The Use of Different Representation Technique in Validation & Verification of Legal KB-System
Eager and Lazy Enumerations in Concurrent Prolog
Deductive Databases: Implementation, Parallelism and Applications
Combining Situation Calculus and Event Calculus
Automatic Complexity Analysis of Logic Programs
Towards a Clean Amalgamation of Logic Programs with External Procedures
A Declarative View of Inheritance in Logic Programming
Logic Semantics for a Class of Committed-Choice Programs
A Logic Programming View of Authorization in Distributed Systems
Positive Boolean Functions as Multiheaded Clauses
BAAC: A Prolog System for Action Description and Agents Coordination
Representing Actions in Extended Logic Programming
Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified
An Architectural Model for a Flat Concurrent Prolog Processor
Procedures in Horn-Clause Programming
Logical Grammars Based on Constraint Handling Rules
Adding Flexibility to Query Evaluation for Modularly Stratified Databases
A New Procedural Interpretation of Horn Clauses with Equality
Towards Possibilistic Logic Programming
Architected Failure Handling for AND-Parallel Logic Programs
Using Proof Theory to Optimize Proof Search
Logic Programs with Annotated Disjunctions
ASP at Work: An ASP Implementation of PhyloWS
A Statistical Learning Method for Logic Programs with Distribution Semantics
Query Restricted Bottom-Up Evaluation of Normal Logic Programs
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas
Sampling and probabilistic inference in D/Slps
Applications of Logic Programming in Software Process Modeling
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis
Intelligent Instantiation and Supersafe Rules
Memory Management in Quintus Prolog
Semantics of Logic Programs
(Re)Integration of Logical English and s(CASP)
Understanding Finiteness Analysis Using Abstract Interpretation
Speeding up Lazy-Grounding Answer Set Solving
Optimization of CHR Propagation Rules
Concurrent Logic Programs a la Mode
Abstract Domains: a Model-Theoretic approach
Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs
Overall design of SIMPOS
Natural Language Generation From Ontologies Using Grammatical Framework
Reactive Logic Programming by Reinforcement Learning
Automating Termination Proofs for CHR
Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs
A Pragmatic Approach to Equational Logic Programming
Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security
NUA-Prolog: An Extension to the WAM for Parallel Andorra
The Pyglaf Argumentation Reasoner
The Functional Perspective on Advanced Logic Programming
Answer Sets and Negation-as-Failure
Some Paradigms for Visualizing Parallel Execution of Logic Programs
Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming
Entailment of Finite Domain Constraints
Extending Definite Clause Grammars with Scoping Constructs
A Relevant Scheme for Prolog Extensions: CLP(Conceptual Theory)
Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs
FDBG, the CLPFD Debugger Library of SICStus Prolog
Higher Order Support in Logic Specification Languages for Data Mining Applications
Efficient Integration of Declarative Paradigms into Symbolic Computation Systems
Incremental Re-evaluation of LDL Queries
The Correspondence Between the Logical Algorithms Language and CHR
Logic Programming with Requests
Taking I/O Seriously: Resolution Reconsidered for Disk
From Prolog and Zelta to ToonTalk
Translating Definitions into the Language of Logic Programming: A Case Study
Coinductive Logic Programming
Perspectives on Constraints, Process Algebras, and Hybrid Systems
An Empirical Study on the Potential of Search Parallelism on MIMD Architecture
Introspecting Preferences in Answer Set Programming
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming
Computable Functions in ASP: Theory and Implementation
Inference in Probabilistic Logic Programs Using Lifted Explanations
Negative Ternary Set-Sharing
Logic Grammars and Lambda-Prolog
Representing Linguistic Knowledge through Logic Programming
Sets and Nondeterminism
The Stable Models of a Predicate Logic Program
Safe Formulas in the General Theory of Stable Models (Preliminary Report)
Concurrent and Local Evaluation of Normal Programs
Logic Programming in Knowledge Domains
Use of Logic Programming for Complex Business Rules
A Type Based Debugging Tool for Untyped Logic Languages
Asserting Lemmas in the Stable Model Semantics
AND-Parallelism without Shared Variables
Multivalued Action Languages with Constraints in CLP(FD)
Logic Programming in Tabular Allegories
Constrained Default Logic Programming
Program Dependence Analysis of Concurrent Logic Programs and Its Applications
Integration of Traditional Scheduling Techniques and AI on Prolog Basis
Constructing Logic Programs with Higher-Order Predicates
Development of an Automatic Testing Environment for Mercury
Diagnosing Non-Well-Moded Concurrent Logic Programs
Bounded Nondeterminism of Logic Programs
On the Semantics of Logic Programing Languages
Past-present temporal programs over finite traces: a preliminary report
Attributed Data for CHR Indexing
Parallel Bounded Quantifiers - Preliminary Results
Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets
Modelling Multi-agent Reactive Systems
Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, Budapest, Hungary, September 4-8, 2012
Towards Temporal Contextual Logic Programming
Logic Programming for Language Processing
Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection
Dynamic Magic Sets for Disjunctive Datalog Programs
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates
Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991
Shared Memory Execution of Committed-choice Languages
Capturing Fair Computations on Concurrent Constraint Language
Turbo Erlang: Approaching the Speed of C
Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments
Top-Down Integrity Constraint Checking for Deductive Databases
Deductive Multi-valued Model Checking
Verification of Logic Programs and Imperative Programs
A Comparison of the Logic Programming Language Prolog with Two-levels Grammars
The Complexity of Model Checking in Modal Event Calculi
Scheduling Or-Parallelism in Muse
Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract)
CHR^vis: Syntax and Semantics
Proving (total) correctness of Prolog programs
Transforming Delimited Control: Achieving Faster Effect Handlers
A Polymorphic Type System for Prolog
An Approach to the Declarative Semantics of Synchronization in Logic Languages
User-Definable Resource Bounds Analysis for Logic Programs
Deontic and Diagnostic Reasoning
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
From Probabilistic Programming to Probabilistic Argumentation
Multi-Prolog: Definition, Operational Semantics and Implementation
Performance of the Compiler-Based Andorra-I System
Efficient Term Size Computation for Granularity Control
Declarative Pruning in a Functional Query Language
A Simple Near-Horn Prolog Interpreter
Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems
Arithmetic Classification of Perfect Models of Stratified Programs
PP-clauses: A Means for Handling Resources
Cutting-Edge Timing Analysis Techniques
Parallel Evaluation Strategies for Functional Logic Languages
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog
Towards Structured Contexts and Modules
Interfacing Prolog to a Persistent Data Store
Computing Prioritized Circumscription by Logic Programming
Composing Normal Programs with Function Symbols
Modelling Infectious Disease Dynamics with Probabilistic Logic Programming
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation
Appositive Projection as Implicit Context Extension in Dependent Type Semantics
Two Places Where We Need Plug-Negation in Update Semantics: Symmetrical Presupposition Filtering and Exclusive Disjunction
Constraining Parse Ambiguity with Grammatical Codes
A Structured Witness Approach to Pair-List Answers of wh-Questions with Plural Definites
Logic and Engineering of Natural Language Semantics - 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
Granularity in Number and Polarity Effects
Additivity in Attention Semantics
Internal Reading and Reciprocity
Perspective and the Self in Experiential Attitude Reports
Semantics of Propositional Attitudes in Type-Theory of Algorithms
Intonational Meaning at the Limits of Grammar
Detecting Modality and Evidentiality - Against Purely Temporal-Aspectual Analyses of the German Semi-Modal Drohen
Deriving Formal Semantic Representations from Dependency Structures
Logic and Engineering of Natural Language Semantics - 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
Slurs' Variability, Emotional Dimensions, and Game-Theoretic Pragmatics
Dot-to-Dot Semantic Representation
Putting the Argumentative Perspective Under Discussion - QUD vs. Argumentative Goals
The Semantic Markedness of the Japanese Negative Preterite: Non-existence of (Positive) Eventualities vs. Existence of Negative Eventualities
Negation and Information Structure in Tree-Wrapping Grammar