yusuke1997/dblp-id-title huggingface dataset:
Succinct Approximate Counting of Skewed Data
Ancestral Instrument Method for Causal Inference without Complete Knowledge
Natural Language Understanding: Instructions for (Present and Future) Use
Scalable Multiplex Network Embedding
Reflective Negotiating Agents for Real-Time Multisensor Target Tracking
A Terminological Logic with Defaults: A Definition and an Application
Intelligent Agent Supporting Human-Multi-Robot Team Collaboration
Graph-based Neural Sentence Ordering
All Roads Lead to Rome: Exploring Edge Distribution Shifts for Heterophilic Graph Learning
Task-Nonspecific and Modality-Nonspecific AI
Stable Strategies for Sharing Information among Agents
A Unified View of Propositional Knowledge Base Updates
HyQ: Hardware-Friendly Post-Training Quantization for CNN-Transformer Hybrid Networks
Improved bounds on the complexity of kB-consistency
Jack and Janet in Search of a Theory of Knowledge
Probabilistically Survivable MASs
Writing a Natural Language Data Base System
Benchmarking Stroke Forecasting with Stroke-Level Badminton Dataset
Rethinking the Effectiveness of Graph Classification Datasets in Benchmarks for Assessing GNNs
Towards Runtime Behavior Adaptation for Embodied Characters
Toward Interpretable Time Series Modeling: A Kernel Representation Perspective
Differential Semantics of Intervention in Bayesian Networks
Towards a Model-Centric Cognitive Architecture for Service Robots
A Survey on Temporal Reasoning for Temporal Information Extraction from Text (Extended Abstract)
Combinatorial Aggregation
Tree Sampling Divergence: An Information-Theoretic Metric for Hierarchical Graph Clustering
Unbiased Gradient Estimation in Unrolled Computation Graphs with Persistent Evolution Strategies (Extended Abstract)
Robust Reinforcement Learning via Progressive Task Sequence
Curriculum Reinforcement Learning for Tokamak Control
Reinforcement Learning Approaches for Traffic Signal Control under Missing Data
Diagnosis as a Variable Assignment Problem: A Case Study in a Space Robot Fault Diagnosis
TORUS - A Natural Language Understanding System For Data Management
The Structure and Performance of the INTERIM.2 Go Program
Specializing Word Embeddings (for Parsing) by Information Bottleneck (Extended Abstract)
A Data and Operation Model for Advanced Database Systems
Force Control in Coordination of Two Arms
Rectangle and Square Coverings of Tolerance Spaces and Their Direct Product
A Multi-Dimensional Terminological Knowledge Representation Language
Plan Quality Optimisation via Block Decomposition
Simulating the Formation of Color Categories
Bounding the Inefficiency of Compromise
A Deep Probabilistic Spatiotemporal Framework for Dynamic Graph Representation Learning with Application to Brain Disorder Identification
Sequence Selection by Pareto Optimization
End-to-End Multi-Perspective Matching for Entity Resolution
Input Parameter Calibration in Forest Fire Spread Prediction: Taking the Intelligent Way
Make Graph Neural Networks Great Again: A Generic Integration Paradigm of Topology-Free Patterns for Traffic Speed Prediction
Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing
Learning Stable Linear Dynamical Systems with the Weighted Least Square Method
Forgetting in Multi-Agent Modal Logics
OTOcc: Optimal Transport for Occupancy Prediction
A Unified Framework for Intrinsic Evaluation of Word-Embedding Algorithms
Boosting Face Identification in Airports
A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems
Managing Uncertainty of AI-based Perception for Autonomous Systems
Discrete Biorthogonal Wavelet Transform Based Convolutional Neural Network for Atrial Fibrillation Diagnosis from Electrocardiogram
Bipolar Abstract Dialectical Frameworks Are Covered by Kleene's Three-valued Logic
A Psychologist Views Human Processing: Human Errors and Other Phenomena Suggest Processing Mechanisms
Deep Bucket Elimination
The Logic of Occurrence
Hybrid Item-Item Recommendation via Semi-Parametric Embedding
MeSHx-Notes: web-system for clinical notes information extraction
Internet Platform for City Dwellers Based on Open Source System
Impartial Peer Review
Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations
Arrange, Inpaint, and Refine: Steerable Long-term Music Audio Generation and Editing via Content-based Controls
Nonconvex Relaxation Approaches to Robust Matrix Recovery
Isomorph-Free Branch and Bound Search for Finite State Controllers
Reviving Partial Order Planning
Learning Multi-Step Predictive State Representations
Same Representation, Different Attentions: Shareable Sentence Representation Learning from Multiple Tasks
Multi-Task Multi-View Clustering for Non-Negative Data
Representation Learning of Knowledge Graphs with Hierarchical Types
Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas
PRoFET: Predicting the Risk of Firms from Event Transcripts
Computing Circumscription
Multi-Objective POMDPs with Lexicographic Reward Preferences
MCF-Spouse: A Multi-Label Causal Feature Selection Method with Optimal Spouses Discovery
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries
Towards Reducing Biases in Combining Multiple Experts Online
RULIE: Rule Unification for Learning Information Extraction
Automatic Sleep Spindle Detection and Analysis in Patients with Sleep Disorders
On Computational Tractability for Rational Verification
A Multi-Objective Approach to Mitigate Negative Side Effects
Adapting to User Preference Changes in Interactive Recommendation
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
Improving Activity Discovery with Automatic Neighborhood Estimation
Robustra: Training Provable Robust Neural Networks over Reference Adversarial Space
Sequential Prediction of Social Media Popularity with Deep Temporal Context Networks
485 - A New Upper Bound for Morpion Solitaire
Making sense of temporal data: the DECLARE encoding
On the Space-Time Trade-off in Solving Constraint Satisfaction Problems
A Machine Learning Pipeline for Extracting Decision-Support Features from Traffic Scenes
You Get What You Sow: High Fidelity Image Synthesis with a Single Pretrained Network
Some Necessary Conditions for a Master Chess Program
Revisiting Controlled Query Evaluation in Description Logics
Learning to Estimate Object Poses without Real Image Annotations
The Interaction with Incomplete Knowledge Bases: A Formal Treatment
Change Detection and Analysis in Multispectral Images
Predicate Logic Involving Data Structure as a Knowledge Representation Language
Anomaly Detection by Leveraging Incomplete Anomalous Knowledge with Anomaly-Aware Bidirectional GANs
PEACH: Pretrained-Embedding Explanation across Contextual and Hierarchical Structure
A Framework for Integrating Symbolic and Sub-Symbolic Representations
Rational Closure For All Description Logics (Extended Abstract)
A Model for Learning Systems
Constraint Answer Set Programming versus Satisfiability Modulo Theories
A Note on Counting Basic Choice Functions with Formal Concept Analysis
Deep Reinforcement Learning Boosted Partial Domain Adaptation
LensNet: An End-to-End Learning Framework for Empirical Point Spread Function Modeling and Lensless Imaging Reconstruction
The Role of Object Primitives in Natural Language Processing
Creating Action Heuristics for General Game Playing Agents
Solving Morphological Analogies Through Generation
PillGood: Automated and Interactive Pill Dispenser Using Facial Recognition for Safe and Personalized Medication
Leveraging Large Language Models for Active Merchant Non-player Characters
Graph WaveNet for Deep Spatial-Temporal Graph Modeling
Feature Extraction And Sentence Recognition Algorithm In Speech Input System
Using the Affective Reasoner to Support Social Simulations
ROCCER: An Algorithm for Rule Learning Based on ROC Analysis
Mamba-Based Graph Convolutional Networks: Tackling Over-smoothing with Selective State Space
Learning Multi-level Region Consistency with Dense Multi-label Networks for Semantic Segmentation
SVRG for Policy Evaluation with Fewer Gradient Evaluations
Improving Deep Neural Network Sparsity through Decorrelation Regularization
Packing Curved Objects
DFC-SNN: A New Approach for the Recognition of Brain States by Fusing Brain Dynamics and Spiking Neural Network
Find Rhinos without Finding Rhinos: Active Learning with Multimodal Imagery of South African Rhino Habitats
Multi-hop Reading Comprehension across Documents with Path-based Graph Convolutional Network
Preferential Semantics as the Basis for Defeasible Reasoning in Ontologies
Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus
Efficient Label Contamination Attacks Against Black-Box Learning Models
Fast convergence to satisfying distributions
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
Exploiting Label Skewness for Spiking Neural Networks in Federated Learning
Automatic Text-to-Scene Conversion in the Traffic Accident Domain
Simulating Misinformation Diffusion on Social Media Through CoNVaI: A Textual- and Agent-Based Diffusion Model
Goal-Based Collective Decisions: Axiomatics and Computational Complexity
Mining Definitions from RDF Annotations Using Formal Concept Analysis
Coherence and Interpretation in English Texts
Complexity of n-Queens Completion (Extended Abstract)
JETS: Achieving Completeness through Coverage and Closure
Proceedings of the 4th International Workshop on Knowledge Discovery in Healthcare Data co-located with the 28th International Joint Conference on Artificial Intelligence, KDH@IJCAI 2019, Macao, China, August 10th, 2019
Accelerated Doubly Stochastic Gradient Algorithm for Large-scale Empirical Risk Minimization
Model Elimination, Logic Programming and Computing Answers
SyntaSpeech: Syntax-Aware Generative Adversarial Text-to-Speech
Keynote and Invited Speakers
Membership Inference via Backdooring
Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music Generation
GANs for Semi-Supervised Opinion Spam Detection
A System for Stereo Computer Vision with Geometric Models
Causality-enhanced Discreted Physics-informed Neural Networks for Predicting Evolutionary Equations
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
Summarizing Narratives
The Role of Clustering on the Emergence of Efficient Social Conventions
Action Selection via Learning Behavior Patterns in Multi-Robot Systems
Two-Stage Feature Generation with Transformer and Reinforcement Learning
A Unified View of Relational Deep Learning for Drug Pair Scoring
Open Information Extraction Systems and Downstream Applications
Towards Improving the Expressivity and Scalability of Distributed Constraint Optimization Problems
FOUL-UP: A Program that Figures Out Meanings of Words from Context
Sound, Complete, and Minimal Query Rewriting for Existential Rules
Theoretic Analysis and Extremely Easy Algorithms for Domain Adaptive Feature Learning
Strolling Down The Garden Path: Error Prone Tasks in Expert Problem Solving
Solving Large-Scale Extensive-Form Network Security Games via Neural Fictitious Self-Play
SaSDim: Self-Adaptive Noise Scaling Diffusion Model for Spatial Time Series Imputation
ActiveHAI: Active Collection Based Human-AI Diagnosis with Limited Expert Predictions
Procedural Embedding of knowledge in Planner
Rewiring What-to-Watch-Next Recommendations to Reduce Radicalization Pathways (Extended Abstract)
Generative Modeling with Failure in PRISM
A LISP Machine with Very Compact Programs
Axiomatic Characterization of Task Oriented Negotiation
Coalitional Affinity Games and the Stability Gap
A Superposition Oriented Theorem Prover
Characterizing Subgoal Interactions for Planning
Managed Multi-Context Systems
Neural Network based Continuous Conditional Random Field for Fine-grained Crime Prediction
A Theoretical Perspective on Why Stochastic Population Update Needs an Archive in Evolutionary Multi-objective Optimization
Pedagogical agent models for massive online education
An Optimal Scale for Edge Detection
Learning Curricula for Humans: An Empirical Study with Puzzles from The Witness
Parameter Identification in a Class of Linear Structural Equation Models
Workpiece Orientation Correction with a Robot Arm Using Visual Information
IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009
On Fair Price Discrimination in Multi-Unit Markets
Enhancing Sustainability of Complex Epidemiological Models through a Generic Multilevel Agent-based Approach
Impression Allocation for Combating Fraud in E-commerce Via Deep Reinforcement Learning with Action Norm Penalty
SatFormer: Saliency-Guided Abnormality-Aware Transformer for Retinal Disease Classification in Fundus Image
RITA - An Experimental Man-Computer System On A Natural Language Basis
Version Space Reduction Based on Ensembles of Dissimilar Balanced Perceptrons
Constructive Induction: A Version Space-based Approach
Unsupervised Multi-Modal Medical Image Registration via Discriminator-Free Image-to-Image Translation
The Management of Heuristic Search in Boolean Experiments with Rue Resolution
Natural Vision and Mathematics: Seeing Impossibilities
Domain-Independent, Automatic Partitioning for Probabilistic Planning
Sketch Recognition Algorithms for Comparing Complex and Unpredictable Shapes
PatternCIR Benchmark and TisCIR: Advancing Zero-Shot Composed Image Retrieval in Remote Sensing
Self-Supervised Monocular Depth Estimation in the Dark: Towards Data Distribution Compensation
Daytime Sleepiness Level Prediction Using Respiratory Information
Reasoning about Quality and Fuzziness of Strategic Behaviours
ParsNets: A Parsimonious Composition of Orthogonal and Low-Rank Linear Networks for Zero-Shot Learning
Theoretical Justification of Popular Link Prediction Heuristics
Mimicking the Thinking Process for Emotion Recognition in Conversation with Prompts and Paraphrasing
Learning to Recognize Transient Sound Events using Attentional Supervision
iCone: Intelligent Environment for the Development and Maintenance of Configuration Knowledge Bases
Finding Mixed-Strategy Equilibria of Continuous-Action Games without Gradients Using Randomized Policy Networks
An Average-Case Analysis of the k-Nearest Neighbar Classifier for Noisy Domains
Extracting Certificates from Quantified Boolean Formulas
FastRE: Towards Fast Relation Extraction with Convolutional Encoder and Improved Cascade Binary Tagging Framework
Unifying SAT-based and Graph-based Planning
Can Artificial Intelligence Effectively Support Sustainable Development?
Enhancing Policy Gradient Algorithms with Search in Imperfect Information Games
Structuring Domain Knowledge For Visual Perception
Visualising convolutional neural network decisions in automated sleep scoring
Two-step validation in character-based ingredient normalization
Horae: A Domain-Agnostic Language for Automated Service Regulation
Machine-assisted Cyber Threat Analysis Using Conceptual Knowledge Discovery
Payoff Control in the Iterated Prisoner's Dilemma
Optimal Escape Interdiction on Transportation Networks
Completing Description Logic Knowledge Bases Using Formal Concept Analysis
Iterative-Deepening Conflict-Based Search
Domain Adaptation with Topical Correspondence Learning
Learning Shared Vertex Representation in Heterogeneous Graphs with Convolutional Networks for Recommendation
EGS: A Transformational Approach to Automatic Example Generation
Circuit-Aware d-DNNF Compilation
Simultaneous Arrival Matching for New Spatial Crowdsourcing Platforms
Named Entity Translation with Web Mining and Transliteration
Regularizing Variational Autoencoder with Diversity and Uncertainty Awareness
Neighborhood MinMax Projections
Dual Calibration-based Personalised Federated Learning
Constrained Policy Improvement for Efficient Reinforcement Learning
On the Complexity of Finding Set Repairs for Data-Graphs (Abstract Reprint)
Automated Planning for Urban Traffic Management
Reinforced Mnemonic Reader for Machine Reading Comprehension
Sequential-Simultaneous Information Elicitation in Multi-Agent Systems
Autoencoder Regularized Network For Driving Style Representation Learning
Hierarchical Linear Disentanglement of Data-Driven Conceptual Spaces
Where is ...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots
Avoiding IS-A Overloading: The Role of Identity Conditions in Ontology Design
Weakly Supervised Multi-task Learning for Semantic Parsing
Projection, Inference, and Consistency
Exploiting Multi-Modal Interactions: A Unified Framework
Change-Point Detection with Feature Selection in High-Dimensional Time-Series Data
A Semantics-Based Decision Theory Region Analyser
LISSNAS: Locality-based Iterative Search Space Shrinkage for Neural Architecture Search
Explaining Reinforcement Learning to Mere Mortals: An Empirical Study
Learning to Learn Gradient Aggregation by Gradient Descent
Max Markov Chain
Optimal Status Enforcement in Abstract Argumentation
Improving the Performance of Recommender Systems by Alleviating the Data Sparsity and Cold Start Problems
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code
Choosing Well Your Opponents: How to Guide the Synthesis of Programmatic Strategies
A Model for Projection and Action
A Ranking Approach to Pronoun Resolution
DISA: A Scientific Writing Advisor with Deep Information Structure Analysis
Mitigating Message Imbalance in Fraud Detection with Dual-View Graph Representation Learning
Pairwise Half-graph Discrimination: A Simple Graph-level Self-supervised Strategy for Pre-training Graph Neural Networks
Case-Based Reasoning: A Fuzzy Approach
BTPG: A Platform and Benchmark for Behavior Tree Planning in Everyday Service Robots
Exploring Personalized Neural Conversational Models
A Survival Guide for Iranian Women Prescribed by Iranian Women: Participatory AI to Investigate Intimate Partner Physical Violence in Iran
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains
Emerging Methods of Auction Design in Social Networks
Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates
Failsafe - A Floor Planner that Uses EBG to Learn from Its Failures
Reward Learning for Efficient Reinforcement Learning in Extractive Document Summarisation
IID-GAN: an IID Sampling Perspective for Regularizing Mode Collapse
Runtime Analyses of Multi-Objective Evolutionary Algorithms in the Presence of Noise
Improving Learning-from-Crowds through Expert Validation
Designing with Citizens: Challenges and Evaluation Methods for Crowd-sourced Urban Layouts
Toward Informed AV Decision-Making: Computational Model of Well-being and Trust in Mobility
Fault Diagnosis in REDNet Model Space
EFX Feasible Scheduling for Time-dependent Resources
Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems
Iterative Few-shot Semantic Segmentation from Image Label Text
Objective-aware Traffic Simulation via Inverse Reinforcement Learning
Proceedings of the Twelfth International Workshop Modelling and Reasoning in Context (MRC 2021) co-located with the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Montréal, Quebec, Canada, August 19-20, 2021
An Ethical Dataset from Real-World Interactions Between Users and Large Language Models
Multi-Granularity Graph-Convolution-Based Method for Weakly Supervised Person Search
RLCard: A Platform for Reinforcement Learning in Card Games
Decision-Theoretic Salience Interactions in Language Generation
Hierarchical Object-oriented Spatio-Temporal Reasoning for Video Question Answering
ATTAIN: Attention-based Time-Aware LSTM Networks for Disease Progression Modeling
A Reactive Approach to Explanation
Contingency Planning for an Autonomous Land Vehicle
Ascribing Plans to Agents
On Preferred Abductive Explanations for Decision Trees and Random Forests
GRACE: A Simulator for Continuous Goal Recognition over Changing Environments
FinBERT: A Pre-trained Financial Language Representation Model for Financial Text Mining
Finding Frequent Entities in Continuous Data
Picking the Right Winner: Why Tie-Breaking in Crowdsourcing Contests Matters
Practical Hybrid Gradient Compression for Federated Learning Systems
Location Predicts You: Location Prediction via Bi-direction Speculation and Dual-level Association
Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings
Meta-Knowledge and Meta-Reasoning
Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control
Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application
Reasoning Symbolically About Partially Matched Cases
Robustness Testing of Machine Learning Families using Instance-Level IRT-Difficulty
Extending RDF(S) with Contextual and Definitional Knowledge
Planning with MIP for Supply Restoration in Power Distribution Systems
Distortion in Social Choice Problems: The First 15 Years and Beyond
RoTuEl: A Semi-Automated Method for Labeling Political Tweets
HPDM: A Hierarchical Popularity-aware Debiased Modeling Approach for Personalized News Recommender
Incentives for Early Arrival in Cooperative Games (Extended Abstract)
Computing an Approximately Optimal Agreeable Set of Items
Inconsistency Measures for Repair Semantics in OBDA
A Survey on Gradient Inversion: Attacks, Defenses and Future Directions
Beyond Labels: Knowledge Elicitation using Deep Metric Learning and Psychometric Testing
Information-Based Agency
Classifiers: A Theoretical and Empirical Study
Boosting Efficiency in Task-Agnostic Exploration through Causal Knowledge
PRUF - A Language for the Representation of Meaning in Natural Languages
On the Polynomial Transparency of Resolution
A Survey on Multi-View Knowledge Graph: Generation, Fusion, Applications and Future Directions
Deep Variational Koopman Models: Inferring Koopman Observations for Uncertainty-Aware Dynamics Modeling and Control
One-Class Conditional Random Fields for Sequential Anomaly Detection
EAT: Self-Supervised Pre-Training with Efficient Audio Transformer
Intent Preference Decoupling for User Representation on Online Recommender System
Precision Instrument Targeting via Image Registration for the Mars 2020 Rover
Efficient Multi-view Clustering via Reinforcement Contrastive Learning
Optimal Set Recommendations Based on Regret
Learning Cooperative Games
Graph Connectivity Measures for Unsupervised Word Sense Disambiguation
Task-Guided and Semantic-Aware Ranking for Academic Author-Paper Correlation Inference
An Object-Oriented Language for Constructing Simulations
Towards Understanding the Spectral Bias of Deep Learning
Intensity Discontinuity Location to SubPixel Precision
Learning Kinematic Models for Articulated Objects
Centralized Ranking Loss with Weakly Supervised Localization for Fine-Grained Object Retrieval
Bilevel Visual Words Coding for Image Classification
Stereo Matching by Hierarchical, Microcanonical Annealing
An Algebraic Approach to Constraint Satisfaction Problems
DWLR: Domain Adaptation under Label Shift for Wearable Sensor
Dynamic Inconsistency-aware DeepFake Video Detection
Image-level to Pixel-wise Labeling: From Theory to Practice
Integrating Factorization Ranked Features in MCTS: An Experimental Study
Automated Adaptive Support for Task and Information Prioritizing
Resource Temporal Networks: Definition and Complexity
Automatic Generation of Raven's Progressive Matrices
Automated Trend Detection with Alternate Temporal Hypotheses
Partial, Vague Knowledge for Similarity Measures
Visionary Security: Using Uncertain Real-Time Information in Signaling Games
Fast Guaranteed Tensor Recovery with Adaptive Tensor Nuclear Norm
Behavior Networks for Continuous Domains using Situation-Dependent Motivations
MMPN: Multi-supervised Mask Protection Network for Pansharpening
Zero-Shot Sketch Based Image Retrieval via Modality Capacity Guidance
Autoepistemic Description Logics
Integrated System for Students' Evaluation Using KM Approach
SPINE: Structural Identity Preserved Inductive Network Embedding
Learning Dynamical Coupled Operator For High-dimensional Black-box Partial Differential Equations
Planning The Activity Of Robot With Artificial Intelligence