yusuke1997/dblp-id-title huggingface dataset:
Categorial Grammars and Tree Languages
Relevance Principle for Substructural Logics with Mingle and Strong Negation
Paramodulation with Well-founded Orderings
On the Priorean temporal logic with [ d ] over the real line
Interpolating between the Jaccard distance and an analogue of the normalized information distance
Changing Modalities
Labelled Propositional Modal Logics: Theory and Practice
Internalization: The Case of Hybrid Logics
Standpoint semantics for polysemy in spatial prepositions
Representing and Reasoning about Temporal Granularities
Reasoning About Space: The Modal Way
Pseudo-BCI algebras with derivations
On Variable-inactivity and Polynomial tau-Satisfiability Procedures
Program models and semi-public environments
The Settling Time Reducibility Ordering and Delta 2 0 Sets
Introducing the Logic and Law Corner
A Syntax-based Approach to Reasoning about Action and Belief Update
Constraint propagation on GPU: A case study for the AllDifferent constraint
States on Bold Algebras: Categorical Aspects
Two-stage agent program verification
Hard and soft logical information
Algorithmic Randomness of Closed Sets
Rewriting Corner
Programming and Verifying Subgame-Perfect Mechanisms
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020)
Paraconsistency in hybrid logic
On the semantics of abstract argumentation
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
Modal Logic with Bounded Quantification over Worlds
Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach
Special issue on substructural logic and information dynamics: introduction
The Range of Applicability of Some Non-monotonic Logics for Strict Inertia
Modal weak Kleene logics: axiomatizations and relational semantics
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
Group belief
Which Branching-Time Properties are Effectively Linear?
Separating bounded arithmetical theories by Herbrand consistency
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting-Brouwer logic
Founded semantics and constraint semantics of logic rules
Logic Programs for Primitive Recursive Sets
Probabilistic justification logic
Ordered Logic Programming with Sets
Social choice and the logic of simple games
Timed concurrent language for argumentation with maximum parallelism
Tableaux for Logics of Subinterval Structures over Dense Orderings
Short Conjunctive Normal Forms in Finitely Valued Logics
Embedding-based approaches to paraconsistent and temporal description logics
The first-order theory of the computably enumerable equivalence relations in the uncountable setting
On the Products of Linear Modal Logics
Implicit Kripke semantics and ultraproducts in stratified institutions
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond
Proof search in a context-sensitive logic for molecular biology
Introducing Justification into Epistemic Logic
Supporting Transformations for the Partial Evaluation of Logic Programs
Falsification, natural deduction and bi-intuitionistic logic
Uncertainty-based knowing how logic
Computing Argumentation in Logic Programming
A Logic for Concepts and Similarity
Beyond admissibility: accepting cycles in argumentation with game protocols for cogency criteria
Verification of Games in the Game Description Language
Proof analysis beyond geometric theories: from rule systems to systems of rules
Equivariant ZFA and the foundations of nominal techniques
Weak relevant justification logics
Utilizing Natural Language for One-Shot Task Learning
Finite Failure is And-Compositional
Cover semantics for quantified lax logic
Some applications of Baaz's generalization method to the study of the factors of Fermat numbers
To Parallelize or to Optimize?
Probability logic: A model-theoretic perspective
The d-logic of the real line
An Interactive Solution to the n by n Mutilated Checkerboard Problem
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations
Labelled cyclic proofs for separation logic
Nash meets Łukasiewicz: computing equilibria through logic
Limit-agreeing to disagree
Preserving mappings in fuzzy predicate logics
A parametrized axiomatization for a large number of restricted second-order logics
Complexity Classifications for Propositional Abduction in Post's Framework
About Folding-Unfolding Cuts and Cuts Modulo
From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference
Continuous Additive Algebras and Injective Simulations of Synchronization Trees
Prioritized norms in formal argumentation
Min-based possibilistic DL-Lite
Probability and natural deduction
Order Independent Temporal Properties
Sahlqvist preservation for topological fixed-point logic
Coherence and transitivity of subtyping as entailment
Formula size games for modal logic and μ-calculus
Engineering AgentSpeak(L): A Formal Computational Model
Sublattices and Δ-blocks of orthomodular posets
From the subformula property to cut-admissibility in propositional sequent calculi
Foundations of model construction in feature-based semantic science
Unification of Higher-Order Patterns in Linear Time and Space
Binding modalities
Flat modal fixpoint logics with the converse modality
Solving a PSPACE-complete problem by gene assembly
Logic for coalitions with bounded resources
Implementing fragments of ZFC within an r.e. Universe
Pedagogical Second-order Propositional Calculi
Alternating-time temporal logic with resource bounds
Combinatorics of $$\lambda$$-terms: a natural approach
Herbrand analyses in geometry: A case study
Labelled calculi of resources
Stable results and relative normalization
Declarative encodings of acyclicity properties
Frame definability, canonicity and cut elimination in common sense modal predicate logics
Reconstructing a single-head formula to facilitate logical forgetting
Doubly strongly first-order dependencies
Trust domains in system models: algebra, logic, utility, and combinators
Ideal extensions as logical programming models
Optimizing Description Logic Subsumption
A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space
CHICA, an Abductive Planning System Based on Event Calculus
Editorial: Special Issue on Description Logics
Knowledge injection of Datalog rules via Neural Network Structuring with KINS
On the Priorean temporal logic with 'around now' over the real line
Efficient compliance checking of RDF data
Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions
Role Interchange for Anonymity and Privacy of Voting
Measures and Topologies on MV-algebras
Editorial and call for papers
Linearity: A Roadmap
On Winning Strategies with Unary Quantifiers
Logic Programming with Focusing Proofs in Linear Logic
A Stone-type duality for semilattices with adjunctions
Preferential Orders and Plausibility Measures
Substituting strict equivalents
On embedding Lambek calculus into commutative categorial grammars
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics
Iterated reflection over full disquotational truth
State Constraints Revisited
Domain Theory Meets Default Logic
A Logic for prioritized normative reasoning
A computationally grounded logic of awareness
A General Approach to Aggregation Problems
Structural Description of a Class of Involutive Uninorms via Skew Symmetrization
An equational approach to the merging of argumentation networks
A minimal coalition logic
A Decision Algorithm for Stratified Context Unification
Deductive Nonmonotonic Inference Operations: Antitonic Representations
A temporal dynamic deontic logic
Counting Variables in a Dynamic Setting
Nested sequent calculi for normal conditional logics
On States on MV-algebras and their Applications
Parse reranking for domain-adaptative relation extraction
The provability logic of all provability predicates
Expressiveness for Highly Nested Expressions in Linear Temporal Logic
Narratives in the Situation Calculus
Topological facets of the logic of subset spaces (with emphasis on canonical models)
Towards automated reasoning in Herbrand structures
On the realisability of weak argumentation semantics
On the Declarative and Procedural Semantics of Definite Metalogic Programs
Argument Revision
Maximality of bi-intuitionistic propositional logic
Book Review: "Parallel Processing and Parallel Algorithms: Theory and Computation" by Seyed H. Roosta
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
Proof Complexity of the Cut-free Calculus of Structures
Strong Normalizations of Substitutions
Reasoning About Rational, But Not Logically Omniscient, Agents
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
Embedding from multilattice logic into classical logic and vice versa
Operators and Laws for Combining Preference Relations
Relating the λσ- and λs-styles of explicit substitutions
Finitely Presented MV-algebras with Finite Automorphism Group
The Expressive Power of Temporal Logic of Actions
Triviality and Minimality in the Degrees of Monotone Complexity
Survey on Efficient, Low-power, AES Image Encryption and Bio-cryptography Schemes
Evolving Recommender System for Mobile Apps: A Diversity Measurement Approach
Content-based Image Retrieval Using Haar Wavelet Transform and Color Moment
Network Threat Behavior Detection and Trend Analysis Based on the TDLC Model
Increasing the Performance of Difference Expansion-based Steganography when Securing Medical Data
Lead Me, Follow Me, or Get Out Of My Way: Cluster Head Selection Algorithm for Mobile-WSNs
SOV2C2: Secure Orthogonal View of Virtualization in Cloud Computing
Map Representation for Robots
Automated Security Management Using Data-Mining Techniques
A Novel Approach for Task Scheduling in Parallel Computing using Priority Attributes
An Improved LEACH Routing Protocol for Energy-Efficiency of Wireless Sensor Networks
An Experimental Investigation of the Impact of Mobile IPv6 Handover on Transport Protocols
Autonomic Network: Design Principles and Architectural Model Analysis
Super-resolution Imaging via Uncertainty Models
Performance analysis of Centralized, Distributed and Hybrid Demand Load Control architecture for Smart power Grid
A Review of Techniques to Resolve the Hidden Node Problem in Wireless Networks
A Tutorial for Key Problems in the Design of Hybrid Hierarchical NoC Architectures with Wireless/RF
Long Reach Optical Access Networks Design for the Minimum Total Cost of Light Trail Establishment and Electronic Processing
Architecture to Implement Secure Cloud Computing with Elliptic Curve Cryptography
Web-based Visualization of Generalized 3D City Models using HTML5 and X3DOM
Energy Consumption Analysis and Algorithms Based on Energy Efficiency for Cooperative Networks
WARF: Component Based Platform for Wireless Mesh Networks
Tutorial: Mobile Sinks in Distributed Sensor Environments
A Tutorial for Blind Audio Watermarking Scheme
Smart Concept Map Generation for Learning Using Class of Hash Functions
An Algorithm for Vein Matching Based on Log-polar Transform
Multi-Intention Web Pages Model Based on User Keywords of Interest
Design and Implementation of Robotic Parcel-Sorting Systems
Study of Cloud Computing and its Issues: A Review
Method for Collecting Context Information in Mobile Communication Networks
Developing a Framework for Determining Student Excellence and Recommending a Field of Study
Optimized and Smart Link Removal Topology Control for Unplanned Wireless Mesh Networks
An RFID-based System for Tracking Shopping Location and Moving Lines
Cloud Computing Security Models, Architectures, Issues and Challenges: A Survey
MAINWAVE: Multi Agents and Issues Negotiation for Web using Alliance Virtual Engine
Simulation of Spinal Codes
A New Key Management Scheme for a User Hierarchy based on a Hybrid Cryptosystem
Optimal Operation Methods of Protection Devices in Distribution Systems with PV Systems
Effect of Various Topology Control Mechanisms on Maximum Information Flow in Wireless Sensor Networks
MDP Feature Extraction Technique for Offline Handwritten Gurmukhi Character Recognition
A Load Balancing Protocol for IP Based Pervasive Networks
Smart Metric Approach to Reduce Web Service Latency Time
Incorporating Smart Software-defined Networks to Enhance Resilience and Survivability in the Cloud: Survey of Current Challenges and Future Research Scopes
Location-Based Image Steganography
Search Query Expansion using Genetic Algorithm-based Clustering
An Energy-Efficient Dense PicoStation Deployment and Power Control Strategy for Heterogeneous Networks
Localized Mobility Management in MPLS based Access Networks
A Study of Immersive Display Technologies
Fault-Aware Dual-Layer Adaptive Error Control Technique for NoC
Study of the Steady State Characteristics of Wind Power Systems in a Distribution System Using PSCAD/EMTDC
Run Time Fault Detection System for Web Service Composition and Execution
HTTP-based Smart Transportation of DNS Queries and Applications
A Neighbor-Aware Connectivity Architecture for Mobile Internet Maintenance
Forensic Mechanism for Data Integrity
A Community-driven Hierarchical Message Transmission Scheme in Opportunistic Networks
Adaptive Lossless Data Hiding Scheme for SMVQ-Compressed Images using SOC Coding
A Time and Area Limited Epidemic Forwarding Method for Alleviating Vehicular Traffic Congestion
Evolutionary Reconstruction: Image Restoration for Space Variant Degradation
Feature Selection: A literature Review
Visualization of Upper Air Data from Radiosonde Stations using Google Earth API
An Automatic Method of Stereoscopic Video Synthesis from Monoscopic Video
A Review of Magnetic Resonance Imaging Techniques
JMVC: A Java Framework for Rapidly Developing Desktop Application Software Based on MVC
Biomedical Signal Transmission using OFDM-based Cognitive Radio for Wireless Healthcare Applications
Person Detection, Re-identification and Tracking Using Spatio-Color-based Model for Non-Overlapping Multi-Camera Surveillance Systems
Intra Mode Selection for Depth Map Coding in 3D-HEVC
An Efficient Scheme for User-controlled Attribute Sharing in Federated Identity
Human Aspects of Machine-to-Machine Communications and Cooperation
Shadow Detection and Removal Based on YCbCr Color Space
Smart Detection and Classification of Application-Layer Intrusions in Web Directories
Increasing the efficiency of real-time content delivery by improving the technology of priority assignment and processing of IP traffic
A Survey of Information Security Risk Analysis Methods
Review of Task Duplication Based (TDB) Scheduling Algorithms
Fast Discovery of Frequent Itemsets through Clustering and Decomposition
PCA-based Offline Handwritten Character Recognition System
An Introduction: Context-aware Computing for Secure Message Transmission System in M2M
A Secure and Reliable Chat Room Application via Embedded Chaotic Encryption
Tutorial: WordPress for Secure Virtualization Systems in a CMS Environment
An Intelligent Course Recommendation System
Super-resolution Techniques based on Temporal Recursion using Optimal and Real Parameters
An Efficient Spatial Data Index Based On Gossip for Overlay Networks
Convenient Move of Digital Content Using RFID in Home Networks
A Fast Authentication System for Home Network Devices Using Two Dimension Array
Understanding the Evolution of Cooperation in Distributed Systems
6LoWPAN-based Wireless Home Automation: From Secure System Development to Building Energy Management
An Efficient Image Watermarking Scheme Using BFS Technique Based on Hadamard Transform
Parameter Optimization Based on Evolutionary Algorithms for Green Cognitive Radio
Fractal Modeling for Multi-Tier Heterogeneous Networks with Ultra-High Capacity Demands
A Cluster-based Path-relocation Routing Protocol for Load-balancing in Content-Centric Networks
Design and Implementation of Intrusion Detection and Response Model to Enhance Security in Cognitive Radio Networks
A Smart Energy-efficiency Deployment Scheme for Lifetime Enhancement in Large-scale Wireless Sensor Networks
Optimal Objects of Cooperation Selection for Human Activity in Opportunistic Networks
Application-based Classification and Comparison of Secure Routing Protocols in Wireless Sensor Networks: A Survey
Design of Data Communication Scheme for Privacy Protection in Smart IoT Environment
Design of LP/BP filter with VDTA-Gm Floating Inductor
A Review of Manchester, Miller, and FM0 Encoding Techniques
An Overview of SR Techniques Applied to Images, Videos and Magnetic Resonance Images
Fast Networks as a Candidate for LTE-Advanced Networks
An Architecture for Securing a Private Instant Messenger
Smart Home Automation Security: A Literature Review
Uses of Hardware Virtualization for Secure and Trusted Computing: A Review
A Motion Region Detection and Tracking Method
Comparative Study of Hu Moments and Zernike Moments in Object Recognition
Static Task Scheduling Algorithm with Minimum Distance for Multiprocessor System (STMD)
Classifying imbalanced Internet traffic based PCDD: a per concept drift detection method
A DTN System for Nanosatellite-based Sensor Networks using a New ALOHA Multiple Access with Gateway Priority
IP Multimedia Subsystem - An Intrusion Detection System
Classification of Emotions of Angry and Disgust
Arbitrary Processor Network Scheduling Algorithms in Parallel Computing
A Survey of Greedy Routing Protocols for Vehicular Ad Hoc Networks
The Life Cycle of Routing in Mobile Ad Hoc Networks: A Survey
HMM-based Scheme for Smart Instructor Activity Recognition in a Lecture Room Environment
Effects of an educational game with a situated learning strategy on Korean students' English writing abilities
A QoS Control Method Based on SLA
A Novel XOR-based Visual Secret Sharing Scheme with Random Grid
Smart Placement of Security Devices in Cloud Data Center Network
Finger Vein Representation by Modified Binary Tree Model
A Tutorial on Different Classification Techniques for Remotely Sensed Imagery Datasets
Minimal Redundancy Maximal Relevance Criterion-based Multi-biometric Feature Selection
A Heart Rate Variability-based Smart Approach to Analyze Frailty in Older Adults
Implementation of a PC Security System using RF Transmitter-Receivers
A Survey on State-of-the-Art Knowledge-based System Development and Issues
Reversible Color and Gray-scale Based Images in Image Hiding Method Using Adding and Subtracting Operations
An Engine for Automatic Code Generation of Security Protocols in Multiple Languages
A Pragmatic Approach of CRUD in Dynamic Composition of Web Services
Cognitive Radio MAC Protocols: A Survey, Some Research Issues and Challenges
A Tutorial for Audio Watermarking in the Cepstrum Domain
Analysis of Packets Reception Rate for One-Hop Broadcast in 2-D VANETs
A Survey of Broadcast Protocols for Vehicular Ad-hoc Networks
Interactive Slide Navigation: An Approach for Manipulation Slides with Augmented Reality Markers
Practical Online Scheduling for Mobile Video Streaming on Smartphones
An Adaptive Primary Path Switching Scheme for Seamless mSCTP Handover
ZigBee Security for Residential Sensor Networks
Study and Development of Next-Generation Optical Networks
Simulation Model for Compatibility between LTE-Advanced and Digital Broadcasting in the Digital Dividend Band
A New Privacy Scheme for Providing Anonymity Techniques on Sensor Network
New Introduction: Search Method for Similar Images from Representative Video Frame Images
An Intelligent Multi-Sensor Surveillance System for Elderly Care
A Tutorial for Energy-efficient Communication for XMPP-based Internet of Things
Algorithm for 3D Reconstruction and Segmentation of Brain Tumor from MRI using Slice Selection Mechanism
Wireless Machine-to-Machine Routing Protocol with Unidirectional Links
A Tripartite Edge Histogram Scheme for a License Plate Recognition System
Multi-Objective Particle Swarm Optimization: An Introduction
Smart Message Schedule Configuration for Static Segment of Flexray
Using Gravitational Search Algorithm to Support Artificial Neural Network in Intrusion Detection System
Access Authentication of Mass Device Connections for MTC in LTE Networks
Implementation of VANET-based Warning Generation System using Cellular Networks, GPS, and Passive RFID Tags
Cast Shadow Detection and Removal of Moving Objects from Video Based on HSV Color Space
A Smart Backoff Scheme for Multicast Flows in Wireless LAN
A Study on Elliptic Curve Digital Signature Algorithm (ECDSA) for Reliable E-Commerce Applications
Stochastic Geometry Models for 5G Heterogeneous Mobile Networks
Survey on Internet of Things: Toward Case Study
The Sybil Attacks and Defenses: A Survey
A Survey of Cluster-based Routing Schemes for Wireless Sensor Networks
Minimum Gradient Forwarding for Wireless Sensor Networks
Design and Implementation of a Real-time Radiosonde Location System for Upper-air Observations
A Prediction Model to Support a MultilayerNetwork-based Universal Electronic CashTransaction Framework
Mechanism of Character Region Detection Using Structural Features of Hangul Vowels
A 'Mixed' Approach to Group Formation in Collaborative Learning
Design and Hardware Implementation of Fractal Comb-Structured Signals
Challenges in Big Data Cloud Computing And Future Research Prospects: A Review
Smart Energy Efficient Hierarchical Data Gathering Protocols for Wireless Sensor Networks
Pre-study: Trust and Smart Prediction Using Social Relationships for Effective Recommendation Systems
OCA-Graphical System for Algorithm Structure Analysis and Processing
Adaptive Search Range Selection Algorithm Based on Block Complexity in Frame Rate Up-Conversion
Processing MBES Data to Detect Changes to Seafloor Topography
Influence of Degree and Betweenness on Infrastructure-less Ad hoc Networks
Design of a New CMOS TRA
A Smart and Automated Negotiation System based on Linear Programming in a Multilateral Environment
Using an SQP Algorithm to Choose the Feature Set for Data Field Clustering
Empirical Analysis of User Interaction Behavior in Microblogging
Location-based Post Natural Disaster Warning and Evacuation System
Vehicle License Plate Detection and Tilt Correction Based on HSI Color Model and SUSAN Corner Detector
Design and Simulation of Dynamic TDMA Protocol Based on Tactical Internet
Doppler Shift Signature for a MCSs Selection in a VANET
Data Buffering Multilevel Model at a Multiservice Traffic Service Node
Survey of MAC Protocols for Vehicular Ad Hoc Networks
Performance Analysis of Smart Optical Burst Switching Networks for Different Signaling Protocols
A New Low-voltage Tunable CMOS VDTA-based 10MHz LP/BP Filter
Migrate to IPv6 on 6PE with MPLS-TE: Questions on Feasibility and Reluctance in Deployment?
Driver Authentication and Accident Avoidance System for Vehicles
Process Planner: An Approach to Conceptualize Business Practices in Private Cloud
Smart Virtual Machine Placement Using Learning Automata to Reduce Power Consumption in Cloud Data Centers
A Dynamically Controlled Broadcasting Scheme for VANETs in Dense Traffic Environments
An Architecture for Cloud-based Consumer Support Software-as-a-Service
Implementation of Intelligent Preferred Goods Recommendation System using Customer Profiles and Interest Measurments based on RFID
Exploring Effects of Intrinsic Motivation and Prior Knowledge on Student Achievements in Game-based Learning
Hybrid Algorithm for Selecting Multimedia Network Connections in Heterogeneous Networks
Comparative Software Infinite NHPP Reliability Growth Model Based on the Intensity Function of Log-Linear and Log-Power Forms
A Survey of Knowledge Hierarchies for Image Analysis
Localization-Based System Challenges in Vehicular Ad Hoc Networks: Survey
A Survey on Technical Issues in IEEE 802.16j Mobile Multi-hop Relay Networks
A Statistical Framework for Detecting Diabetes Types
Konsistenzerhaltung von Fensterinhalten in Software-Entwicklungsumgebungen
Die Zusammenarbeit von TP-Monitoren und Datenbanksystemen in DB/DC-Systemen, Existierende Systeme und zukünftige Entwicklungen
Editorial zum Themenheft: "Modellierung"
Optimale Busvergabe in eng gekoppelten Multiprozessorsystemen