yusuke1997/dblp-id-title huggingface dataset:
Trace: Structural Riemannian Bridge Matching for Transferable Source Localization in Information Propagation
Forgetting Concept and Role Symbols in ALCOIHµ + (∇, ⊓)-Ontologies
Activity Recognition: Linking Low-level Sensors to High-level Intelligence
Learning DNF by Decision Trees
PLANNER: A Language for Proving Theorems in Robots
When Does Schwartz Conjecture Hold?
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
Veracity: An Open-Source AI Fact-Checking System
Hierarchical Matching Network for Heterogeneous Entity Resolution
Extracting Useful Advice From Conflicting Expertise
Extracting rules for grammar recognition from Cascade-2 networks
Predicting Traffic Congestion Evolution: A Deep Meta Learning Approach
When Functional and Bijective Constraints Make a CSP Polynomial
Design Optimization Using Dynamic Evaluation
Lightweight Random Indexing for Polylingual Text Classification (Extended Abstract)
Learning Efficient Logical Robot Strategies Involving Composable Objects
DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks
Accelerating Extreme Classification via Adaptive Feature Agglomeration
Recognizing Unnecessary Inference
Integrating View Conditions for Image Synthesis
Ontologies Cooperation to Model the Needs of Disabled Persons
Weakly Supervised RBM for Semantic Segmentation
Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases
Multi-Task Curriculum Graph Contrastive Learning with Clustering Entropy Guidance
Open Contractible Global Constraints
Generalized Interval Projection: A New Technique for Consistent Domain Extension
Knowledge Base Question Answering with Topic Units
Optimal Policy Adaptation Under Covariate Shift
Recognition in 2D Images of 3D Objects from Large Model Bases Using Prediction Hierarchies
Forgetting for Answer Set Programs Revisited
Data Efficient Algorithms and Interpretability Requirements for Personalized Assessment of Taskable AI Systems
Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback Loops
Energy-Efficient Slithering Gait Exploration for a Snake-Like Robot Based on Reinforcement Learning
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies
Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search
Welfare Loss in Connected Resource Allocation
Timing Reliability for Local Schedulers in Multi-Agent Systems
Predicting Activity and Location with Multi-task Context Aware Recurrent Neural Network
On Creating Complementary Pattern Databases
Model-Driven Engineering of Simulations for Smart Roads
Challenge to Artificial Intelligence: Programming Problems to be Solved
Achieving Causal Fairness through Generative Adversarial Networks
Safety Augmentation in Decision Trees
Deep or Wide? Learning Policy and Value Neural Networks for Combinatorial Games
Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems
Multi-Agent Systems by Incremental Gradient Reinforcement Learning
Subtree Mining for Question Classification Problem
Large Scale Evolving Graphs with Burst Detection
Optimally Efficient Bidirectional Search
A Model of Dialog Based on Fuzzy Set Concept
Enhancing Urban Flow Maps via Neural ODEs
Predictive Models of Malicious Behavior in Human Negotiations
Towards Inconsistency Management in Data Integration Systems
On the Decidability of Formulae Involving Continuous and Closed Functions
Formal Specifications for Hybrid Dynamical Systems
Mention Recommendation for Twitter with End-to-end Memory Network
Alleviating Imbalanced Pseudo-label Distribution: Self-Supervised Multi-Source Domain Adaptation with Label-specific Confidence
Towards Safe Reinforcement Learning via Constraining Conditional Value-at-Risk
Direct Sparsity Optimization Based Feature Selection for Multi-Class Classification
Real-Time Path Planning for Humanoid Robot Navigation
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers
Unreliable Partial Label Learning with Recursive Separation
VIPR: An Interactive Tool for Meaningful Visualization of High-Dimensional Data
Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems
Optimal Policy for Deployment of Machine Learning Models on Energy-Bounded Systems
Reinforcement Learning in Distributed Domains: Beyond Team Games
An Exact Algorithm for the Minimum Dominating Set Problem
Probabilistic Inference in Hybrid Domains
Activity Theory and Context-Awareness
A Low Latency Adaptive Coding Spike Framework for Deep Reinforcement Learning
Coarse-Grained Distributed Agents for Transparent Access to Remote Systems
Towards Ontology Language Customization
Combining Existential Rules with the Power of CP-Theories
Personalized Ranking Metric Embedding for Next New POI Recommendation
Trading Strategies for Markets: A Design Framework and Its Application
Graph Invariant Kernels
Efficiently Finding Conditional Instruments for Causal Inference
Towards a Safety Case for Hardware Fault Tolerance in Convolutional Neural Networks Using Activation Range Supervision
Conjunctive Query Answering for the Description Logic SHIQ
New Metrics and Algorithms for Stochastic Goal Recognition Design Problems
Language-Based Bayesian Optimization Research Assistant (BORA)
A Comparison of Analytic and Experimental Goal Regression for Machine Learning
Event Coreference Resolution: A Survey of Two Decades of Research
Using A* for Inference in Probabilistic Classifier Chains
Equilibria in Two-Stage Facility Location with Atomic Clients
Optimizing Parameters of Quantum Circuits with Sparsity-Inducing Coordinate Descent
LeRet: Language-Empowered Retentive Network for Time Series Forecasting
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation (Extended Abstract)
Cross-modal Common Representation Learning by Hybrid Transfer Network
Teaching LTLf Satisfiability Checking to Neural Networks
Analogy-preserving functions: A way to extend Boolean samples
Learning Unknown from Correlations: Graph Neural Network for Inter-novel-protein Interaction Prediction
Automatic Rib Detection in Chest Radiographs
A Live-User Evaluation of Collaborative Web Search
The Finite Model Theory of Bayesian Networks: Descriptive Complexity
Querying Distributed Data through Distributed Ontologies: A Simple but Scalable Approach
Unleashing the Semantic Adaptability of Controlled Diffusion Model for Image Colorization
Tractable Classes of Binary CSPs Defined by Excluded Topological Minors
A Solution to Co-occurence Bias: Attributes Disentanglement via Mutual Information Minimization for Pedestrian Attribute Recognition
Exploring Effective Inter-Encoder Semantic Interaction for Document-Level Relation Extraction
Models of Action Concurrency in Temporal Planning
Identification Of Bodies in A Contour Image Of A Three-Dimensional Scene
Conversational Agent for Daily Living Assessment Coaching
Causal Learnability
Using Gaussian Processes to Optimise Concession in Complex Negotiations against Unknown Opponents
Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective
Central Clustering of Categorical Data with Automated Feature Weighting
Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded Intelligence
Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals
End-to-end optimization of goal-driven and visually grounded dialogue systems
Ontology-Based Data Access: A Survey
Knowledge Acquisition from Structural Descriptions
A Knowledge Directed Line Finder for Analysis of Complex Scenes
Goal Change
Optimal Posted-Price Mechanism in Microtask Crowdsourcing
Chess as a Testing Grounds for the Oracle Approach to AI Safety
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)
Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence
fMRI Analysis via One-class Machine Learning Techniques
Line separation from topographic maps using regional color and spatial information
Large-Scale Home Energy Management Using Entropy-Based Collective Multiagent Deep Reinforcement Learning Framework
Explaining Soft-Goal Conflicts through Constraint Relaxations
Causal Discovery with Multi-Domain LiNGAM for Latent Factors
DrMAD: Distilling Reverse-Mode Automatic Differentiation for Optimizing Hyperparameters of Deep Neural Networks
Matrix Proof Methods for Modal Logics
Small-Variance Asymptotics for Nonparametric Bayesian Overlapping Stochastic Blockmodels
Efficient Computation of Extensions for Dynamic Abstract Argumentation Frameworks: An Incremental Approach
Multi-Winner Elections: Complexity of Manipulation, Control and Winner-Determination
Efficient Distributed "Hormone" Graph Gradients
Presupposition-Based AI Natural Language System
GSDNet: Revisiting Incomplete Multimodality-Diffusion Emotion Recognition from the Perspective of Graph Spectrum
Intermediate Decision Trees
HeTa: Relation-wise Heterogeneous Graph Foundation Attack Model
Listening to the Crowd: Automated Analysis of Events via Aggregated Twitter Sentiment
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer
Counting Query Answers over a DL-Lite Knowledge Base
Zero-Shot Object Detection via Learning an Embedding from Semantic Space to Visual Space
TP-Eval: Tap Multimodal LLMs' Potential in Evaluation by Customizing Prompts
Smoothed Online Convex Optimization with Delayed Feedback
Using Discrimination Graphs to Represent Visual Interpretations that are Hypothetical and Ambiguous
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract
Weighted Path as a Condensed Pattern in a Single Attributed DAG
Imputation-free Incomplete Multi-view Clustering via Knowledge Distillation
A Computationally Grounded Logic of 'Seeing-to-it-that'
Human-Driven FOL Explanations of Deep Learning
Multi-Agent Advisor Q-Learning (Extended Abstract)
GoGNN: Graph of Graphs Neural Network for Predicting Structured Entity Interactions
Opinion Dynamics with Local Interactions
Random Shifting for CNN: a Solution to Reduce Information Loss in Down-Sampling Layers
Enriching Phrases with Coupled Pixel and Object Contexts for Panoptic Narrative Grounding
Fast Algorithm for Affinity Propagation
An Improved Constraint-Propagation Algorithm for Diagnosis
Constructing Career Histories: A Case Study in Disentangling the Threads
Structural Relations - A Case Against Case
Equivalence Results between Feedforward and Recurrent Neural Networks for Sequences
Apprenticeship-Inspired Elegance: Synergistic Knowledge Distillation Empowers Spiking Neural Networks for Efficient Single-Eye Emotion Recognition
Granular-Ball-Induced Multiple Kernel K-Means
An Analysis of the Linear Bilateral ANAC Domains Using the MiCRO Benchmark Strategy
Generating Interpretable Poverty Maps using Object Detection in Satellite Images
Real-Time Strategy Games: A New AI Research Challenge
Couples Can Be Tractable: New Algorithms and Hardness Results for the Hospitals/Residents Problem with Couples
A Semantics for Default Logic
Least General Generalization of the Linguistic Structures
Backpropagation of Unrolled Solvers with Folded Optimization
Invasion Dynamics in the Biased Voter Process
Can We Translate Code Better with LLMs and Call Graph Analysis?
Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements
Low-Confidence Samples Mining for Semi-supervised Object Detection
LogiQA: A Challenge Dataset for Machine Reading Comprehension with Logical Reasoning
Long-term Detection and Monitory of Chinese Urban Village Using Satellite Imagery
Modeling Physicians' Utterances to Explore Diagnostic Decision-making
On Cooperation in a Multi-Entity Model
Building Robust Learning Systems by Combining Induction and Optimization
Variety-Seeking Jump Games on Graphs
Outlines of a Computer Model of Motivation
Proactivity in Robots
Nested Rollout Policy Adaptation for Monte Carlo Tree Search
Time Series Chains: A Novel Tool for Time Series Data Mining
Semi-Supervised Learning for Multi-Component Data Classification
An MFIS for Computing a Raw Cognitive Map
Relation-Aware Transformer for Portfolio Policy Learning
Building Theories into Instantiation
Transduction with Confidence and Credibility
A Method to Use Uncertain Domain Knowledge in the Induction of Classification Knowledge Based on ID3
Maximizing Welfare with Incentive-Aware Evaluation Mechanisms
Dynamic Sparse Training for Deep Reinforcement Learning
Demand Prediction and Placement Optimization for Electric Vehicle Charging Stations
Keep Your Distance: Land Division With Separation
Verifying Existence of Resource-Bounded Coalition Uniform Strategies
Which is the Fairest (Rent Division) of Them All? [Extended Abstract]
Think Globally, Embed Locally - Locally Linear Meta-embedding of Words
Scan-and-Print: Patch-level Data Summarization and Augmentation for Content-aware Layout Generation in Poster Design
Using AI and simulations to design and control space habitats
Gestalt Pattern Recognition with Arrays of Predetermined Neural Functions
SBAT: Video Captioning with Sparse Boundary-Aware Transformer
Auxiliary Information Regularized Machine for Multiple Modality Feature Learning
Self-Classification Enhancement and Correction for Weakly Supervised Object Detection
Intelligent Techniques for Web Personalization
Monitoring Health In Smart Homes Using Simple Sensors
Parametric Kernels for Sequence Data Analysis
RecipeRec: A Heterogeneous Graph Learning Model for Recipe Recommendation
Accelerating Best Response Calculation in Large Extensive Games
SVD-AE: Simple Autoencoders for Collaborative Filtering
Attractor-based Closed List Search: Sparsifying the Closed List for Efficient Memory-Constrained Planning
On Deep Unsupervised Active Learning
Tag Disentangled Generative Adversarial Network for Object Image Re-rendering
Flexible Multi-View Representation Learning for Subspace Clustering
SPAN: Integrating Problem-Solving Tactics
Multi-Task Multi-Dimensional Hawkes Processes for Modeling Event Sequences
Towards a General Framework for Composing Disjunctive and Iterative Macro-operators
A Strongly Asymptotically Optimal Agent in General Environments
Ranking Constraints
A Circumscriptive Formalization of the Qualification Problem
Aspects of the Detection of Scene Congruence
Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems
Usability Guidelines for Interactive Search in Direct Manipulation Systems
Verification of Generic, Relational Transition Systems
Role Assignment for Game-Theoretic Cooperation
Corrective Explanation for Interactive Constraint Satisfaction
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers
Trends and Features of Human Brain Research Using Artificial Intelligence Techniques: A Bibliometric Approach
Nostalgic Adam: Weighting More of the Past Gradients When Designing the Adaptive Learning Rate
A Comparison of Cooking Recipe Named Entities between Japanese and English
Efficient k-Support-Norm Regularized Minimization via Fully Corrective Frank-Wolfe Method
Structured Plans and Observation Reduction for Plans with Contexts
Mitigating robust overfitting via self-residual-calibration regularization (Abstract Reprint)
One Class per Named Entity: Exploiting Unlabeled Text for Named Entity Recognition
Putting Theories Together to Make Specifications
Sharpness-aware Zeroth-order Optimization for Graph Transformers
An Online Learning Framework for Energy-Efficient Navigation of Electric Vehicles
Training-Efficient Feature Map for Shift-Invariant Kernels
Unsupervised Inductive Graph-Level Representation Learning via Graph-Graph Proximity
Automated Machine Learning on Graphs: A Survey
Correlational Dueling Bandits with Application to Clinical Treatment in Large Decision Spaces
An Evolutionary Geospatial Regression Tree
Strategic Signaling for Selling Information Goods
Qualitative Modeling of RNA Structure
Learning to Learn Programs from Examples: Going Beyond Program Structure
BADFSS: Backdoor Attacks on Federated Self-Supervised Learning
Representations of Knowledge in a Program for Solving Physics Problems
Robust Median Reversion Strategy for On-Line Portfolio Selection
A Static Model-Based Engine for Model-Based Reasoning
Decoupled Strong Stubborn Sets
Estimating Latent People Flow without Tracking Individuals
Natural Language Processing Tool for Extraction of Patient-reported Outcomes from a National Multi-EHR Registry
DyGRAIN: An Incremental Learning Framework for Dynamic Graphs
Pushing the Limits of Fairness in Algorithmic Decision-Making
A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation
TAGA: Travel Market Framework in Agentcities
A Deep Reinforcement Learning Approach to Balance Viewport Prediction and Video Transmission in 360° Video Streaming
Planning, Executing, Sensing, and Replanning for Information Gathering
Learning to Hallucinate Face Images via Component Generation and Enhancement
Layered Concept-Learning and Dynamically Variable Bias Management
Relevant Irrelevance: Generating Alterfactual Explanations for Image Classifiers
MLP4Rec: A Pure MLP Architecture for Sequential Recommendations
Writer's Aid: Using a Planner in a Collaborative Interface
Multi-policy Grounding and Ensemble Policy Learning for Transfer Learning with Dynamics Mismatch
A Methodology for Systematic Verification of OPS5-Based AI Applications
Residual Contrastive Learning for Image Reconstruction: Learning Transferable Representations from Noisy Images
Computational Aspects of Conditional Minisum Approval Voting in Elections with Interdependent Issues
The Blind Men and the Elephant: Integrated Offline/Online Optimization Under Uncertainty
Approximate Nash Equilibria with Near Optimal Social Welfare
Enhanced DouDiZhu Card Game Strategy Using Oracle Guiding and Adaptive Deep Monte Carlo Method
Reinforcement Learning to Adjust Robot Movements to New Situations
Three-Player Wasserstein GAN via Amortised Duality
(How) Is AI Impacting Manufacturing?
Faster Distributed Deep Net Training: Computation and Communication Decoupled Stochastic Gradient Descent
Providing a Recommended Trading Agent to a Population: A Novel Approach
Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows
SemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code
Prompt Learning for Generalized Vehicle Routing
A Decision-Theoretic Academic Advisor: Extended Abstract
A Deterministic Parser With Broad Coverage
What Is Perceptual Organization For?
Big City vs. the Great Outdoors: Voter Distribution and How It Affects Gerrymandering
Concept Learning and the Problem of Small Disjuncts
Automatic Gait Optimization with Gaussian Process Regression
Intended Models, Circumscription and Commonsense Reasoning
FISH-MML: Fisher-HSIC Multi-View Metric Learning
Open knowledge for human-robot interaction
Teaching Robots through Situated Interactive Dialogue and Visual Demonstrations
MLP-DINO: Category Modeling and Query Graphing with Deep MLP for Object Detection
Focus Constraints on Language Generation
Max-Sum Goes Private
Learning Implicitly with Noisy Data in Linear Arithmetic
A Symmetric View of Utilities and Probabilities
A Walkthrough for the Principle of Logit Separation
Ontology Merging for Federated Ontologies on the Semantic Web
Dynamic Execution of Temporal Plans with Sensing Actions and Bounded Risk
Semi-supervised Domain Adaptation in Graph Transfer Learning
Using Grammatical Evolution to Generate Short-term Blood Glucose Prediction Models
A Symbolic Model for Learning the Past-Tenses of English Verbs
ARTIMIS: Natural Dialogue Meets Rational Agency
Rethinking Diversified and Discriminative Proposal Generation for Visual Grounding
SegBot: A Generic Neural Text Segmentation Model with Pointer Network
Learning Iterative Image Reconstruction
A Process Theory of Non-monotonic Inference
RTHN: A RNN-Transformer Hierarchical Network for Emotion Cause Extraction
Indefinite Reasoning with Definite Rules
Instace-Based AMN Classification for Improved Object Recognition in 2D and 3D Laser Range Data
Constrained Example Generation: A Testbed for Studying Issues in Learning
ST-MVL: Filling Missing Values in Geo-Sensory Time Series Data
Applying Anytime Heuristic Search to Cost-Optimal HTN Planning
TreeKV: Smooth Key-Value Cache Compression with Tree Structures
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks
A Dual Semantic-Aware Recurrent Global-Adaptive Network for Vision-and-Language Navigation
Situated Actions and Cognition
What is Beneath Misogyny: Misogynous Memes Classification and Explanation
Dependency Clustering of Mixed Data with Gaussian Mixture Copulas
Automatic Description Generation from Images: A Survey of Models, Datasets, and Evaluation Measures (Extended Abstract)
Improved CP-Based Lagrangian Relaxation Approach with an Application to the TSP
Searching for Interacting Features
Human Parity on CommonsenseQA: Augmenting Self-Attention with External Attention
Hierarchical Diagnosis of Multiple Faults
Automated Grading of DFA Constructions
Zero-Shot Logit Adjustment
From Q(lambda) to Average Q-learning: Efficient Implementation of an Asymptotic Approximation
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic
Qualitative Recognition of Ongoing Human Action Sequences
Adaptive Long-Short Pattern Transformer for Stock Investment Selection
Dataless Short Text Classification Based on Biterm Topic Model and Word Embeddings
DIDFuse: Deep Image Decomposition for Infrared and Visible Image Fusion
In the quest of the best form of local consistency for Weighted CSP
Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework
To Encode or Not to Encode - Linear Planning
A Robust Noise Resistant Algorithm for POI Identification from Flickr Data
Low Shot Box Correction for Weakly Supervised Object Detection
Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching
Neural Network Pruning by Cooperative Coevolution
When Does Label Propagation Fail? A View from a Network Generative Model
CERT: Continual Pre-training on Sketches for Library-oriented Code Generation
BEINGS: Knowledge as Interacting Experts
Controlling the Hypothesis Space in Probabilistic Plan Recognition
Probabilistic Counting with Randomized Storage
Recent Advances in Adversarial Training for Adversarial Robustness
Detecting Behaviour Changes in Accelerometer Data
Diverse Image Captioning via GroupTalk
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks
Parallel Wasserstein Generative Adversarial Nets with Multiple Discriminators
Towards Automatic Sampling of User Behaviors for Sequential Recommender Systems
Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis
Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning
Detecting Spiky Corruption in Markov Decision Processes
Incremental Elicitation of Rank-Dependent Aggregation Functions based on Bayesian Linear Regression
Uncertainty and Probability
Context-Dependent Conceptualization
On the Impact of Modal Depth in Epistemic Planning
Reasoning with Style
Inverted Bilingual Topic Models for Lexicon Extraction from Non-parallel Data
Conjectures on the Perception of Elongation
Ensemble-based Ultrahigh-dimensional Variable Screening
Optimal Distributed Training With Co-Adaptive Data Parallelism in Heterogeneous Environments
DisPIM: Distilling PreTrained Image Models for Generalizable Visuo-Motor Control
The Use of Geons for Generic 3D Object Recognition
Matching Large Ontologies Based on Reduction Anchors
Concurrent Games in Dynamic Epistemic Logic
The Discovery of the Equator or Concept Driven Learning
Weakly-supervised Text Classification with Wasserstein Barycenters Regularization
On the Influence of Incoherence in Inconsistency-tolerant Semantics for Datalog±
FCA Went (Multi-)Relational, But Does It Make Any Difference?
Computing Parallelism in Discourse
Relative Efficiency of Alpha-Beta Implementations
A Survey on Model-Free Goal Recognition
Dr. AI, where did you get your degree?