yusuke1997/dblp-id-title huggingface dataset:
Datalog with Non-Deterministic Choice Computers NDB-PTIME
Interval Computation as Deduction in CHIP
Metainterpreters for Expert System Construction
A hidden Herbrand theorem: combining the object and logic paradigms
Completeness results for omega-regular algebras
Experiments in Reactive Constraint Logic Programming
Source code verification of a secure payment applet
Introduction to Special Issue on Natural Language and Logic Programming
Free inductive K-semialgebras
Specifying graph languages with type graphs
Deductive Synthesis of Solutions for Technological Tasks
Algebraic notions of nontermination: Omega and divergence in idempotent semirings
Operational and Goal-Independent Denotational Semantics for Prolog with Cut
Syntax-directed model checking of sequential programs
Minimal Consequence in Sentential Logic
Logic and Algebraic Languages for Interoperability in Multidatabase Systems
Algebraic properties of stochastic effectivity functions
Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography
Rules as Actions: A Situation Calculus Semantics for Logic Programs
Preface to the special issue on the 10th International Conference on Graph Transformation
Relational measures and integration in preference modeling
Synthesis of a Unification Algorithm in a Logic Programming Calculus
Is your model checker on time? On the complexity of model checking for timed modal logics
Foundations for structuring behavioural specifications
MO2A; unlocking the potential of compositional static average-case analysis
Prolog: Subsumption of Equality Axioms by the Homogeneous Form
Duplication of constants in process algebra
Preface for the special issue on Interaction and Concurrency Experience 2015
The Theoretical Foundations of LPTP (A Logic Program Theorem Prover)
Magic Templates: A Spellbinding Approach To Logic Programs
Linearization of hybrid processes
Relational and algebraic methods in computer science
A descriptive type foundation for RDF Schema
Pathway analysis for BioAmbients
A language-based approach to modelling and analysis of Twitter interactions
A framework for specifying and verifying the behaviour of open systems
Transformation of Logic Programs: Foundations and Techniques
Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
A simple polynomial groundness analysis for logic programs
Model checking and synthesis for branching multi-weighted logics
Observational and behavioural equivalences for soft concurrent constraint programming
Signed Data Dependencies in Logic Programs
Certified CYK parsing of context-free languages
Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem
Contract signing, optimism, and advantage
A bi-intuitionistic modal logic: Foundations and automation
A reduction semantics for direct-style asynchronous observables
SLDNFA: An Abductive Procedure for Abductive Logic Programs
The Occur-Check Problem Revisited
Clausal Intuitionistic Logic I - Fixed-Point Semantics
Logic-Based Configuration with a Semantic Network
Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique
Linearization in parallel pCRL
Metalogical Control for Logic Programs
Correctness of Unification Without Occur Check in Prolog
The Complexity of Revising Logic Programs
On the order of test goals in specification-based testing
Algebraic Neighbourhood Logic
A Sequential Abstract Machine for Flat Concurrent Prolog
Prolog Program Transformations and Tree Manipulation Algorithms
Set Constructors in a Logic Database Language
Modelling and analysis of normative documents
A trace-based model for multiparty contracts
An exercise on the generation of many-valued dynamic logics
On the Relation Between Situation Calculus and Event Calculus
Polyvariant Detection of Uninitialized Arguments of Prolog Predicates
On the analysis of compensation correctness
Safe locking for multi-threaded Java with exceptions
Stubborn versus structural reductions for Petri nets
Tiling algebra for constraint-based layout editing
Constraint Logic Programming for Examination Timetabling
Representing Action and Change by Logic Programs
Continuity and Lipschitz constants for projections
Algebraic proofs of cut elimination
Unification as a Complexity Measure for Logic Programming
Or-Parallel Prolog on a Distributed Memory Architecture
Relation-algebraic specification and solution of special university timetabling problems
Subsumption-Stratified Datalog
Towards patterns for heaps and imperative lambdas
An abductive approach to disjunctive logic programming
When are stochastic transition systems tameable?
Logic Programming and Digital Circuit Analysis
Formal languages and analysis of contract-oriented software
An Expert System for Harmonizing Chorales in the Style of J. S. Bach
Arbitrary precision real arithmetic: design and algorithms
Generation of abstract programming interfaces from syntax definitions
Comments on "General Failure of Logic Programs"
LOGIN: A Logic Programming Language with Built-In Inheritance
An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP
Canonical Logic Programs
Some decidability results on one-pass reductions
QoS negotiation in service composition
Collagories: Relation-algebraic reasoning for gluing constructions
Dependently typed array programs don't go wrong
A contract-based approach to adaptivity
Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption
An algebra of hybrid systems
A relation-algebraic approach to the "Hoare logic" of functional dependencies
Continuity as a computational effect
Theory and Practice of Constraint Handling Rules
Computing abduction by using TMS with top-down expectation
Abducing through negation as failure: stable models within the independent choice logic
Dependency pairs for proving termination properties of conditional term rewriting systems
Global Flow Analysis as a Practical Compilation Tool
Axiomatizability of representable domain algebras
Focus points and convergent process operators: a proof strategy for protocol verification
A coalgebraic semantics for causality in Petri nets
Extended Feature Algebra
Logic Programming with Equations
Rewriting modulo SMT and open system analysis
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types
Algorithms for Testing the Satisfiability of Propositional Formulae
Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas
A P-Lingua based simulator for tissue P systems
Local variable scoping and Kleene algebra with tests
HILOG: A Foundation for Higher-Order Logic Programming
Differential Methods in Logic Program Analysis
Formalizing non-termination of recursive programs
Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance
A Computable Semantics for General Logic Programs
Rewriting logic and its applications (extended selected papers from WRLA 2014)
Network algebra in Java
Structural congruence for bialgebraic semantics
Multilevel coupled model transformations for precise and reusable definition of model behaviour
Natural Deduction as Higher-Order Resolution
Dual Systems of Tableaux and Sequents for PLTL
A Complete Axiomatization of a Theory with Feature and Arity Constraints
Theory of Generalized Annotated Logic Programming and its Applications
Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines
LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control
Abstract Diagnosis
Complete algebraic solution of multidimensional optimization problems in tropical semifield
Expanding Queries to Incomplete Databases by Interpolating General Logic Programs
Dependencies in relational models of databases
A static analysis of cryptographic processes: the denotational approach
Detection and Optimization of Suspension-Free Logic Programs
An evaluation of interaction paradigms for active objects
SOS rule formats for idempotent terms and idempotent unary operators
The Relationship Between Logic Programs and Specifications - The Subset Example Revisited
Products in categories of relations
A relational realizability model for higher-order stateful ADTs
Steadfast Logic Programs
A theoretical framework for cardinality-based feature models: The semantics and computational aspects
A uniform approach to completions of posets
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
Twenty years of rewriting logic
Model-checking large structured Markov chains
Termination criteria for tree automata completion
Short Note: Preferred Extensions are Partial Stable Models
Model-based fault injection for testing gray-box systems
Or-Parallel Prolog on Shared Memory Multiprocessors
P systems with control nuclei: The concept
Dynamic Optimization of Interval Narrowing Algorithms
Processes with local and global liveness requirements
Unifying simulatability definitions in cryptographic systems under different timing assumptions
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
Return Value Placement and Tail Call Optimization in High Level Languages
Absys: The First Logic Programming Language - A Retrospective and a Commentary
Contact, closure, topology, and the linking of row and column types of relations
Relating fair testing and accordance for service replaceability
The meaning of negative premises in transition system specifications II
Abstract Interpretation Based on Alexander Templates
Schedulability of asynchronous real-time concurrent objects
Evaluation of the Domain Prop
Configuration logics: Modeling architecture styles
Logic Programming for Real-Time Control of Telecommunication Switching Systems
Relations and Kleene algebras in computer science
Algebraic modal correspondence: Sahlqvist and beyond
A Logical Semantics for Hypothetical Rulebases with Deletion
Program algebra with unit instruction operators
Logic Programming and Negation: A Survey
Formal Synthesis of a Unification Algorithm by the Deductive-Tableau Method
Simple feature engineering via neat default retrenchments
Conjunction in Meta-Restriction Grammar
Formal derivation of Greedy algorithms from relational specifications: A tutorial
Complete Logic Programs with Domain-Closure Axiom
The Consistency of Negation as Failure
An Extension of Lambda-Calculus for Functional Programming
Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Monoids with tests and the algebra of possibly non-halting programs
Depth-Bounded Bottom-Up Evaluation of Logic Program
The Family of Stable Models
Analyzing a chi model of a turntable system using Spin, CADP and Uppaal
A theory for observational fault tolerance
Reversibility in session-based concurrency: A fresh look
Relation lifting, a survey
Lazy behavioral subtyping
A Prescribed Cut for Prolog that Ensures Soundness
Soft Linear Set Theory
Dynamic Rebinding for Concurrent Object Groups: Theory and practice
Testing from a stochastic timed system with a fault model
A theory of reversibility for Erlang
Structural operational semantics through context-dependent behaviour
Axiomatizing the equational theory of regular tree languages
Towards a Unified Theory of Intensional Logic Programming
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
Real time process algebra with time-dependent conditions
Metabolic approximation of real periodical functions
Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming
Strong Termination of Logic Programs
Determinisation of relational substitutions in ordered categories with domain
Towards a categorical representation of reversible event structures
Logic Programming Environments: Dynamic Program Analysis and Debugging
On the Use of Advanced Logic Programming Languages in Computational Linguistics
Hierarchical Constraint Logic Programming
Nested-unit Petri nets
Comparing approaches to free dcpo-algebra constructions
Compositional semantics of spiking neural P systems
Flag-based big-step semantics
Special issue on Automated Specification and Verification of Web Systems
Pressing for Parallelism: A Prolog Program made Concurrent
Towards "mouldable code" via nested code graph transformation
The Relation between Logic and Functional Languages: A Survey
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
Abstract Interpretation based on OLDT Resolution
Debugging Maude programs via runtime assertion checking and trace slicing
Abstract representation theorems for demonic refinement algebras
Automated verification of selected equivalences for security protocols
Extended transitive separation logic
A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion
To every manifest domain a CSP expression - a rôle for mereology in computer science
Manipulating algebraic specifications with term-based and graph-based representations
The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas
Composition mechanisms for retrenchment
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
Characterizing Logic Grammars: A Substructural Logic Approach
Precise subtyping for synchronous multiparty sessions
Circumscribing Embedded Implications (without Stratifications)
On the Power of Rule-Based Query Languages for Nested Data Models
Spatial voting games, relation algebra and RelView
Product programs and relational program logics
Nondeterminism Through Well-Founded Choice
On computable presentations of some functional lattices
A generalization of ACP using Belnap's logic
Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs
Timed Mobility in process algebra and Petri nets
Undecidable Boundedness Problems for Datalog Programs
Adding recursive constructs to bialgebraic semantics
A proof system for adaptable class hierarchies
Partiality I: Embedding relation algebras
Soundness in verification of algebraic specifications with OBJ
Dynamic management of capabilities in a network aware coordination language
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462
The PBPO graph transformation approach
A Fixpoint Semantics for Disjunctive Logic Programs
Survey on JavaScript security policies and their enforcement mechanisms in a web browser
"Keep definition, change category" - A practical approach to state-based system calculi
Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems
An Approach to Declarative Programming Based on a Rewriting Logic
Reverse Universal Resolving Algorithm and inverse driving
Algorithmic debugging generalized
Passage retrieval in legal texts
Automatically testing interactive applications using extended task trees
Regular algebra applied to language problems
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
Negation as Inconsistency I
Guest editor's introduction: Special issue on Modelling and Verification of Cryptographic Protocols
Formalization of functional variation in HOL Light
Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics
Model Generation and State Generation for Disjunctive Logic Programs
Pair-sharing over rational trees
Revisiting timing in process algebra
And-Or Parallelism on Shared-Memory Multiprocessors
ACLP: Abductive Constraint Logic Programming
Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism
Analysis of Residuating Logic Programs
Set Constructors, Finite Sets, and Logical Semantics
Transformational Methodology for Proving Termination of Logic Programs
Imperative abstractions for functional actions
Three-valued abstraction for probabilistic systems
Executable component-based semantics
Meta-Programming in CLP(R)
Computer Support for Protocol-Based Treatment of Cancer
Efficient Goal Directed Bottom-Up Evaluation of Logic Programs
Designing context-aware systems: A method for understanding and analysing context in practice
A KWIC (Key Word in Context) Bibliography on Prolog and Logic Programming
Argumentation-based abduction in disjunctive logic programming
Field-sensitive sharing
Verification and code generation for invariant diagrams in Isabelle
Variable binding operators in transition system specifications
Symbolic model checking of timed guarded commands using difference decision diagrams
Computable scalar fields: A basis for PDE software
Symbol different term rewrite systems
On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs
Relation Algebra as programming language using the Ampersand compiler
Abstract categorical semantics for resourceful functional reactive programming
ST-structures
Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach
Syntax and semantics of the compositional interchange format for hybrid systems
Backwards type analysis of asynchronous method calls
Verifiable abstractions for contract-oriented systems
A framework for conflict analysis of normative texts written in controlled natural language
Contracts for security adaptation
Logic programming with solution preferences
Lock-free concurrent binomial heaps
Conversion to tail recursion in term rewriting
Binary decision diagrams for first-order predicate logic
Declarative layout constraints for testing web applications
A Pragmatic Reconstruction of lambda-Prolog
Possible values: Exploring a concept for concurrency
Negation as Failure in the Head
Recent progress in exact geometric computation
On Specifying Database Updates
NWPT 2017 - Special issue
A Transformational Approach to Negation in Logic Programming
Guest editor's introduction: Special issue on Annotated Terms (ATerms)
An overview of the K semantic framework
A Semantics for a Class of Stratified Production System Programs
Ordering the order of a distributive lattice by itself
A modular reasoning system using uninterpreted predicates for code reuse
Diversity and adjudication
Improving Program Analyses, by Structure Untupling
Kleene modules and linear languages
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity
Composing model programs for analysis
On the Equivalence of Semantics for Normal Logic Programs
Inheritance of behavior
Piecewise initial algebra semantics
Propositional dynamic logic with recursive programs
On the accuracy of formal verification of selective defenses for TDoS attacks
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation
The Horn Basis of a Set of Clauses
Guest Editor's Introduction Special Issue: Applications of Logic Programming
Problem Specification and Program Synthesis in the System SPORA
Reduction semantics in Markovian process algebra
Verification of the Miller-Rabin probabilistic primality test
A (co)algebraic theory of succinct automata
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
A Semantic Basis for the Termination Analysis of Logic Programs
On nothing
Linear parametric model checking of timed automata
A process algebraic view of shared dataspace coordination
Automated Theorem Proving and Logic Programming
LCTD: Test-guided proofs for C programs on LLVM
Ultrametric Spaces and Logic Programming
Optimal Groundness Analysis Using Propositional Logic
A formalisation of the copy-modify-merge approach to version control in MDE
An axiomatic semantics for iocos_ conformance relation
A metamodel for the design of polychronous systems
More on tractable disjunctive Datalog
Hypothetical Reasoning in Logic Programs
An Extended Warren Abstract Machine for the Execution of Structured Logic Programs
Modal transition systems with weight intervals
Normal design algebra
Guest editors' introduction: Special issue on Formal Methods for Smart Cards
Iterating transducers
Combining programs and state machines
An algebraic approach to multirelations and their properties
Thirty years of algebraic specification
Cooperating Rewrite Processes for Natural-Language Analysis
Boolean logics with relations
Analysis of Sequential Prolog Programs
Decidability of logic program semantics and applications to testing
Behavioural equivalences for dynamic Web data
A Note on Dowling and Gallier's Top-Down Algorithm for Propositional Horn Satisfiability
Concurrent Kleene Algebra and its Foundations
PTL: A model transformation language based on logic programming
Hybrid process algebra
On the use of MTBDDs for performability analysis and verification of stochastic systems
Constructor-based observational logic
Special issue on Programming Language Interference and Dependence
Revisiting sequential composition in process calculi
On topologies defined by irreducible sets
Latent semantic analysis of game models using LSTM
Synchronous Kleene algebra
Special issue: abductive logic programming
A Closer Look at Declarative Interpretations
Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models
Representing Knowledge with Theories about Theories
Editorial for the JLAMP Special Issue on automated specification and verification of web systems
Recursive Query Plans for Data Integration
A Hofmann-Mislove theorem for bitopological spaces
Stable Models and Their Computation for Logic Programming with Inheritance and True Negation
Lower Bounds for the Lengths of Refutations
Short Note: On Van Gelder's Loop Detection Algorithm
From description-logic programs to multi-context systems
Automated verification of an audio-control protocol using UPPAAL
Preemptive type checking
Automated Reasoning with a Constraint-Based Metainterpreter
Program and proof optimizations with type systems
Directional Types and the Annotation Method
Verification and control for probabilistic hybrid automata with finite bisimulations
Formalising privacy policies in social networks
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
Automated specification and verification of Web-based applications
An abductive event calculus planner
Incremental reasoning on monadic second-order logics with logic programming
Typed generic traversal with term rewriting strategies
Observationally-induced lower and upper powerspace constructions
Comparison of Methods for Logic-Query Implementation
The Integration of Functions into Logic Programming: From Theory to Practice
Relationlog: A Typed Extension to Datalog with Sets and Tuples
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs
Relations in linear algebra
Solving Large Combinatorial Problems in Logic Programming
A Logical Approach to Cooperative Information Systems
Cryptographically-enforced hierarchical access control with multiple keys
De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases
On series-parallel pomset languages: Rationality, context-freeness and automata
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes
Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems
A non-standard semantics for program slicing and dependence analysis
Executable rewriting logic semantics of Orc and formal analysis of Orc programs
A brief account of runtime verification
Data-driven adaptation for smart sessions
Mockingbird: A Logical Methodology for Testing
Developments in concurrent Kleene algebra
Completeness and incompleteness in nominal Kleene algebra
Modal transition system encoding of featured transition systems