yusuke1997/dblp-id-title huggingface dataset:
Constraint answer set solver EZCSP and why integration schemas matter
SICStus Prolog - The first 25 years
The Expressive Power of Higher-Order Datalog
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP
A multi-engine approach to answer-set programming
Optimization of bound disjunctive queries with constraints
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming
The ICLP 2013 Doctoral Consortium
Using linear constraints for logic program termination analysis
Abstract gringo
Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5
The External Interface for Extending WASP
A refinement calculus for logic programs
Multivalued action languages with constraints in CLP(FD)
Logic programs with monotone abstract constraint atoms
Flexible coinductive logic programming
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022)
Inference in probabilistic logic programs with continuous random variables
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
On redundancy elimination tolerant scheduling rules
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
VeriFly: On-the-fly Assertion Checking via Incrementality
AC-KBO revisited
Reasoning about Triggered Scenarios in Logic Programming
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments
Iterative Learning of Answer Set Programs from Context Dependent Examples
A goal-directed implementation of query answering for hybrid MKNF knowledge bases
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
Three Optimisations for Sharing
Taming primary key violations to query large inconsistent data via ASP
Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages
Selected Papers from Datalog 2.0 2022
Soundness, idempotence and commutativity of set-sharing
Parallel backtracking with answer memoing for independent and-parallelism
Automatic music composition using answer set programming
Constraint Answer Set Programming without Grounding
A Module System for Domain-Specific Languages
Integration of declarative and constraint programming
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
Order-consistent programs are cautiously monotonic
Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
Experimenting with recursive queries in database and logic programming systems
ECL i PS e - From LP to CLP
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
Representing first-order causal theories by logic programs
Forward slicing of functional logic programs by partial evaluation
cTI: A constraint-based termination inference tool for ISO-Prolog
Propositional theories are strongly equivalent to logic programs
Using Methods of Declarative Logic Programming for Intelligent Information Agents
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More
Using sequential runtime distributions for the parallel speedup prediction of SAT local search
Sequence-based abstract interpretation of Prolog
EPspectra: a formal toolkit for developing DSP software applications
On Establishing Robust Consistency in Answer Set Programs
A Comparative Study of Some Central Notions of ASPIC+ and DeLP
Two results for prioritized logic programming
Towards Metric Temporal Answer Set Programming
Modal Logic S5 Satisfiability in Answer Set Programming
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings
External Behavior of a Logic Program and Verification of Refactoring
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming
Answering the "why" in answer set programming - A survey of explanation approaches
A practical analysis of non-termination in large logic programs
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
Exploring the Jungle of Intuitionistic Temporal Logics
Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language
Coding guidelines for Prolog
Assertion-based analysis via slicing with ABETS
Introduction to the special issue on the 25th annual GULP conference
Testing and debugging techniques for answer set solver development
Optimizing Probabilities in Probabilistic Logic Programs
Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description)
Improving Prolog programs: Refactoring for Prolog
Strong equivalence made easy: nested expressions and weight constraints
A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Efficient description logic reasoning in Prolog: The DLog system
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming
sm ProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Analysis and Transformation of Constrained Horn Clauses for Program Verification
Lock-free atom garbage collection for multithreaded Prolog - ERRATUM
Introduction to the 38th International Conference on Logic Programming Special Issue II
Towards Constraint Temporal Answer Set Programming
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
CLAIRE: Combining sets, search and rules to better express algorithms
Book Review - Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press, 2000, ISBN 0521652006, (hardback), ISBN 0521656028, (paperback)
Catamorphic Abstractions for Constrained Horn Clause Satisfiability
Functional answer set programming
Reasoning on with Defeasibility in ASP
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions
Introduction to the 40 th International Conference On Logic Programming Special Issue
Knowledge-Based Stable Roommates Problem: A Real-World Application
Logic: A Brief Course by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp
Efficient Groundness Analysis in Prolog
Active integrity constraints and revision programming
A comparison between two logical formalisms for rewriting
On the abductive or deductive nature of database schema validation and update processing problems
CON-FOLD Explainable Machine Learning with Confidence
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction
Making ProB Compatible with SWI-Prolog
Updates in answer set programming: An approach based on basic structural properties
Logic + control: On program construction and verification
Existential Notation3 Logic
αCheck: A mechanized metatheory model checker
On combining linear-based strategies for tabled evaluation of logic programs
Detecting inconsistencies in large biological networks with answer set programming
Representing hybrid automata by action language modulo theories
Abstract interpretation of temporal concurrent constraint programs
Efficiently Coupling the I-DLV Grounder with ASP Solvers
Mathematical Logic: Foundations for Information Science by Wei Li, Birkhäuser, Berlin, 2010. Hardcover, ISBN-978-3-7643-9976-4
Symbolic Analysis of Maude Theories with Narval
Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs
The Stable Model Semantics of Datalog with Metric Temporal Operators
Compiling finite domain constraints to SAT with BEE
The Seventh Answer Set Programming Competition: Design and Results
Logic programming as a service
White-box Induction From SVM Models: Explainable AI with Logic Programming
An ASP Approach to Query Completeness Reasoning
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum
co-LP: Back to the Roots
A uniform approach to logic programming semantics
Splitting a Disjunctive Logic Program
The Temporal Vadalog System: Temporal Datalog-Based Reasoning
On equivalence of infinitary formulas under the stable model semantics
Normative design using inductive learning
Temporal logic programs with variables
The Deductive Database System LDL++
Contractibility for open global constraints
Modular Constraint Solver Cooperation via Abstract Interpretation
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
A declarative semantics for CLP with qualification and proximity
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3
Actual causation in CP-logic
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II
A model building framework for answer set programming with external computations
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Exploiting Game Theory for Analysing Justifications
Cautious reasoning in ASP via minimal models and unsatisfiable cores
XSB: Extending Prolog with Tabled Logic Programming
Special Issue on Program Development, Guest Editors' Introduction
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Experimenting with robotic intra-logistics domains
An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus
Delimited continuations for prolog
Parallelism, concurrency and distribution in constraint handling rules: A survey
The Probabilistic Description Logic
On the implementation of the probabilistic logic programming language ProbLog
A review of literature on parallel constraint solving
Complexity of Faceted Explanations in Propositional Abduction
Porting and refactoring Prolog programs: the PROSYN case study
Classes of terminating logic programs
I-DLV-sr: A Stream Reasoning System based on I-DLV
PhD theses surpervised by Alain Colmerauer
Modular action language
The Munich Rent Advisor: A Success for Logic Programming on the Internet
A denotational semantics for equilibrium logic
An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages
Locally Tight Programs
A Measure of Arbitrariness in Abductive Explanations
The witness properties and the semantics of the Prolog cut
Relating weight constraint and aggregate programs: Semantics and representation
Distributed Subweb Specifications for Traversing the Web
Failure tabled constraint logic programming by interpolation
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
Enhancing Magic Sets with an Application to Ontological Reasoning
Truth versus information in logic programming
Improved answer-set programming encodings for abstract argumentation
On elementary loops of logic programs
Fast Frequent Querying with Lazy Control Flow Compilation
Introducing Dynamic Behavior in Amalgamated Knowledge Bases
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
A common view on strong, uniform, and other notions of equivalence in answer-set programming
First-order Answer Set Programming as Constructive Proof Search
Property-Based Testing by Elaborating Proof Outlines
Certified Graph View Maintenance with Regular Datalog
ABA-Based Answer Set Justification
Answer Set Planning: A Survey
Certificate size reduction in abstraction-carrying code
Integrating Cardinality Constraints into Constraint Logic Programming with Sets
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
A semantic framework for preference handling in answer set programming
Non-monotonic spatial reasoning with answer set programming modulo theories
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games
Chain Programs for Writing Deterministic Metainterpreters
Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM
A general framework for static profiling of parametric resource usage - CORRIGENDUM
Offline specialisation in Prolog using a hand-written compiler generator
Combining Answer Set Programs for Adaptive and Reactive Reasoning
An iterative approach to precondition inference using constrained Horn clauses
Property-Based Testing for Spark Streaming
Justifications for programs with disjunctive and causal-choice rules
About Epistemic Negation and World Views in Epistemic Logic Programs
Application Placement with Constraint Relaxation
Better Paracoherent Answer Sets with Less Resources
Expressiveness of communication in answer set programming
Optimal union-find in Constraint Handling Rules
Editorial: 29th International conference on logic programming special issue - ADDENDUM
Temporal Answer Set Programming on Finite Traces
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them
The third open answer set programming competition
Implementing Backjumping by Means of Exception Handling
Learning in a Compiler for MINSAT Algorithms
Inference with constrained hidden Markov models in PRISM
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Applying Prolog to develop distributed systems
Description and Optimization of Abstract Machines in a Dialect of Prolog
The pragmatic proof: Hypermedia API composition and execution
Declarative semantics for active rules
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
Improving ASP-Based ORS Schedules through Machine Learning Predictions
Well-founded operators for normal hybrid MKNF knowledge bases
Past and present (and future) of parallel and distributed computation in (constraint) logic programming
On Lower Bounding Minimal Model Count
Solving Advanced Argumentation Problems with Answer Set Programming
Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0
On local domain symmetry for model expansion
Constraint Logic Programming with Hereditary Harrop Formula
Enabling reasoning with LegalRuleML
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming
Precise complexity guarantees for pointer analysis via Datalog with extensions
Linear tabulated resolution based on Prolog control strategy
Composing Programs in a Rewriting Logic for Declarative Programming
A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs
A linear algebraic approach to datalog evaluation
A declarative approach to distributed computing: Specification, execution and analysis
Abstract answer set solvers with backjumping and learning
A Brief History of Updates of Answer-Set Programs
Applying Constraint Logic Programming to SQL Semantic Analysis
Plingo: A System for Probabilistic Reasoning in Answer Set Programming
Consistent query answering via ASP from different perspectives: Theory and practice
Tabling as a library with delimited control
Anti-unification in Constraint Logic Programming
An event calculus production rule system for reasoning in dynamic and uncertain domains
Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, ISBN 0-521-82583-0
Logic-Based Specification Languages for Intelligent Software Agents
Disjunctive answer set solvers via templates
An interactive semantics of logic programming
Resource Analysis driven by (Conditional) Termination Proofs
O(1) reversible tree navigation without cycle
On Properties of Update Sequences Based on Causal Rejection
Contextual Abductive Reasoning with Side-Effects
Efficient TBox Reasoning with Value Restrictions using the ℱℒ 0 wer Reasoner
Incremental and Modular Context-sensitive Analysis
Introduction to the special issue on the International Web Rule Symposia 2012-2014
Intelligent search strategies based on adaptive Constraint Handling Rules
Complex optimization in answer set programming
Relating Two Dialects of Answer Set Programming
Annotation of logic programs for independent AND-parallelism by partial evaluation
Clingcon: The next generation
Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
Multi-threading and Message Communication in Qu-Prolog
Model enumeration in propositional circumscription via unsatisfiable core analysis
Argumentation for Answer Set Programming and other Non-monotonic Reasoning Systems
Abstract Diagnosis for tccp using a Linear Temporal Logic
Towards closed world reasoning in dynamic open worlds
Disjunctive logic programs with existential quantification in rule heads
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Strong Equivalence of Logic Programs with Counting
Weight constraints as nested expressions
Using Tabled Logic Programming to Solve the Petrobras Planning Problem
Reasoning support for risk prediction and prevention in independent living
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation
ANTHEM 2.0: Automated Reasoning for Answer Set Programming
Characterizing Boundedness in Chase Variants
Reasoning about actions with Temporal Answer Sets
Preferred extensions as stable models
Querying incomplete data over extended ER schemata
Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge
Decomposing non-redundant sharing by complementation
Productive corecursion in logic programming
Integrating Belief Domains into Probabilistic Logic Programs
The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
Introduction to the 30th International Conference on Logic Programming Special Issue
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
Quantifying over Optimum Answer Sets
A Transformational Approach to Resource Analysis with Typed-norms Inference
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
A new algorithm to automate inductive learning of default theories
Tabling, Rational Terms, and Coinduction Finally Together!
Toward A Logical Theory Of Fairness and Bias
Complexity and compilation of GZ-aggregates in answer set programming
Using parametric set constraints for locating errors in CLP programs
Handling defeasibilities in action domains
Geometric Searchable Encryption Without False Positive And Its Applications
Information Systems Design Methodologies - Book Reviews
EFTA: An Efficient and Fault-Tolerant Data Aggregation Scheme without TTP in Smart Grid
Two Reflected Gray Code-Based Orders on Some Restricted Growth Sequences
Displaying Random Surfaces
Performance Evaluation of Machine Learning Techniques for Fault Diagnosis in Vehicle Fleet Tracking Modules
Towards Efficient Yet Privacy-Preserving Approximate Search in Cloud Computing
Fuzzy Approach for Semantic Face Image Retrieval
Data Structures for Calatogues of Sound Recordings
Identifying Compiler Options to Minimize Energy Consumption for Embedded Platforms
Interpolation - Mainly for Graph Plotters
Near Real-Time Social Distance Estimation In London
Mathematics in Business
Multi-key Fully Homomorphic Encryption from Additive Homomorphism
Interpolation Attacks on Round-Reduced Elephant, Kravatte and Xoofff
On the correlation between Google Play Store application icons and downloads
A Survey on Sensor Networks from a Multiagent Perspective
Redis-Based Messaging Queue and Cache-Enabled Parallel Processing Social Media Analytics Framework
A Logical Basis for Component-Oriented Software and Systems Engineering
A Fast Algorithm for Computing Order-K Fibonacci Numbers
Stochastic pi-Calculus
Comment on 'Attribute-Based Signatures for Supporting Anonymous Certification' by N. Kaaniche and M. Laurent (ESORICS 2016)
The Agreement Problem in Unreliable Scale-Free Networks
Character Coding for Bibliographical Record Control
An index directed compiler
Improving value factorization for multi-agent deep reinforcement learning via individual contribution
Modelling Security of Critical Infrastructures: A Survivability Assessment
Review: Book Review
Project 'Clear Skies': Teaching Computer Science by Computer Based Training and Electronic Messaging in China
On the Static Access-Control Mechanism in Concurrent Pascal
The Burrows-Wheeler Transform for Block Sorting Text Compression: Principles and Improvements
Reading From Paper Versus Reading From Screen
Model-Based Comparison of Cloud-Edge Computing Resource Allocation Policies
An Auction-Based Approach for Group Task Allocation in an Open Network Environment
Occupancy Models for the Estimation of Block Accesses
An Architecture for Kernel-Level Verification of Executables at Run Time
Microcomputers in Computer Science Programmes
Analysis of the Purchase Option of Computers
Knowledge distillation with adaptive frequency prompting
Book Review: Progress in Operations Research, Vol. II, edited by David B. Hertz and Roger T. Eddison, 1964; 455 pages
Unified Protocols of Concurrency Control and Recovery in Distributed Object-based Databases
Phrase Structures in FORTRAN
Representing Business Policies in the Jackson System Development Method
A Note on Computational Methods for Input-Output Econometric Models
The Implementation and Use of Sparse Matrix Techniques in General Simulation Programs
MoG: Behavior-Obfuscation Resistance Malware Detection
A Comparison of Text Retrieval Models
Mining Large-Scale GPS Streams for Connectivity Refinement of Road Maps
A Note on the Efficiency of an Interval Routing Algorithm
Generalized Distance Functions in the Theory of Computation
Machine Distinguishing Experiments
Data Visualization Operators for WHOWEDA
Comments on 'Efficient Revocable Certificateless Encryption Secure in the Standard Model'
Book Review: Sampling Systems Theory and its Application, Volumes 1 and 2, by Ya. Z. Tsypkin, 1964; 742 pages
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks
Skeleton Searching Strategy for Recommender Searching Mechanism of Trust-Aware Recommender Systems
Sparse Backdoor Attack Against Neural Networks
An Algebra System
Novel Quadratic Fuzzy c -Means Algorithms for Effective Data Clustering Problems
The preparation of examination time-tables using a small-store computer
On Certifying Instances of Zero-Clairvoyant Scheduling
Topological and Spectral Properties of Small-World Hierarchical Graphs
John E. Gibson, William T. Scherer and William F. Gibson: How to do Systems Analysis. Wiley (2007). ISBN-13: 978-0-470-00765-5, 360 pp
The Microsoft Data Warehouse Toolkit
Interpreting Technical Drawings
Process Synchronisation in MASCOT
Streaming Covariance Selection with Applications to Adaptive Querying in Sensor Networks
A Higher-Order Approach to Parallel Algorithms
Interference and Coverage Modeling for Indoor Terahertz Communications with Beamforming Antennas
A Hierarchical Non-interactive Key-Sharing Scheme with Low Memory Size and High Resistance against Collusion Attacks
Single-machine scheduling with simultaneous considerations of resource allocation and deteriorating jobs