yusuke1997/dblp-id-title huggingface dataset:
On the Floyd-Warshall Algorithm for Logic Programs
Cuts and Side-Effects in And-Or Parallel Prolog
Characterizations of semicomputable sets of real numbers
Deaccumulation techniques for improving provability
Constraint Logic Programming for Reasoning About Discrete Event Processes
Distributive contact lattices: Topological representations
Embedding Revision Programs in Logic Programming Situation Calculus
Negation as Failure using Tight Derivations for General Logic Programs
Canonical completeness of infinitary mu
Ping-pong protocols as prefix grammars: Modelling and verification via program transformation
Automating Control for Logic Programs
CCS with priority guards
A compositional coalgebraic model of fusion calculus
Cryptomorphic topological structures: A computational, relation-algebraic approach
Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ
POETS: Process-oriented event-driven transaction systems
An abstract machine for efficiently computing queries to well-founded models
Bilattices and the Semantics of Logic Programming
Behavioural equivalences for coalgebras with unobservable moves
An efficient abstract machine for Safe Ambients
Parallel Evaluation of Datalog Programs by Load Sharing
Recursion versus tail recursion over ‾𝔽 p
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs
Bottom-Up Compuation of Perfect Models for Disjunctive Theories
Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML
Exploring modal worlds
A formal approach to the specification and transformation of constraints in MDE
Partial Evaluation in Logic Programming
Algebraic theory of probabilistic and nondeterministic processes
A logical study of group-size based social network creation
Algorithmic type checking for a pi-calculus with name matching and session types
Sequential pattern mining for ICT risk assessment and management
Analysing input/output-capabilities of mobile processes with a generic type system
On the Sequential Nature of Unification
Similarity, topology, and uniformity
A quick introduction to membrane computing
Top-Down Semantics of Fair Computations of Logic Programs
Sharing is Optimal
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
Fixpoints for general correctness
Lightweight formalization and validation of ORM models
A Goal-Oriented Approach to Computing the Well-Founded Semantics
Canonical finite models of Kleene algebra with tests
Feature-Constraint Logics for Unification Grammars
Functional BIP: Embedding connectors in functional programming languages
Partial Deduction of Updateable Definite Logic Programs
A general overview of formal languages for individual-based modelling of ecosystems
On the Design of a Correct Freeness Analysis for Logic Programs
Comparing disjunctive modal transition systems with an one-selecting variant
Typing noninterference for reactive programs
Inferring regular languages and ω -languages
Logic Programming as a Basis for Lean Automated Deduction
Left omega algebras and regular equations
Conditional reasoning in logic programming
Evolution of rule-based programs
A finite model construction for coalgebraic modal logic
The Deevolution of Concurrent Logic Programming Languages
Session types for safe Web service orchestration
System-level state equality detection for the formal dynamic verification of legacy distributed applications
Minimal type inference for Linked Data consumers
Compiling Associativity into Logic Programs
Smallest Horn Clause Programs
Parma - Bridging the Performance GAP Between Imperative and Logic Programming
Communicating by compatibility
Programming with algebraic effects and handlers
A Survey of Complexity Results for Nonmonotonic Logics
Petri net modules in the transformation-based component framework
Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic
A Basis for Deductive Database Systems II
From probability monads to commutative effectuses
Efficiency issues in the kbmag procedure
Enhancing Unification in Prolog through Clause Indexing
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments
Computing Protected Circumscription
Toward a Declarative Semantics for Infinite Objects in Logic Programming
Program algebra for sequential code
Arrow's Theorem for incomplete relations
Abductive logic programming and disjunctive logic programming: their relationship and transferability
An optimal resource sharing protocol for generalized multiframe tasks
From imperative to rule-based graph programs
Processes with infinite liveness requirements
The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language
Development graphs - Proof management for structured specifications
The origins of structural operational semantics
A Declarative Semantics for Depth-First Logic Programs
A Deterministic Prolog Fixpoint Semantics
Program algebra for quantitative information flow
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
Abstract Metaprolog Engine
Efficient Access Mechanisms for Tabled Logic Programs
Search algorithms for automated validation
Or-Parallel Prolog in Flat Concurrent Prolog
Using relation-algebraic means and tool support for investigating and computing bipartitions
Improving performance in flexible manufacturing systems
Consistency and refinement for Interval Markov Chains
Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach
Matching in security-by-contract for mobile code
Worst-Case Groundness Analysis Using Positive Boolean Functions
An Argumentation-Theoretic Foundations for Logic Programming
Efficient exact computation of iterated maps
Formal specification of a Web services protocol
Solving the incremental satisfiability problem
Polymorphic Type Analysis in Logic Programs by Abstract Intepretation
Algebraic solution of tropical optimization problems via matrix sparsification with application to scheduling
Constructive Negation by Pruning
Multilog and Data or-Parallelism
A pi-calculus based semantics for WS-BPEL
Gunther Schmidt's life as a mathematician and computer scientist
Conflicting accounts of λ-definability
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically
Reversing algebraic process calculi
Proving Properties of Committed Choice Logic Programs
Guest editor's introduction: Special issue on Web Services and Formal Methods
Defeasible Logic versus Logic Programming without Negation as Failure
Revisiting the notion of function
A Logical Foundation for Logic Programming II: Semantics of General Logic Programs
Relation-algebraic modeling and solution of chessboard independence and domination problems
Operational semantics of a weak memory model with channel synchronization
An analysis of the equational properties of the well-founded fixed point
On clock-aware LTL parameter synthesis of timed automata
A domain-specific language for cryptographic protocols based on streams
A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
Abstract Multiple Specialization and Its Application to Program Parallelization
Equivalent Logic Programs
Using the words/leafs ratio in the DOM tree for content extraction
Overview of Daswam: Exploitation of Dependent and-Parallelism
Reachability analysis for timed automata using max-plus algebra
Analysis of a distributed system for lifting trucks
A behavioural theory for a π-calculus with preorders
Structuring Logic Programs: A Modal Approach
A Constructive View of Prolog
Preface for the special issue on Interaction and Concurrency Experience 2014
Termination of Logic Programs: The Never-Ending Story
Decomposability and its Role in Parallel Logic Program Evaluation
Primitive recursive selection functions for existential assertions over abstract algebras
Verifying security protocols with PVS: widening the rank function approach
A complete logic for behavioural equivalence in coalgebras of finitary set functors
A Temporal Extension of Prolog
A Methodology for Provin Termination of Logic Programs
Time analysis of actor programs
Labelled graph strategic rewriting for social networks
Verified bytecode verification and type-certifying compilation
Commonsense Axiomatizations for Logic Programs
Abstract abstract reduction
Heterogeneous SLD Resolution
Computing strong and weak bisimulations for psi-calculi
Analyzing Logic Programs Using " PROP "-ositional Logic Programs and a Magic Wand
Declarative debugging of rewriting logic specifications
Hornlog: A Graph-Based Interpreter for General Horn Clauses
Deadlock checking by a behavioral effect system for lock handling
Kleene under a modal demonic star
Using MedLan to Integrate Geographical Data
A Linear Axiomatization of Negation as Failure
Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages
Revivals, stuckness and the hierarchy of CSP models
The Iff Proof Procedure for Abductive Logic Programming
Exploiting Goal Independence in the Analysis of Logic Programs
On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs
Extending Prolog with Nonmonotonic Reasoning
Folding variant narrowing and optimal variant termination
A Tool for Developing Interactive Configuration Applications
An extended constraint deductive database: Theory and implementation
Automated type-based analysis of injective agreement in the presence of compromised principals
Equivalence of DATALOG Queries is Undecidable
Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy
Extended beam search for non-exhaustive state space analysis
Algebraic and Logical Semantics for CLP Languages with Dynamic Scheduling
Global Compilation of Prolog
A double completion for an arbitrary T 0 -quasi-metric space
From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach
Trustworthy variant derivation with translation validation for safety critical product lines
Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)
Relational style laws and constructs of linear algebra
Computing minimal extending sets by relation-algebraic modeling and development
Constructive Negation Under the Well-Founded Semantics
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas
Agenda control for heterogeneous reasoners
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
Building Distributed Controllers for Systems with Priorities
Preface for the special issue on Interaction and Concurrency Experience 2016
Weakest pre-condition reasoning for Java programs with JML annotations
A Petri net approach for the design and analysis of Web Services Choreographies
A Prodedural Semantics for Well-Founded Negation in Logic Programs
A Verified Prolog Compiler for the Warren Abstract Machine
Continuity controlled hybrid automata
The security pi-calculus and non-interference
Generalization by Absorption of Definite Clauses
Static Analysis of IMC
Modeling Simultaneous Events with Default Reasoning and Tight Derivations
Towards the flexible reuse of model transformations: A formal approach based on graph transformation
Narrowing Grammar: Theory, Implementation, and Applications
Introduction: 10th Birthday Special Issue of The Journal of Logic Programming
LogicWeb: Enhancing the Web with Logic Programming
A Basis for Deductive Database Systems
Cost-related interface for software product lines
Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming
Optimizing General Chain Programs
Membrane computing and programming
A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants
What is a Sorting Function?
Rule formats for compositional non-interference properties
Bottom-Up Dataflow Analysis of Normal Logic Programs
Quasi-boolean encodings and conditionals in algebraic specification
An Algebraic Evaluation Method for Deduction in Incomplete Data Bases
Service oriented computing from a process algebraic perspective
An Abstract Machine to Implement OR-AND Parallel Prolog Efficiently
A Platform for Restriction Mapping
Negation in Logic Programming
Parallel Execution of Logic Programs by Load Sharing
Contextual equivalences in configuration structures and reversibility
Modular structural operational semantics
Denotational semantics of hybrid automata
Generating counterexamples for quantitative safety specifications in probabilistic B
Automated Verification of Prolog Programs
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
An "abstract process" approach to algebraic dynamic architecture description
A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers
Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
Formal methods for web security
Simulating a P system based efficient solution to SAT by using GPUs
A sound and complete reasoning system for asynchronous communication with shared futures
String Variable Grammar: A Logic Grammar Formalism for the Biological Language of DNA
A Completeness Theorem for SLDNF Resolution
Editorial comments on the short note by Barry Jay
Verification of Logic Programs
Negation-As-Failure Rule for General Logic Programs With Equality
Input-output conformance testing for software product lines
Guest editors' introduction: Model checking in a nutshell
De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case
Operational semantics of the Java Card Virtual Machine
Maximizing entropy over Markov processes
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation
Finding models through graph saturation
Notes on the Implementation of Parlog
Stable Models Are Generated by a Stabel Chain
Guest editors' introduction: Special issue on Process Algebra and System Architecture
Hopscotch - reaching the target hop by hop
A versatile concept for the analysis of loops
Data-driven modelling and probabilistic analysis of interactive software usage
Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae
Reconciling the Event Calculus With the Situation Calculus
Logic Programming and Knowledge Representation
CLP(chi) for Automatically Proving Program Properties
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation
Matching of Bounded Set Terms in the Logic Language LDL++
Geographic wayfinders and space-time algebra
On the weaving process of aspect-oriented product family algebra
The structure of finite meadows
On the metric-based approximate minimization of Markov Chains
Recursive tables and effective definition schemes
Metric Methods Three Examples and a Theorem
Hybrid-Module Transformer: enhancing speech emotion recognition with HuBERT, LSTM, and ResNet-50
Refining medical large language models: key insights from instruction tuning
Enhancing bug allocation in software development: a multi-criteria approach using fuzzy logic and evolutionary algorithms
Automatic configuration of the Cassandra database using irace
Latent based temporal optimization approach for improving the performance of collaborative filtering
Image-based many-language programming language identification
ONE3A: one-against-all authentication model for smartphone using GAN network and optimization techniques
Evaluation of mental disorder with prioritization of its type by utilizing the bipolar complex fuzzy decision-making approach based on Schweizer-Sklar prioritized aggregation operators
Machine learning and deep learning approaches in IoT
Improved MobileNetV2 crop disease identification model for intelligent agriculture
Deep learning model for Chinese watercolor painting creation
Multi-grained alignment method based on stable topics in cross-social networks
Optimized hybrid SVM-RF multi-biometric framework for enhanced authentication using fingerprint, iris, and face recognition
Writer verification of partially damaged handwritten Arabic documents based on individual character shapes
Comparative analysis of automatic gender detection from names: evaluating the stability and performance of ChatGPT versus Namsor, and Gender-API
Managing server clusters on intermittent power
Enhanced piano audio feature recognition: a novel MFCC-based method with F-HRSF and convolutional neural network
Soft Bigram distance for names matching
Musical timbre style transfer with diffusion model
A novel algorithm for small object detection based on YOLOv4
Designing an intelligent push model for user emotional topics based on dynamic text categorization in social media news dissemination
Detailed analysis of Ethereum network on transaction behavior, community structure and link prediction
A hybrid deep learning framework for skin disease localization and classification using wearable sensors
Active learning with label quality control
Incremental learning of LSTM framework for sensor fusion in attitude estimation
ALL-Net: integrating CNN and explainable-AI for enhanced diagnosis and interpretation of acute lymphoblastic leukemia
Derivative-free optimization adversarial attacks for graph convolutional networks
A word embedding technique for sentiment analysis of social media to understand the relationship between Islamophobic incidents and media portrayal of Muslim communities
A novel dissolved oxygen prediction model based on enhanced semi-naive Bayes for ocean ranches in northeast China
Reaching for upper bound ROUGE score of extractive summarization methods
Enhancing reliable and energy-efficient UAV communications with RIS and deep reinforcement learning
Evaluating machine learning models for predictive accuracy in cryptocurrency price forecasting
RMIS-Net: a fast medical image segmentation network based on multilayer perceptron
Adaptive regularized spectral reduction for stabilizing ill-conditioned bone-conducted speech signals
NALA: a Nesterov accelerated look-ahead optimizer for deep learning
A study of hybrid deep learning model for stock asset management
The influence of music teaching appreciation on the mental health of college students based on multimedia data analysis
Channel state information estimation for 5G wireless communication systems: recurrent neural networks approach
Enhancing cross-evidence reasoning graph for document-level relation extraction
An automated method to enrich consumer health vocabularies using GloVe word embeddings and an auxiliary lexical resource
Emotion generation method in online physical education teaching based on data mining of teacher-student interactions
Research on land cover type classification method based on improved MaskFormer for remote sensing images
FCMpy: a python module for constructing and analyzing fuzzy cognitive maps
Exploring the synergy of guided numeric and text analysis in e-commerce: a comprehensive investigation into univariate and multivariate distributions
Unsupervised classification of multi-class chart images: a comparison of customized CNNs and transfer learning techniques
A novel deep learning approach for predicting stone-free rates post-ESWL on uncontrasted CT
A hybrid integration framework based on LOOCV and SARIMA: relationship exploring and predictive analysis between discipline attention and literature research
PresB-Net: parametric binarized neural network with learnable activations and shuffled grouped convolution
In-network generalized trustworthy data collection for event detection in cyber-physical systems
Qualitative reachability for open interval Markov chains
Classification of melanonychia, Beau's lines, and nail clubbing based on nail images and transfer learning techniques
Exploration of Chinese cultural communication mode based on the Internet of Things and mobile multimedia technology
A novel deep learning based approach with hyperparameter selection using grey wolf optimization for leukemia classification and hematologic malignancy detection
Improving long short-term memory (LSTM) networks for arbitrage spread forecasting: integrating cuckoo and zebra algorithms in chaotic mapping space for enhanced accuracy
In-text citation's frequencies-based recommendations of relevant research papers
ACO-Kinematic: a hybrid first off the starting block
A semantic enhanced clothing recommendation system based on implicit trust graphs and ontology web language
GASTRO-CADx: a three stages framework for diagnosing gastrointestinal diseases
Diagnostic efficiency of multi-modal MRI based deep learning with Sobel operator in differentiating benign and malignant breast mass lesions - a retrospective study
The effect of ISO/IEC 27001 standard over open-source intelligence
ScholarLens: extracting competences from research publications for the automatic generation of semantic user profiles
Networks of reader and country status: an analysis of Mendeley reader statistics
Taxonomy-based approach for understanding and enhancing security culture in universities
Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface
Landmark-based homologous multi-point warping approach to 3D facial recognition using multiple datasets
Comprehensive sentimental analysis of tweets towards COVID-19 in Pakistan: a study on governmental preventive measures
Dynamic coefficient symmetric polynomial-based secure key management scheme for Internet of Things (IoT) networks
Subset-based stereo calibration method optimizing triangulation accuracy
Tab transformer with meta-ensemble learning approaches for enhanced diabetes prediction
A Kullback-Liebler divergence-based representation algorithm for malware detection
Predicting no-shows for dental appointments
Ability of clinical data to predict readmission in Child and Adolescent Mental Health Services
Stock trend prediction using sentiment analysis
A split-and-transfer flow based entropic centrality
Substation equipment temperature prediction based on multivariate information fusion and deep learning network
The role of Internet of Things (IoT) technology in modern cultivation for the implementation of greenhouses
Image classification model based on large kernel attention mechanism and relative position self-attention mechanism
Towards the portability of knowledge in reinforcement learning-based systems for automatic drone navigation
Wireless sensor localization based on distance optimization and assistance by mobile anchor nodes: a novel algorithm
Data augmentation and deep neural networks for the classification of Pakistani racial speakers recognition
RiceChain: secure and traceable rice supply chain framework using blockchain technology
Using machine learning to analyze mental health in distance education during the COVID-19 pandemic: an opinion study from university students in Mexico
Implementing federated learning over VPN-based wireless backhaul networks for healthcare systems
Optimized deep learning approach for lung cancer detection using flying fox optimization and bidirectional generative adversarial networks
An efficient approach for low latency processing in stream data
The reconstruction of equivalent underlying model based on direct causality for multivariate time series
Dynamic guided metric representation learning for multi-view clustering
A new metaphor-less simple algorithm based on Rao algorithms: a Fully Informed Search Algorithm (FISA)
Addressing human speech characteristics in single-channel speaker extraction networks
The role of software in science: a knowledge graph-based analysis of software mentions in PubMed Central
LOANet: a lightweight network using object attention for extracting buildings and roads from UAV aerial remote sensing images