yusuke1997/dblp-id-title huggingface dataset:
Observable behavior of distributed systems: Component reasoning for concurrent objects
Negation and Minimality in Disjunctive Databases
Efficient Bottom-UP Computation of Queries on Stratified Databases
A New Definition of SNDNF-Resolution
A Language for Programming in Logic with Finite Sets
Bestow and atomic: Concurrent programming using isolation, delegation and grouping
Rewriting preserving recognizability of finite tree languages
SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs
N-Prolog: An Extension of Prolog with Hypothetical Implications I
Exact real arithmetic using centred intervals and bounded error terms
Unsolvable Problems for SLDNF Resolution
Completion of Boolean algebras in MSet
A formally grounded software specification method
Relational properties of sequential composition of coalgebras
On Termination of General Logic Programs w.r.t. Constructive Negation
A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming
Completeness of SLDNF-Resolution for Nonfloundering Queries
Reversing computation in membrane systems
Join inverse categories and reversible recursion
Inference engine based on closure and join operators over Truth Table Binary Relations
A Study of Relevance for Learning in Deductive Databases
Why mathematics needs engineering
Relations and Kleene Algebras in Computer Science
A logic of reachable patterns in linked data-structures
Tracking CSP computations
Computing and visualizing banks sets of dominance relations using relation algebra and RelView
A New Term Representation Method for Prolog
An Approach to Natural-Language Semantics in Logic Programming
Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions
Syntax and consistent equation semantics of hybrid Chi
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008
Meta-agent programs
Principles and Implementation of Deductive Parsing
Clausal Intuitionistic Logic II - Tableau Proof Procedures
An Implementation of Narrowing
Operational semantics of Framed Tempura
Short Note: Procedural Semantics and Negative Information of Elementary Formal System
Automated verification of programs and Web systems
The SL synchronous language, revisited
Guest editors' introduction: Special issue on Process Theory for Hybrid Systems
Abstract Interpretation and Application to Logic Programs
Amalgamation of domain specific languages with behaviour
1983-1993: The Wonder Years of Sequential Prolog Implementation
Special Issue: Computational Linguistics and Logic Programming
Optimised determinisation and completion of finite tree automata
Editor's foreword
On detecting over-eager concurrency in asynchronously communicating concurrent object systems
Formally transforming user-model testing problems into implementer-model testing problems and viceversa
A Language for Updating Logic Programs and its Implementation
Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming
Transfinite Semantics in the Form of Greatest Fixpoint
Parallel Bottom-Up Processing of Datalog Queries
Effect-polymorphic behaviour inference for deadlock checking
Transformations of Logic Programs
Refutation Search for Horn Sets by a Subgoal-Extraction Method
A duality involving Borel spaces
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours
Thresholded semantic framework for a fully integrated fuzzy logic language
Induction of Logic Programs by Example-Guided Unfolding
Review of Foundations of Logic Programs
Design and Analysis of Hardware for High-Performance Prolog
Universality and semicomputability for nondeterministic programming languages over abstract algebras
Exploring nominal cellular automata
Relating two automata-based models of orchestration and choreography
Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation
A succinct canonical register automaton model
Termination of Logic Programs with Delay Declarations
Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation
The Semantics of Constraint Logic Programs
Algebraic models of correctness for abstract pipelines
Test generation from P systems using model checking
Relational lattices: From databases to universal algebra
Equivalence of Well-Founded and Stable Semantics
On the complemented disk algebra
Axiomatizing GSOS with termination
Performance of pipelined asynchronous systems
Contracts as games on event structures
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework
Rewriting-based repairing strategies for XML repositories
Run-Time Type Computations in the Warren Abstract Machine
Algebraic theory of probabilistic processes
The s-Semantics Approach: Theory and Applications
The Term Rewriting Approach to Automated Theorem Proving
The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA
A stable non-interleaving early operational semantics for the pi-calculus
Some Results on the Complexity of Exploiting Data Dependency in Parallel Logic Programs
Multiple Specialization using Minimal-Function Graph Semantics
On the closure of the diagonal of a T 1 -space
On Integrating Objects and Relations Using Multimethods
Positive loop-closed automata: a decidable class of hybrid systems
Algebraic-coalgebraic specification in CoCasl
Logic Program Synthesis
Termination of Well-Moded Programs
Incremental model checking of delta-oriented software product lines
An institution of modal logics for coalgebras
Model checking a cache coherence protocol of a Java DSM implementation
Executing and verifying higher-order functional-imperative programs in Maude
Multirelations with infinite computations
A Fixpoint Characterization of Abductive Logic Programs
Algebraic separation logic
Normal forms in total correctness for while programs and action systems
Causal-consistent rollback in a tuple-based language
Using Logic Programming and Coroutining for Electronic CAD
Efficient Program Synthesis in Computational Models
Characterizing and proving operational termination of deterministic conditional term rewriting systems
Dynamic updates of non-monotonic knowledge bases
Demand-driven interprocedural analysis for map-based abstract domains
Definite-Clause Set Grammars: A Formalism for Problem Solving
Combining Negation as Failure and Embedded Implications in Logic Programs
A Comparison of Three Prolog Extensions
An experience in using machine learning for short-term predictions in smart transportation systems
Extending SLD Resolution to Equational Horn Clauses using E-Unification
Success and Failure for Hereditary Harrop Formulae
Models of Inductive Synthesis
Logic Programming with Functions and Predicates: The Language BABEL
Convergence: Integrating termination and abort-freedom
Abstract interpretation of mobile systems
Numerical Reasoning with an ILP System Capable of Lazy Evaluation and Customised Search
A Generalization of the Differential Approach to Recursive Query Evaluation
Keep it fair: Equivalence and composition
Executable structural operational semantics in Maude
Implementing type systems for the IDE with Xsemantics
Certifying data in multiparty session types
Computing combinatorial types of trajectories in Pfaffian Dynamics
Content dependent information flow control
A perspective on specifying and verifying concurrent modules
Perspectives in Deductive Databases
HOTL: Hypotheses and observations testing logic
Using probabilistic Kleene algebra pKA for protocol verification
Implicit characterizations of FPTIME and NC revisited
A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses
A Simple Characterization of Uniform Boundedness for a Class of Recursions
Representing Actions: Laws, Observations and Hypotheses
Correct Answers to Allowed Programs and Queries are Ground
Orchestrated session compliance
Indexed induction-recursion
A Logical Analysis of Modules in Logic Programming
Reversible session-based pi-calculus
On Decompositions of Chain Datalog Programs into P (left-)linear 1-rule Components
Data-Parallel Concurrent Constraint Programming
Design, Implementation, and Evaluation of the Constraint Language cc(FD)
Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015)
On system rollback and totalized fields: An algebraic approach to system change
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra
Intuitionistic Deductive Databases and the Polynomial Time Hierarchy
Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types
Formally verifying exceptions for low-level code with separation logic
An extended framework for passive asynchronous testing
Tree regular model checking: A simulation-based approach
Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2
A structural approach to operational semantics
Generating two-terminal directed acyclic graphs with a given complexity index by constraint logic programming
Negation as Failure II
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement
Relations into algebras of probabilistic distributions
Partiality II: Constructed relation algebras
Discrete dualities for some algebras with relations
Kleisli, Parikh and Peleg compositions and liftings for multirelations
Realizable temporal logics for web service choreography
Generalized Constraint Propagation over the CLP Scheme
Behavioral interface description of an object-oriented language with futures and promises
Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
Precise numerical computation
Domain and range for angelic and demonic compositions
Automated debugging based on a constraint model of the program and a test case
Reasoning about interaction protocols for customizing web service selection and composition
Combining behavioural types with security analysis
A barred operational semantics for a subset of WS-CDL with time restrictions
Efficient Run-Time Type Checking of Typed Logic Programs
A logic-algebraic tool for reasoning with Knowledge-Based Systems
A High-Performance Low Risc Machine for Logic Programming
A framework for computing finite SLD trees
Opium: An Extendable Trace Analyzer for Prolog
An algebra of database preferences
The Expressive Power of Side Effects in Prolog
Inheritance in the join calculus
Global Optimizations in a Prolog Compiler for the TOAM
Probabilistic timed graph transformation systems
Behavioral complexity indicators for process algebra: The NKS approach
Session types and subtyping for orchestrated interactions
An Overview of Nonmonotonic Reasoning and Logic Programming
Ready to preorder: an algebraic and general proof
Abstract Domains for Reordering CLP(R Lin ) Programs
Book Review: Prolog for Programmers, by Feliks Kluzniak and Stanislaw Szpakowicz
Relational bytecode correlations
Flow Analysis of Dynamic Logic Programs
A Simple Test Improves Checking Satisfiability
Linearity and bisimulation
Machine Synthesis of Mathematical Theorems
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints
Non-Monotonic Reasoning with Logic Programming
Symmetric Heyting relation algebras with applications to hypergraphs
Deductive Query Languages for Recursively Typed Complex Objects
A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs
Introduction - ALP 1988
Subset Logic Programs and Their Implementation
Propositional Logic Programming and Priz System
An object based algebra for specifying a fault tolerant software architecture
Deconstructing Lawvere with distributive laws
Synthesis of secure adaptors
Reasoning on Constraints in CLP(FD)
Automatic Mode Inference for Logic Programs
Logic programming approach to automata-based decision procedures
On the Wadge reducibility of k-partitions
Variability encoding: From compile-time to load-time variability
ULTraS at work: Compositionality metaresults for bisimulation and trace semantics
Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees
Problems, solutions, and completions
Declarative event based models of concurrency and refinement in psi-calculi
A Declarative State Transition System
An algebraic approach to computations with progress
A Note of the Complexity of the Satisfiability of Modal Horn Clauses
Permission to speak: A logic for access control and conformance
Semantics of global view of choreographies
On Rewrite Programs: Semantics and Relationship with Prolog
Stable Inference as Intuitionistic Validity
Prolog for Structured Character Description and Font Design
Some undecidable properties of SOS specifications
Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults
Guest Editors' Foreword: Selected papers on "Streams and Algebra"
A stochastic interpretation of game logic
A survey of deductive database systems
Loop checking in partial deduction
Real number computation with committed choice logic programming languages
Behavioural semantics for asynchronous components
Semantics of (disjunctive) Logic Programs Based on Partial Evaluation
Quantitative analysis of weighted transition systems
Rule-based and object-based event structures for membrane systems
Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology
Infinite executions of lazy and strict computations
Completeness and Properness of Refinement Operators in Inductive Logic Programming
Guest Editors' Introduction: Special Section: Ten Years of Logic Programming
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra
Guest Editor's Introduction: Logic-based Heterogeneous Information Systems
Intelligent Data Retrieval in Prolog: An Illuminating Idea
A Hybrid Automata model of social networking addiction
An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P
Preferential choice and coordination conditions
A decentralised graphical implementation of mobile ambients
Rewriting semantics of production rule sets
Algorithms for Kleene algebra with converse
Interprocedural Analyses: A Comparison
Concurrent weighted logic
Rewriting logic bibliography by topic: 1990-2011
Integrity Constraint Checking in Stratified Databases
Guesteditors'introduction: Special issue on Structural Operational Semantics
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
Verifying an infinite systolic algorithm using third-order equational methods
Deciding Kleene algebra terms equivalence in Coq
Negative Subgoals with Free Variables
Formalization of Habanero phasers using Coq
The constructive reals as a Java library
Cut-free sequent systems for temporal logic
A unified framework for differential aggregations in Markovian process algebra
Lightening global types
Algebraic simulations
Introduction to the constraint language NCL
Higher-order linearisability
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments"
Non-bisimulation-based Markovian behavioral equivalences
On testing UML statecharts
General Failure of Logic Programs
Database Logic Programming
Structural and behavioural compatibility of graphical service specifications
Programming from metaphorisms
Making Prolog more Expressive
Interpretability of first-order linear temporal logics in fork algebras
Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics
AND-Parallel Execution of Logic Programs on a Shared-Memory Multiprocessor
Unified Logic Programming Approach to the Abduction of Plans and Intentions in Information-Seeking Dialogues
Static Analysis of Logic Programs for Independent And-Parallelism
Instrumenting a weakest precondition calculus for counterexample generation
Automatic Finite Unfolding Using Well-Founded Measures
Magic Sets with Full Sharing
A dynamic deontic logic for complex contracts
Equality, Types, Modules, and (Why not ?) Generics for Logic Programming
A Type System for Logic Programs
Programming from Galois connections
The NRL Protocol Analyzer: An Overview
Distributed system contract monitoring
Inductive Logic Programming: Theory and Methods
Gaussian elimination is not optimal, revisited
Reversible computation in term rewriting
Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs
A rewriting approach to binary decision diagrams
Algebraic models of behaviour and correctness of SMT and CMT processors
Rewriting Logic and its Applications (extended selected papers from WRLA 2014)
An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic
The proof monad
A calculus of quality for robustness against unreliable communication
Implementation of Subset-Equational Programs
Cardinality functions in allegories
A Technique for Translating Clausal Specifications of Numerical Methods into Efficient Programs
The role of concurrency in an evolutionary view of programming abstractions
A type checking algorithm for concurrent object protocols
The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication
Tree automata with equality constraints modulo equational theories
Horn Clauses Queries and Generalizations
On-Line Algorithms for Polynomially Solvable Satisfiability Problems
Logical characterisations, rule formats and compositionality for input-output conformance simulation
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Denotational and Operational Semantics for Prolog
Reasoning About Effects of Concurrent Actions
Revisiting concurrent separation logic
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool
Kernels, in a nutshell
Memory- and Buffer-Referencing Characteristics of a WAM-Based Prolog
Denotational semantics for thread algebra
Integrity Constraints for Logic Databases
Comments on "Logic-Programming with Equations"
Logics for Actor Networks: A two-stage constrained-hybridisation approach
Operational and Denotational Semantics of Prolog
Efficient Top-Down Computation of Queries under the Well-Founded Semantics
Natural Language Processing and Logic Programming
Deadlock checking by data race detection
Fixed points of functors
Tight, Consistent and Computable Completions for Unrestricted Logic Programs
Belief, knowledge, lies and other utterances in an algebra for space and extrusion
Guest editors' introduction: Special issue on practical development of exact real number computation
A Simple Declarative Language for Describing Narratives With Actions
Language definitions as rewrite theories
Point axioms and related conditions in Dedekind categories
Concurrent Kleene algebra with tests and branching automata
Semantics of structured normal logic programs
Virtually timed ambients: A calculus of nested virtualization
Intelligent Query Answering in Rule Based Systems
Termination in higher-order concurrent calculi
Foreword to the Special Issue on Formal Methods for Software Product Line Engineering
Analyses of Unsatisfiability for Equational Logic Programming
A hierarchy of equivalences for asynchronous calculi
ITL semantics of composite Petri nets
Applying Interval Arithmetic to Real, Integer, and Boolean Constraints
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Optimizing Bottom-Up Evaluation of Constraint Queries
P systems and the Byzantine agreement
Inference Rules and Proof Procedures for Inequations
Tabulated Resolution for the Well-Founded Semantics
Provably correct runtime monitoring
Relation-algebraic computation of fixed points with applications
Resources in process algebra
Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters
A performance-based methodology to early evaluate the effectiveness of mobile software architectures
Some Global Optimizations for a Prolog Compiler
Efficient Unification of Quantified Terms
Reversibility and asymmetric conflict in event structures
A precongruence format for should testing preorder
An alternative formulation of operational conservativity with binding terms
Embeddability into relational lattices is undecidable
Scoping Constructs in Logic Programming: Implementation Problems and their Solutions
Product line process theory
Cardinality of relations and relational approximation algorithms
Constraint Logic Programming: A Survey
Experience with the Super Monaco Optimizing Compiler
N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure
On Determining the Cause of Nonunifiability
Preface: Special Issue QFM 2009
The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming
Validation and verification of Web services choreographies by using timed automata
Programming and automating mathematics in the Tarski-Kleene hierarchy
A Kripke-Kleene Semantics for Logic Programs
Annotations on the Consistency of the Closed World Assumption
Abstract Interpretation of Logic Programs using Magic Transformations
Compile-Time Derivation of Variable Dependency Using Abstract Interpretation
An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
A unified rule format for bounded nondeterminism in SOS with terms as labels
A Linear Control Algorithm for a Class of Rule-Based Systems
A secrecy-preserving language for distributed and object-oriented systems
The converse of a stochastic relation
A symbolic decision procedure for cryptographic protocols with time stamps
Guest editors' introduction: Special issue on The pi-calculus
GOLOG: A Logic Programming Language for Dynamic Domains
Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
Integrating deployment architectures and resource consumption in timed object-oriented models
Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs
On the Relationship between Indexed Grammars and Logic Programs
Formalizing semantic bidirectionalization and extensions with dependent types
Factor theory and the unity of opposites
Expressive Capabilities Description Languages and Query Rewriting Algorithms
Order Sorted Feature Theory Unification
A Data-Dependency-Based Intelligent Backtracking Scheme for Prolog
Compiling Constraints in clp(FD)
Formal modeling and validation of a power-efficient grouping protocol for WSNs
Editorial for the Special Issue on Open Problems in Concurrency Theory
Tempus fugit: How to plug it
Reduction of event structures under history preserving bisimulation
Termination detection for active objects
Assisting the design of a groupware system
Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method
A Practical Framework for the Abstract Interpretation of Logic Programs
Enumeration Operators and Modular Logic Programming
Partial Deduction in Disjunctive Logic Programming
Short Note: Van Gelder's Response
Models and formal verification of multiprocessor system-on-chips
Declarative debugging of concurrent Erlang programs
A core calculus for correlation in orchestration languages
Stronger compositions for retrenchments
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
Multirelational representation theorems for complete idempotent left semirings
Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015)
On Derived Dependencies and Connected Databases
Guest Editors' Introduction: Inductive Logic Programming
Compositional modeling and refinement for hierarchical hybrid systems
A divertimento on MonadPlus and nondeterminism
Relating Logic Programs and Attribute Grammars
Coalgebraic completeness-via-canonicity for distributive substructural logics
Models of computation for partial functions on the reals