yusuke1997/dblp-id-title huggingface dataset:
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report
Frappé: Functional Reactive Programming in Java
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs
Computing with Catalan Families, Generically
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
Interoperating Logic Engines
Translating Description Logic Queries to Prolog
One Table Fits All
The KB Paradigm and Its Application to Interactive Configuration
Soft Constraints for Security Protocol Analysis: Confidentiality
Implementation of a Linear Tabling Mechanism
A Functional Logic Programming Approach to Graphical User Interfaces
A Weighted Bipolar Argumentation Framework and Its ASP-Based Implementation
Operational Semantics for Declarative Networking
Symbolic Execution of Behavioral Requirements
Automating Mathematical Program Transformations
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning
A Debugging Scheme for Declarative Equation Based Modeling Languages
Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
Intel Core TM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework
SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
C3G: Causally Constrained Counterfactual Generation
BAD, a Declarative Logic-Based Language for Brain Modeling
Construction and Optimization of a Parallel Engine for Answer Set Programming
Virtualizing Real-World Objects in FRP
Using a Declarative Language to Build an Experimental Analysis Tool
Toward a Practical Module System for ACL2
HPorter: Using Arrows to Compose Parallel Processes
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs
ECLiPSe: Declarative Specification and Scaleable Implementation
From Subject Directories to Subject Meta-directories via Declarative Programming
Programming Goal-Driven Web Sites Using an Agent Logic Language
Explicitly Typed Exceptions for Haskell
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
Results on Out-of-Order Event Processing
Algebraic Knowledge Discovery Using Haskell
A Logical Framework for Modelling eMAS
Handshaking in Kansas Lava Using Patch Logic
Plato: A Compiler for Interactive Web Forms
CHAT: The Copy-Hybrid Approach to Tabling
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs
Logic Programming Techniques for Dynamic VRML Web Content Generation
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools
Querying Complex Graphs
Switched-On Yampa
Green Application Placement in the Cloud-IoT Continuum
Developing a Declarative Rule Language for Applications in Product Configuration
Transformation-by-Example for XML
Parser Combinators for Ambiguous Left-Recursive Grammars
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars
Constraint Database Models Characterizing Timed Bisimilarity
Efficient Application of Answer Set Programming for Advanced Data Integration
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers
Typing the Numeric Tower
On the Portability of Prolog Applications
Integrating XPath with the Functional-Logic Language Toy
Generic Generic Programming
A Declarative DSL for Customizing ASCII Art
Observing Functional Logic Computations
Implementing a Declarative String Query Language with String Restructuring
Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
USA-Smart: Improving the Quality of Plans in Answer Set Planning
Parallel Performance of Declarative Programming Using a PGAS Model
Lazy Explanations for Constraint Propagators
Event-Driven FRP
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell
Exploiting Database Management Systems and Treewidth for Counting
The Program Inverter LRinv and Its Structure
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics
Synchronous Message-Passing with Priority
Functional Framework for Sound Synthesis
Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning
Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Personalized Course Schedule Planning Using Answer Set Programming
Towards Modeling Morality Computationally with Logic Programming
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
A Declarative Specification of Giant Number Arithmetic
Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings
Safe Programming with Pointers Through Stateful Views
Palovca: Describing and Executing Graph Algorithms in Haskell
Specializing Narrowing for Timetable Generation: A Case Study
A Portable and Efficient Implementation of Coinductive Logic Programming
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs
ACTILOG: An Agent Activation Language
High-Level Interaction with Relational Databases in Logic Programming
Character-Based Cladistics and Answer Set Programming
Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces
Exploiting Term Hiding to Reduce Run-Time Checking Overhead
Supporting Pruning in Tabled LP
Resource-Safe Systems Programming with Embedded Domain Specific Languages
A Library for Declarative Resolution-Independent 2D Graphics
Segment Order Preserving and Generational Garbage Collection for Prolog
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs
A GPU Implementation of the ASP Computation
Nettle: Taking the Sting Out of Programming Network Routers
Variability-Aware Datalog
Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces
Lambda in Motion: Controlling Robots with Haskell
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
Compiling High-Level Type Constructors in Constraint Programming
Hardware Implementation of OCaml Using a Synchronous Functional Language
Interactive Text Graph Mining with a Prolog-based Dialog Engine
Role-Based Declarative Synchronization for Reconfigurable Systems
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings
Using Dominators for Solving Constrained Path Problems
Symbolic Execution of Concurrent Objects in CLP
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs
Expand: Towards an Extensible Pandoc System
The Picat-SAT Compiler
FVision: A Declarative Language for Visual Tracking
Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings
Compact Lists for Tabled Evaluation
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
Execution Time Program Verification with Tight Bounds
Matchete: Paths through the Pattern Matching Jungle
Canonicalizing High-Level Constructs in Picat
Simplifying Dynamic Programming via Tabling
Selection Equilibria of Higher-Order Games
A Direct ASP Encoding for Declare
Secure Implementation of Meta-predicates
Solving Hard Combinatorial Optimization Problems with PyQASP
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
From Monads to Effects and Back
Implementing Query Answering for Hybrid MKNF Knowledge Bases
How to Incorporate Negation in a Prolog Compiler
Combining Static Analysis and Profiling for Estimating Execution Times
Applying Logic Programming to Derive Novel Functional Information of Genomes
Automatic Verification of a Model Checker by Reflection
Unification of Arrays in Spreadsheets with Logic Programming
Flexible, Rule-Based Constraint Model Linearisation
Generic Cut Actions for External Prolog Predicates
Semantics-Based Filtering: Logic Programming's Killer App?
AQuA: ASP-Based Visual Question Answering
From Functional Animation to Sprite-Based Display
Solving Collaborative Fuzzy Agents Problems with CLP(FD)
An Algebraic Theory of Polymorphic Temporal Media
Using Constraints in Local Proofs for CLP Debugging
DALI for Cognitive Robotics: Principles and Prototype Implementation
Multiple Specialization of WAM Code
Production-Quality Proof-Carrying Code
Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination
VRASP: A Virtual Reality Environment for Learning Answer Set Programming
On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages
On k-colored Lambda Terms and Their Skeletons
Analysing the Entire Wikipedia History with Database Supported Haskell
Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding
Lambda Goes to Hollywood
A Functional Logic Perspective on Indentation-Sensitive Parsing
The Scenic Route to Deforestation - An Exercise in Applying Parametricity in Curry
A Family of Unification-Oblivious Program Transformations and Their Applications
Automatic Coding Rule Conformance Checking Using Logic Programming
A Strafunski Application Letter
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog
An ER-Based Framework for Declarative Web Programming
Lightweight Declarative Server-Side Web Programming
DCGs + Memoing = Packrat Parsing but Is It Worth It?
WAM Local Analysis
Data Validation Meets Answer Set Programming
ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia
Eliminating Irrelevant Non-determinism in Functional Logic Programs
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper)
Ad Hoc Data and the Token Ambiguity Problem
Or-Parallelism within Tabling
Asynchronous Reactive Programming with Modal Types in Haskell
Explanation and Knowledge Acquisition in Ad Hoc Teamwork
Tabling in Mercury: Design and Implementation
Hierarchical Master-Worker Skeletons
An Implementation of Session Types
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems
Recycle Your Arrays!
Specialising Simulator Generators for High-Performance Monte-Carlo Methods
On Preferring and Inspecting Abductive Models
Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings
Using Prolog to Translate Set Theory and B to SAT
Adding Apples and Oranges
Embedding Foreign Code
Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems
Generic Matching of Tree Regular Expressions over Haskell Data Types
An Efficient Compiler for the IDP-Z3 Knowledge Base System
Certified Development Tools Implementation in Objective Caml
Efficient Tabling of Structured Data Using Indexing and Program Transformation
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)
Checking Concurrency Coding Rules
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML
Declarative Programming and Clinical Medicine
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
Coupled Schema Transformation and Data Conversion for XML and SQL
Spatio-temporal Annotated Constraint Logic Programming
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings
Detection of Asynchronous Message Passing Errors Using Static Analysis
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport
Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs
A Domain-Specific Language Approach to Protocol Stack Implementation
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams
Automatic Rollback Suggestions for Incremental Datalog Evaluation
Haskino: A Remote Monad for Programming the Arduino
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic
QuickCheck Testing for Fun and Profit
A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database
On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
An Integrated Information System Powered by Prolog
A Hybrid BDD and SAT Finite Domain Constraint Solver
Non-monotonic Reasoning on Beowulf Platforms
A Segment-Swapping Approach for Executing Trapped Computations
Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Automatic Incrementalization of Prolog Based Static Analyses
Leveraging LLM Reasoning with Dual Horn Programs
State Space Planning Using Transaction Logic
Declarative Belief Set Merging Using Merging Plans
High-Level Database Programming in Curry
DATALOG with Constraints: A Foundation for Trust Management Languages
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming
A High-Level Generic Interface to External Programming Languages for ECLiPSe
University Timetabling Using Constraint Logic Programming
A Declarative-Friendly API for Web Document Manipulation
Aspect-Oriented Programming in Higher-Order and Linear Logic
Recent Advances in Declarative Networking
Formalizing and Reasoning About Supply Chain Contracts Between Agents
proSQLite: Prolog File Based Databases via an SQLite Interface
A Timed IO Monad
Reactive Single-Page Applications with Dynamic Dataflow
Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
Interoperability between Bioinformatics Tools: A Logic Programming Approach
Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings
The Joins Concurrency Library
State Generation in the PARMC Model Checker
Formalizing a Broader Recursion Coverage in SQL
Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
High Level Thread-Based Competitive Or-Parallelism in Logtalk
CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry
Modelling the Outlier Detection Problem in ASP(Q)
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog
RICE: An Optimizing Curry Compiler
A Constraint Programming Approach to Bioinformatics Structural Problems
High-Level Server Side Web Scripting in Curry
Partial Evaluation of Pointcuts
A Toolkit for Constraint-Based Inference Engines
sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper)
NP-SPEC: An Executable Specification Language for Solving All Problems in NP
Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007
Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings
Modeling Engineering Structures with Constrained Objects
Towards a More Practical Hybrid Probabilistic Logic Programming Framework
Programming Microcontrollers in OCaml: The OCaPIC Project
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures
Logic Programs for Querying Inconsistent Databases
Compiling Constraint Handling Rules for Efficient Tabled Evaluation
An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic
Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation
Kanor - A Declarative Language for Explicit Communication
How to Talk to Your Computer so that It Will Listen
Parallel Functional Reactive Programming
LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis
Classes of Arbitrary Kind
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications
Code Compression
Linear Algebraic Abduction with Partial Evaluation
Abstract Modular Inference Systems and Solvers
Determining Actual Response Time in P-FRP
Compiling Embedded Programs to Byte Code
Using Constraints for Intrusion Detection: The NeMODe System
Scheduling Light-Weight Parallelism in ArTCoP
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes
Declarative Debugging for Modern Networks
R CML : A Prescription for Safely Relaxing Synchrony
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic
Secure Deductive Databases
Modeling Genome Evolution with a DSEL for Probabilistic Programming
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
Automatic Program Rewriting in Non-Ground Answer Set Programs
Multi-agent Reactive Systems
Model-Based Testing of Thin-Client Web Applications and Navigation Input
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving
Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings
A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations
UUXML: A Type-Preserving XML Schema-Haskell Data Binding
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming
Web Programming with SMLserver
A Logic-Based Information System
Natural Language Generation from Ontologies
Declarative Programming of User Interfaces
Implementing Thread Cancellation in Multithreaded Prolog Systems
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
A Full Pattern-Based Paradigm for XML Query Processing
Typing XHTML Web Applications in ML
Improving Memory Usage in the BEAM
Programming Deep Concurrent Constraint Combinators
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report
Skeleton Composition Using Remote Data
From Zinc to Design Model
Data Mining the Yeast Genome in a Lazy Functional Language
Layered Models Top-Down Querying of Normal Logic Programs
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
Static Detection of Race Conditions in Erlang
Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
Client-Side Web Scripting with HaskellScript
An ASP Based Approach to Answering Questions for Natural Language Text
An Overview of PρLog
Answer Set Programming in 2010: A Personal Perspective
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs
Adding Constraint Solving to Mercury
Logic Programs as Compact Denotations
A One-Pass CPS Transform with Simulation on the Nose
An Ordered Logic Program Solver
Automated Playing of Survival Video Games with Commonsense Reasoning
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008
Improved Fusion for Optimizing Generics
Decomposition-Based Job-Shop Scheduling with Constrained Clustering
Simplifying Probabilistic Programs Using Computer Algebra
Program Synthesis Using Example Propagation
Type Class Directives
An A-Prolog Decision Support System for the Space Shuttle
Extending Answer Set Programs with Interpreted Functions as First-Class Citizens
JQuery: A Generic Code Browser with a Declarative Configuration Language
Labeling and Partial Local Consistency for Soft Constraint Programming
Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Multiple Query Satisfiability of Constrained Horn Clauses
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations)
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
Hygienic Source-Code Generation Using Functors - (Extended Abstract)
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
sf CircuitFlow: A Domain Specific Language for Dataflow Programming
A Return to Elegance: The Reapplication of Declarative Notation to Software Design
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
Whitebox Induction of Default Rules Using High-Utility Itemset Mining
Dead Code Elimination through Dependent Types
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
Multi-configurable Search Rules in Prolog and Application to Testing
Suspending and Resuming Computations in Engines for SLG Evaluation
Sloth - A Tool for Checking Minimal-Strictness
Combinators for Message-Passing in Haskell
Distributed Policy Specification and Interpretation with Classified Advertisements
RTMLton: An SML Runtime for Real-Time Systems
Pruning in the Extended Andorra Model
SwitchLog: A Logic Programming Language for Network Switches
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers
Implementing Equational Constraints in a Functional Language
FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability
Calculating a New Data Mining Algorithm for Market Basket Analysis
Solving Constraints on Sets of Spatial Objects
Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut
ActionScript In-Lined Reference Monitoring in Prolog
Sequence Quantification
Haskell Based Spreadsheets
Partial Type Signatures for Haskell
Declarative Debugging of XML Queries
People, Ideas, and the Path Ahead
An Ode to Arrows
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing
Solving Vehicle Equipment Specification Problems with Answer Set Programming
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language
Marketplace Logistics via Answer Set Programming
Efficient Top-Down Set-Sharing Analysis Using Cliques
Garbage Collection Algorithms for Java-Based Prolog Engines
HIPPO - A Declarative Graphical Modelling System
Exploring the Use of GPUs in Constraint Solving
Failing Faster: Overlapping Patterns for Property-Based Testing
Probabilistic Functional Logic Programming