yusuke1997/dblp-id-title huggingface dataset:
Solving Modal Logic Problems by Translation to Higher-Order Logic
Relevance for Stability of Verification Status of a Set of Arguments in Incomplete Argumentation Frameworks
Norms and Arguments
Audience Irrelevance in Strategic Argumentation Games
Reasons to Believe in Social Settings
Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks
Rule-based Lightweight Structure Design
Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Dynamics of Fuzzy Argumentation Frameworks
Which One Takes Priority? - Reflections on the Concept of Argument
New Weak Admissibility Semantics for Abstract Argumentation
Fuzzy Labeling Semantics for Quantitative Argumentation
On Pluralistic Methods for Explaining Argument Acceptance in Abstract Argumentation
The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract)
Computer-Supported Analysis of Arguments in Climate Engineering
Towards a Sound and Complete Dialogue System for Handling Enthymemes
Updating Argumentation Frameworks for Enforcing Extensions
Towards Assumption-Based Argumentation Mining in Hotel Reviews
Weakest Link in Formal Argumentation: Lookahead and Principle-Based Analysis
The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation
Extension-Based Semantics for Incomplete Argumentation Frameworks
Focusing the Argumentative Process: Neighborhood-Based Semantics in Abstract Argumentation
Six Faces of Or-to-If
Ideal Related Algebras and Their Logics Extended Abstract
Local Expansion Invariant Operators in Argumentation Semantics
Structural Analysis of Extension-Based Argumentation Semantics with Joint Acceptability
Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings
Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016
Norm Creation in Proposition Control Games
Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018
Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope
Beliefs supported by Arguments
Preservation of Admissibility with Rationality and Feasibility Constraints
Group Belief
Relevant Epistemic Logic with Public Announcements and Common Knowledge
A Formalization of the Slippery Slope Argument
A Dynamic Approach for Combining Abstract Argumentation Semantics
Providing Personalized Explanations: A Conversational Approach
Collective Argumentation with Topological Restrictions
Resolving the Cohenian Paradox in Judicial Probability Theory
Reasoning as Speech Acts
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic
A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning
Burdens of Persuasion and Standards of Proof in Structured Argumentation
Each of Those Eight Coalition Logics is Also Determined by Four Other Kinds of Models
Intrinsic Argument Strength in Structured Argumentation: A Principled Approach
Soft Presuppositions as Scalar Implicatures in Signaling Games
A Multi Attack Argumentation Framework
Incomplete Higher-Order Abstract Argumentation Frameworks
Semirings of Evidence
Entailments with Sentential Predicates
A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation
Argument by Multimodal Metaphor as Strategic Maneuvering: A Case Study
On Restricting the Impact of Self-attacking Arguments in Gradual Semantics
Open Reading and Free Choice Permission: A Perspective in Substructural Logics
An Argumentative Dialogue System for COVID-19 Vaccine Information
Probabilistic Three-Valued Argumentation Frameworks
The A-BDI Metamodel for Human-Level AI - Argumentation as Balancing, Dialogue and Inference
Proportional Acceptability of Arguments
Argument-Based Belief and the Evidence Topology
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
Validity Under Assumptions and Modus Ponens
Ontology of Autonomous Driving as a Tool for Argumentation on Responsibility
Reasoning About Degrees of Confirmation
Towards a General Theory of Decomposability in Abstract Argumentation
Initial Sets in Abstract Argumentation Frameworks
Topological Conditions and Solutions for Repairing Argumentation Frameworks
The Burden of Persuasion in Abstract Argumentation
Reasoning in Coalition Planning
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter
Integrating Individual Preferences into Collective Argumentation
A Variant with the Variable-Sharing Property of Brady's 4-Valued Implicative Expansion BN4 of Anderson and Belnap's Logic FDE
Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans
A Game-Theoretic Analysis on the Use of Indirect Speech Acts
Paranegations and the Square of Oppositions
Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail
Argumentation Framework with Attitude Classification: A New Approach to Handle Controversial Arguments, Defeat Cycles and Self-defeating Arguments
Further Steps Towards a Logic of Polarization in Social Networks
Extractive-Abstractive Summarization of Judgment Documents Using Multiple Attention Networks
A Proposal for the Reconstruction and Evaluation of Multimodal Argumentation in Print Advertisements
A Meta-level Annotation Language for Legal Texts
Some properties of Janssen's Fuzzy Argumentation Frameworks
A Road to Ultrafilter Extensions
Agent, Epistemology, and AI
Research on Human Reliability of the High-Speed Railway Intelligent Dispatching Centralized Traffic Control System
Finding an Optimal Route of a Consignment in a Seaport
Game Models for Taxi Decision-Making Considering Online Ride-Hailing Competition in Airport
Enhanced dynamic background updating MOD algorithm for harsh environmental conditions
Factor analysis of key nodes in urban rail network
Lane Detection Method Based on Instance Segmentation of Bi-ATT Network
Research on Emergency Rescue Route Optimization Based on Adaptive Genetic Algorithm
Design of a Distributed UAV Traffic Management System for Smart Air Service
Identifying spatial structure of travel modes through community detection method
A review of the link traffic time estimation of urban traffic
Demand Responsive Feeder Transit Scheduling with Flexible Service Quality
Intelligent Traffic Signal Control Strategy Based on Rainbow Algorithm
Exploring the Characteristics of High-speed RAILWAY Network Based on Complex Network Theory
Dense disparity map-based pedestrian detection for intelligent vehicle
Research on Traction Performance of Intelligent Wheelchair Based on Ground Mechanics
A Real-Time Traffic Signal Optimization Method for Alleviating Queue Spillover on Urban Arterial
Development of Robust Vehicle Classification and Tracking for Traffic Analysis
Research on type selection of waterway service area in fuzzy environment
Optimal Facility Location and Network Design in Hazardous Materials Transportation via Lane Reservation
Parking Management Evolutionary Game Analysis between Government and Bike Sharing Enterprises in the Context of Smart Cities
The prediction of passenger flow distribution for urban rail transit based on multi-factor model
Trend Analysis of Passenger Evacuation Modeling Technology in Urban Rail Transit
Research on Recovery from Location Failure of a Fully Automatic Operation Train between Two Adjacent Stations
Intelligent Signal Control Module Design for Intersection Traffic Optimization
Effectiveness of Public Transport Networks in Motorized Mode Detection: A Case Study of a Planning Survey in Nanjing
A Method to Elicit User Needs of MaaS Based on Activity Theory
Simulation and Evaluation of Typical Scenarios of Smart Expressway Based on Multi-Level Traffic Cooperative Control Strategy
Performance Optimization of Aluminum Fin Heat Sinks for Cooling Power Modules in Railway Transportation Control Equipment
Review of spatio-temporal models for short-term traffic forecasting
Multi-objective Location Model of Urban Terminal Distribution Network
Detecting the Impacts of Mixed Traffic Flow with Connected Automated and Human-driven vehicles on Safety and Efficiency of Expressway Off-Ramp Areas via the TOPSIS-Entropy Method
Improvement Based on CenterNet and Application of Traffic Scenarios
Optimal Design and Application Scenes of Flank Protection of Urban Rail Transit Signal System
Safety state evaluation and risk management of navigation environment in harbour waters based on Bayesian network
Research on Real-Time Ship Detection Using Deep Learning
The SIDRA Based Analysis on Operations of Three-Leg Modern Roundabout with Single-Lane Approaches
A Multi-Trip Customized Bus Network Design Model
Research on Bathtub Models of Urban Traffic with Different Velocity-Density Relation
Study on Key Technologies in Signaling Systems for Urban Rail Transit Interoperability
Interoperability Technology Research of Train Autonomous Circumambulate System
Study on the Differential Braking of an Eddy Current Retarder Axle Used for Articulated Vehicles
Autonomous Hedging System Designed for Driver Disability Accidents Based on Emergency Risk Field
An Investigation into the Impact of Alternate Road Lighting on Road Traffic Accident Hotspots Using Spatial Analysis
Traffic Flow Prediction Method Based on Fast Statistics of Traffic Flow and Graph Convolutional Network
Optimization of Algorithm for ATO Speed Controller of PID Control
An Improved Multi-object Tracking Algorithm for Autonomous Driving Based on DeepSORT
A Feature-Based Approach for Organizing Spatial Data of Digital Twin Railway
Exploring the State-of-the-Practices in Smart Expressway: Multi-Country Comparison
Research on the Influencing Factors of Using Behavior Intention of Automated Car-Sharing System
7th IEEE International Conference on Intelligent Transportation Engineering, ICITE 2022, Beijing, China, November 11-13, 2022
Maximizing Parking Operation Revenue via Joint Control of Channels and Overselling
Smart Nation: Offline Public Transport Made Easy
Design optimization of pillar inner left right panel using FEA method
Method of Extracting Airport Curbside Vehicle Operation Data Based on Point Cloud Data
Empirical Study on Influencing Factor of Park&Ride Usage in Tourist Areas Using a Mobile Application
Lane Detection Method Based on MCA-UFLD
Research on the Method and Application of Intelligent Information Service Demand Identification of Inland Waterway
Analysis of Technical Schemes for Restructuring of Signaling Systems in Urban Rail Transit
Multi-Agent GIS Simulation for Railway Logistics Optimization
The Application of Improving Particle Group Algorithm in Logistics Path Optimization
Development of a Road Illumination Measurement System
Overview of current progress and development of seaplane safety management
Illuminating Transport and Roads to Reduce Accidents and Lighting Requirements: Exploring the Potential of Glow-in-the-Dark Paint
PLC Commanded Intelligent Logistics Model Based on Discrete Event Systems
SaveDat: Spatio-Temporal Trajectory Compression by LSTM
Static game approach for solving lane-merging conflict between autonomous vehicles
A Method of Automatic Test Case Generation Based on CT-LSSVM Algorithm in FAO Systems
Improved Frequency-Domain Algorithm for High-Voltage Asymmetry Impulse Track Circuit
Modeling Taxi Passengers' Satisfaction under Internet Plus: A Case of Harbin, China
Research on Railway Connection Modes Behavior and Users Profiles Based on Passenger Clustering
ZC Application Software Development Method Based on Boolean Logic
Transportation Mode Recognition on Multi Modal Routes based on Mobile GPS Data
Big Data Based Intelligent Operation and Maintenance Platform
Prediction of Motor Vehicle Ownership in County Towns Based on Support Vector Machine
A comfort index for public transportation: Case study of Montreal
Research on ATS Route Control Based on the Binary Tree Algorithm
Passenger Flow Prediction in Traffic System Based on Deep Neural Networks and Transfer Learning Method
A Facility Location Model Based on Entropy and TOPSIS for Pilot Boarding Waters
A Genetic Algorithm-based AutoML Approach for Large-scale Traffic Speed Prediction
Dynamic Programming-Based Optimal Charging Scheduling for Electric Vehicles
A Bi-Objective Bi-Level Programming for Connected Bus Lane Reservation
A Reinforcement Learning Approach to Train Timetabling for Inter-City High Speed Railway Lines
A semantic web vision for an intelligent community transport service brokering system
Tourism Travel Mode Identification Based on Cell Phone Signaling Data
Headway-Based Bus Bunching Prediction Using LSTM with Attention
The 5G NR Beamforming Grid for Next-Generation Electronic Toll Collection System
Research on Lean Operations Management Method of Railway Marshalling Yard
Multi-step Road Network Speed Prediction Based on Graph Convolution Long Short-Term Memory Neural Network
Research on Handling Equipment Allocation of Rail-Sea Intermodal Transportation in Container Terminals
Study on Departure Time Choice of Tourism Purpose Trips with the Perception of Predicted Near-future Traffic Condition - An Experiment Using a Mobile Application
Gradient Determination for the Design of Electric Autorickshaws Specific to Terrain Characteristics of Kerala State, Using Digital Elevation Model
Optimize Train Operation Plan of Urban Rail Transit Including Temporal Variation of Passenger Ridership During the Day
Study on the Health Monitoring Technology of Saline Soil Subgrade and the Distribution Law of Subgrade Water Temperature
Real-time Group Route Diversion Control Considering Dynamic Response Behavior
Approaches to Cooperation between the Airline and Hotel Based on the Improved SCOR Model
Data Security Testing Method of Intelligent and Connected Vehicles Based on Typical Scenarios
Research on Analysis Method of Deck Suspected Vehicles in City Range
Understanding Additional Stopover Behaviors of Car Tourists: An Analysis of Combined Route Search and Mobile GPS Travel Trajectory Data
Exploring the Acceptance of Robotaxi Technology Among the Elderly Based on an Extended Technology Acceptance Model
Utility Analysis of Expressway Speed Management Based on Topsis Model
Analysis of Quality and Reliability Evaluation Standard of Car Flow Connection in Railway Technical Station
A Speed Guidance Strategy at Intersections Based on Multiple Regression Analysis in the Connected Vehicles Environment
Overflow Research of a New Hybrid Traffic Flow Considering Routing
Vertiport Design of Urban Air Mobility for eVTOL Aircraft
A Solution to Ensure Correctness of Movement Authority
Research on Optimization of City Line Express Trains Based on Multi-objective Particle Swarm Optimization Algorithm
A Novel Hybrid Car-Following Model Combining Kinetic Dynamics and Deep Learning Networks
Long Term Traffic Prediction in Highway Using Parallel CNN
An Algorithm to Calculate Feasible Turnback Time in Complex Route Conditions
The Case Study of Dalian Metro Line 3 Signaling System Transformation
Ensemble Empirical Mode Decomposition-Based Gated Recurrent Unit Model for Short-Term Metro Passenger Flow Prediction
A Method for Creating Metro Maps by Integrating Multiple Unreliable Data Sources
Vehicle Velocity Control in Case of Vehicle Platoon Merging
Charging Demand Estimation for EVs in Urban Transport Hub: A Case Study of Beijing South Railway Station
Factor Recognition of Regional Serious Pedestrian-vehicle Crash Using Big Data for Intelligent Vehicles
Ship Sliding Mode Course Control Based on Novel Double-power Combination Reaching Law
Modeling Rail Contact Temperature with a Temperature-dependent Coefficient of Friction
Research on Traffic Behavior in the Presence of Lane Merging Using Traffic Simulation
Driver Behavior Modeling in Critical Situations for Threat Assessment of Intelligent Vehicles
Research on Traffic Characteristics of Signal Intersections with Mixed Traffic Flow
Interface Verification between the Main Control Board and Driver Board of the All-electronic Interlocking Computer Platform
Study of Passenger Evacuation Capability in Metro Vehicle Using Simulation Methods
Model of U-turn Openings Optimization at Signalized T-intersection with Single Release
Spatial-Temporal Multiscale Fusion Graph Neural Network for Traffic Flow Prediction
An Automatic Traffic Peak Picking Method Based on Max Tree
Deep Spatial-Temporal Network Based on Residual Networks and Dilated Convolution for Traffic Flow Prediction
Cluster Analysis of Trip Purpose Based on Residents' Travel Characteristic
Car-to-Car Communication Using ITS-G5 & 5G
Ant Colony Optimization for Multi-phase Traffic Signal Control
Combined Forecasting Model of Water Traffic Accidents Based on Gray-BP Neural Network
Systematic Review on Classical Car-Following Models
Risk Evaluation of Railway Business Line Construction Plan Based on Analytic Hierarchy Process and Bayesian Network
Short-term Traffic Flow Prediction Based on Time-space Characteristics
A Ramp Merging Strategy for Automated Vehicles Considering Vehicle Longitudinal and Latitudinal Dynamics
Optimization of Contactless Distribution in the Post-COVID Era
A New Public Transport Payment Method Based on NFC and QR Code
Research on Statistical Index and Evaluation System of Urban Rail Transit Train Delay Based on Operation Diagram
Optimization of Capacity Utilization of High-Speed Railway Network
Optical Flow-Guided Deep Convolutional Neural Networks for UAV Detection in Infrared Videos
A Driving Style Recognition Method for Battery Electric Vehicle Drivers
Assessment of the Influence of Selected Factors on the Wear of Braking System Components as an Element of Reliability of Means of Transport
Vehicle License Plate Recognition In Complex Scenes
Multi-tag Information Interactive Communication Model based on Precise Position Detection in Vehicle-Infrastructure Collaboration Environment
Development and RCS Measurement of Chinese Scooter Dummy
Blockchain Application on the Internet of Vehicles (IoV)
Simulation-based Planning of Depots for Electric Bus Fleets Considering Operations and Charging Management
8th IEEE International Conference on Intelligent Transportation Engineering, ICITE 2023, Beijing, China, October 28-30, 2023
A Model for Estimating Performance of Urban Emergency Under Disaster Grading
Research on Cyberattack Detection of Connected Automated Vehicles Based on Support Vector Machine
Vertical Alignments and Safety Performance: A Combinational Effect of Load, Vertical Grade, and Length
Parametric Identification of Ship Maneuvering Model Based on Multi-Innovation Unscented Kalman Filtering
Modeling Merging in Dense and Mixed Traffic Game with Sympathy
Methods of Improving the ATP Cut-off Control Circuit for Urban Rail Transit Vehicles
Research on Improvement and Experiment for Cyber Security of Automotive Electronic and Electrical Architecture
Option Pricing and Capacity Allocation of China Railway Express Considering Capital Constraint and Spot Market
Decision Model of Lane Changing for Autonomous Vehicles Considering Weather Influence
A Deep Learning Framework for Traffic Data Imputation Considering Spatiotemporal Dependencies
Data Security Risk Assessment Method for Connected and Automated Vehicles
Vehicle lane following achieved by two degree-of-freedom steering control architecture
Performance Evaluation of Dangerous Goods Transport Vehicle Based on Analytic Network Process(ANP)
Lane Change Decision-Making through Deep Reinforcement Learning with Driver's Inputs
Multi Decoupling Point Optimization Model and Its Application in Ecotype Supply Chain - Platform A Case Study
Research on the Yangtze River accident casualties using zero-inflated negative binomial regression technique
Competitive Pricing of Rail Container Based On Shipper Selection Behavior
Car trajectory prediction in image processing and control manners
Amendments to the Methods of Non-standardized Cargo Unit Securing Assessing
Optimal Scheduling of Single-Line Electric Buses with Battery Swapping
Raising fairness issue of vehicle routing problem
Prediction Model of Inland Ship Fuel Consumption Considering Influence of Navigation Status and Environmental Factors
An Effective Practical Approach for LDM in China's Cooperative Intelligent Transportation System
Research on V2I/V2V Hybrid Multi-hop Edge Computing Offloading Algorithm in IoV Environment
Research on Electric Vehicle Charging Stations Planning Based on Traffic Destination Heat Data and Charger Usage Data
Integrated Scheduling of Metro Fire Engines and Trains for Metro Fire Rescue
Multi-vehicle Cooperative Merging Control Strategy for Expressway under New Mixed Traffic Environment
Approximation of Throughput Rate of Docked Bike-Sharing System
An Optimized Multi-sensor Fused Object Detection Method for Intelligent Vehicles
Optimal Design of Train Schedule of Urban Rail Transit Based on Time-varying Demand
Dynamic Modelling and Acceleration Signal Analysis of Rail Surface Defects for Enhanced Rail Condition Monitoring and Diagnosis
Inertial Method of Railway Track Diagnostics Incorporating the Condition of Rolling Surfaces of the Railcar's Wheels
Cascading Failure Model Establishment and Empirical Analysis of Multimodal Transport Network
Using Instance Segmentation Model for Multi-Object Tracking of Motorcycles on Signalized Intersection Approaches
An Optimization Approach to the Low-Frequency Entire Train Formation with Price Discount
Study on Longitudinal Impulse Law under Braking Condition for Heavy Haul Train with ECP Brake System
A Study on Influencing Factors and Common Rules for Decision-Making in Moral Dilemmas of Autonomous Vehicles under China Region
Research on the Digital Twin Platform and Emergency Response Technology for Rail Transit Operation Emergencies
The Influence of the Electronic Components Located on the Front End of RKE Receivers for Passenger Cars
An Edge Computing-Based Paltform of Railway Signalling System On-site Digital Smart Test
Assessing Connected Vehicle Data Coverage on New Jersey Roadways
Optimizing Intersection Signal Via Reinforcement Learning for Cooperative Adaptive Cruise Control
Chip-based Anti-collision System for Car Door Opening
Stochastic On-time Arrival Problem with Levy Stable Distributions
Modified Vehicle Recognition Method Based on Attribute Fusion and Fuzzy Product Quantization
Proxy Model Construction for Aerodynamic Effects of High-Speed Trains in Tunnels and Research on Optimization Method of Key Parameters of High-Speed Railway
Optimal Multi-attribute Decision-making Method for Public Bus Route Selection under Interval-Valued Intuitionistic Fuzzy Environment
Analysis and Exploration of Expressway Traffic Situation
Two-way Vehicle Scheduling Approach in Public Transit Based on Tabu Search and Dynamic Programming Algorithm
A New Algorithm of Intelligent Short-Turn Routes Operation in Urban Rail Transit
A method of waterway traffic safety evaluation based on conflict threshold
Research on Road Surface Slippery State Dynamic Evaluation Model of Long Highway Tunnels
Research on Train Positioning Technology of Urban Rail Transit Based on Lidar
Research on Electric Energy Metering and Charging System for Dynamic Wireless Charging of Electric Vehicle
ROMOT: An Online One-Shot Framework for Roadside multiple Object Tracking
Oversaturated traffic signal optimization based on active control
Research on Travel Time Reliability of Highway Based on Generalized Extremum Distribution
Traffic Flow Prediction Based on Sparrow Search Algorithm Optimized Neural Network Using Intelligent Connected Vehicle Data
Parking Reason Inference of Trucks Based on Trajectory Data
C-ILIFWPA Operator and Application to Multi-Attribute Decision Making
Research on the Spatial Distribution Characteristics of Traffic-accommodation in Mountain Tourism Cities
Study on Green Transportation Behaviors in Beijing, Tokyo, and Klang Valley based on Theory of Planned Behavior
5th IEEE International Conference on Intelligent Transportation Engineering, ICITE 2020, Beijing, China, September 11-13, 2020
Research on Evaluation Method of Driving Ability Based on Digital Training Process