yusuke1997/dblp-id-title huggingface dataset:
Exact Top-k Feature Selection via l2, 0-Norm Constraint
A Learning System Able to Synthesize Arithmetical Functions
A Multi-view Fusion Approach for Enhancing Speech Signals via Short-time Fractional Fourier Transform
Rethinking Federated Graph Learning: A Data Condensation Perspective
Towards Reasoning about the Past in Neural-symbolic Systems
Bounded-Monitor Placement in Normative Environments
Multiset Ordering Constraints
Bias Silhouette Analysis: Towards Assessing the Quality of Bias Metrics for Word Embedding Models
Addressing the Long-term Impact of ML Decisions via Policy Regret
The Application of Artificial Intelligence Techniques to Cooperative Distributed Processing
Learning to Use Analogies
Denial-of-Service or Fine-Grained Control: Towards Flexible Model Poisoning Attacks on Federated Learning
Representation of Experts' Knowledge in a Subdomain of Chess Intelligence
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning
Bootstrap Voting Experts
RESC: An Approach for Real-time, Dynamic Agent Tracking
Speech Acts and Multiple Environments
Efficient Multi-View Inverse Rendering Using a Hybrid Differentiable Rendering Method
IJCAI-09 Conference Organization
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments
Assumed Density Filtering Q-learning
Timeline Summarization from Social Media with Life Cycle Models
Fuzzy Conceptual Graphs for Matching Images of Natural Scenes
Watermarking of DRL Policies with Sequential Triggers
Accelerating Stratified Sampling SGD by Reconstructing Strata
Revealing the Two Sides of Data Augmentation: An Asymmetric Distillation-based Win-Win Solution for Open-Set Recognition
A Relaxed Ranking-Based Factor Model for Recommender System from Implicit Feedback
Approval with Runoff
Fast Sparse Gaussian Markov Random Fields Learning Based on Cholesky Factorization
Efficient Planning for Factored Infinite-Horizon DEC-POMDPs
A Density-based Nonparametric Model for Online Event Discovery from the Social Media Data
A Dictatorship Theorem for Cake Cutting
Learning Obervables of a Multi-scale Simulation System of Urban Traffic
Rigging Tournament Brackets for Weaker Players
Combining RCC5 Relations with Betweenness Information
Signed Neuron with Memory: Towards Simple, Accurate and High-Efficient ANN-SNN Conversion
When Fairness Meets Privacy: Exploring Privacy Threats in Fair Binary Classifiers via Membership Inference Attacks
FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges
Combining Concept Annotation and Pattern Structures for Guiding Ontology Mapping
Radar: Residual Analysis for Anomaly Detection in Attributed Networks
Complex Concept Acquisition through Directed Search and Feature Caching
A Reinforcement Learning-Informed Pattern Mining Framework for Multivariate Time Series Classification
A New Simplex Sparse Learning Model to Measure Data Similarity for Clustering
Exemplar-centered Supervised Shallow Parametric Data Embedding
High Dimensional Bayesian Optimization via Supervised Dimension Reduction
Multimodal Prior Learning with Double Constraint Alignment for Snapshot Spectral Compressive Imaging
Learning to Play Like the Great Pianists
Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision
STAMMER2: A Rule-Based Application
An Empirical Method that Provides a Basis for the Organization of Relaxation Labeling Processes for Vision
A Covering Problem for Hypercubes
A Semantic-Based User Privacy Protection Framework for Web Services
Resolute Choice in Sequential Decision Problems with Multiple Priors
Integrating Intent Understanding and Optimal Behavior Planning for Behavior Tree Generation from Human Instructions
From General Relation Patterns to Task-Specific Decision-Making in Continual Multi-Agent Coordination
Contrastive Model Invertion for Data-Free Knolwedge Distillation
Lifted Maximum Expected Utility
PPT: Backdoor Attacks on Pre-trained Models via Poisoned Prompt Tuning
MSR: Multi-Scale Shape Regression for Scene Text Detection
Fully Distributed Bayesian Optimization with Stochastic Policies
Improved Approximation Algorithms for Capacitated Location Routing
The Parameterized Complexity of Connected Fair Division
Extension Enforcement in Abstract Argumentation as an Optimization Problem
One "Ruler" for All Languages: Multi-Lingual Dialogue Evaluation with Adversarial Multi-Task Learning
ROUTE: Robust Outlier Estimation for Low Rank Matrix Recovery
Solving 8x8 Hex
Computing unsatisfiable cores for LTLf specifications
Towards Accurate and Robust Domain Adaptation under Noisy Environments
Feature Selection in Colour Images for Token Matching
On the Revision of Probabilistic Beliefs using Uncertain Evidence
Generalized Dictionary for Multitask Learning with Boosting
Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search (Extended Abstract)
Document Summarization Using Conditional Random Fields
Leveraging MLLM Embeddings and Attribute Smoothing for Compositional Zero-Shot Learning
DART: An Expert System for Computer Fault Diagnosis
On Using Causal Knowledge to Recognize Vital Signals: Knowledge-based Interpretation of Arrhythmias
Possibilistic ASP Base Revision by Certain Input
Examples in Legal Reasoning: Legal Hypotheticals
Confirmatory Bayesian Online Change Point Detection in the Covariance Structure of Gaussian Processes
Proportionality in Approval-Based Elections With a Variable Number of Winners
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems
Some Experiments in Applying Inductive Inference Principles to Surface Reconstruction
Adaptive Cluster Ensemble Selection
Logical Specification of Real-Time Granular Systems in an Object Oriented Language
LeMeViT: Efficient Vision Transformer with Learnable Meta Tokens for Remote Sensing Image Interpretation
The Tractability of Path-Based Inheritance
Denoise-then-Retrieve: Text-Conditioned Video Denoising for Video Moment Retrieval
Checking Proofs in the Metamathematics of First Order Logic
Greedy Stone Tower Creations with a Robotic Arm
A Rule Mining-based Advanced Persistent Threats Detection System
Lower Bounds and Faster Algorithms for Equality Constraints
A Clustering-based framework for Classifying Data Streams
Low-Light Video Enhancement via Spatial-Temporal Consistent Decomposition
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies
A Core-Guided Approach to Learning Optimal Causal Graphs
Validating and Fine-Tuning of Game Evaluation Functions Using Endgame Databases
Learning to Learn from Corrupted Data for Few-Shot Learning
Improving LRTA*(k)
Regular Path Queries in Expressive Description Logics with Nominals
Pre-release Prediction of Crowd Opinion on Movies by Label Distribution Learning
Efficient Tuning and Inference for Large Language Models on Textual Graphs
Articles and Resource Control
Generalized Game Trees
Learning Causal Effects on Hypergraphs (Extended Abstract)
State Space Construction by Attention Control
The comic strip game: observing the impact of implicit feedback in the content creation process
Impossibility in Belief Merging (Extended Abstract)
Generalized Physical Networks for Automated Model Building
Collaborative Metric Learning with Memory Network for Multi-Relational Recommender Systems
Diagnosing the Environment Bias in Vision-and-Language Navigation
Relating Belief Revision and Circumscription
Remembering to Add: Competence-preserving Case-Addition Policies for Case Base Maintenance
Talking Robots: a Fully Autonomous Implementation of the Talking Heads
Nonrigid Points Alignment with Soft-weighted Selection
A Logic for Reasoning about Counterfactual Emotions
Two-Sided Bandits and the Dating Market
A Correlated Topic Model Using Word Embeddings
Exponential Family Hybrid Semi-Supervised Learning
Boosting Constrained Mutual Subspace Method for Robust Image-Set Based Object Recognition
RAPS: A Recommender Algorithm Based on Pattern Structures
Simultaneous Discovery of Conservation Laws and Hidden Particles with Smith Matrix Decomposition
Aggressive, Tense or Shy? Identifying Personality Traits from Crowd Videos
Probabilistic Knowledge-Based Programs
On the Fairness Impacts of Private Ensembles Models
Well-Structured Committees
Distortion-aware CNNs for Spherical Images
Spatial-Temporal Perceiving: Deciphering User Hierarchical Intent in Session-Based Recommendation
On Querying Incomplete Information in Databases under Bag Semantics
AI Research in China: A Review
FGP: A Virtual Machine for Acquiring Knowledge from Cases
Formal Objects and Feature Associations in "ARGOS-II"
An Investigation of Opportunistic Constraint Satisfaction in Space Planning
Efficient Visual Representation Learning with Heat Conduction Equation
The Egocentric Logic of Preferences
The Modular Structure of an Ontology: Atomic Decomposition
A symbolic and surgical acquisition of terms through variation
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search
Generating Thematic Chinese Poetry using Conditional Variational Autoencoders with Hybrid Decoders
Candidate Ordering and Elimination in Model-Based Fault Diagnosis
Mechanism Design for Dynamic Environments: Online Double Auctions
Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems
Rethinking Correlation Learning via Label Prior for Open Set Domain Adaptation
Order-Dependent Event Models for Agent Interactions
IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice
View-Volume Network for Semantic Scene Completion from a Single Depth Image
Nonlinear Hierarchical Part-Based Regression for Unconstrained Face Alignment
Hierarchical Reinforcement Learning on Multi-Channel Hypergraph Neural Network for Course Recommendation
Tackling Long-Tailed Data Challenges in Spiking Neural Networks via Heterogeneous Knowledge Distillation
An Empirical Study of the Influence of User Tailoring on Evaluative Argument Effectiveness
Learning in Multi-Robot Systems
Learning Multi-faceted Knowledge Graph Embeddings for Natural Language Processing
On the Integration of CP-nets in ASPRIN
CEIL: A Scalable, Resolution Limit Free Approach for Detecting Communities in Large Networks
Motion Planning of Multi-Joint Robotic Arm with Topological Dimension Reduction Method
Improved Heuristics for Multi-Agent Path Finding with Conflict-Based Search
Toward Structured Retrieval in Semi-structured Information Spaces
Ontology Integration: How to perform the Process
Dynamically Forming a Group of Human Forecasters and Machine Forecaster for Forecasting Economic Indicators
Learning Logic Programs by Discovering Higher-Order Abstractions
An Information Presentation System
Models of Human Behavioral Agents in Bandits, Contextual Bandits and RL
Interfacing a Semantic Net with an Augmented Transition Network
Using Negotiation and Coordination in Multi-Agent Intelligent Cooperative Information Systems
The Multi-Feature Information Bottleneck with Application to Unsupervised Image Categorization
Reinforcement Learning Experience Reuse with Policy Residual Representation
Learning Regional Attention Convolutional Neural Network for Motion Intention Recognition Based on EEG Data
Massively Parallel Memory-Based Parsing
Multilingualization of Restaurant Menu by Analogical Description
Local Representation is Not Enough: Soft Point-Wise Transformer for Descriptor and Detector of Local Features
Towards Pervasive Robotics
Detection of Cognitive States from fMRI Data Using Machine Learning Techniques
ANOMALOUS: A Joint Modeling Approach for Anomaly Detection on Attributed Networks
A Strongly-Local Contextual Logic
Requirement Patterns for Engineering Multiagent Interaction Protocols
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule
Bidirectional Best-First Search with Bounded Error: Summary of Results
Toward Rational Deployment of Multiple Heuristics in A
Reconstruction Weighting Principal Component Analysis with Fusion Contrastive Learning
DeepLight: Reconstructing High-Resolution Observations of Nighttime Light With Multi-Modal Remote Sensing Data
Learning Model with Error - Exposing the Hidden Model of BAYHENN
Offline Sketch Parsing via Shapeness Estimation
HAF-SVG: Hierarchical Stochastic Video Generation with Aligned Features
Dynamic Electronic Toll Collection via Multi-Agent Deep Reinforcement Learning with Edge-Based Graph Convolutional Networks
Mitigating Disparity while Maximizing Reward: Tight Anytime Guarantee for Improving Bandits
Contextual Symmetries in Probabilistic Graphical Models
Temporal and Object Quantification Networks
Best Heuristic Identification for Constraint Satisfaction
Hermitian Co-Attention Networks for Text Matching in Asymmetrical Domains
Ranking Semantics for Argumentation Systems With Necessities
Knowledge-Based Sequence Mining with ASP
Two-Phased Federated Learning with Clustering and Personalization for Natural Gas Load Forecasting
Exploiting Multi-Label Correlation in Label Distribution Learning
PVV: A Goal-Oriented System for Industrial Vision
Ontology Based Query Answering with Existential Rules
Efficient Mechanisms with Risky Participation
A Unified Mathematical Approach for Foraging and Construction Systems in a 1, 000, 000 Robot Swarm
Artificial Intelligence in Health - First International Workshop, AIH@IJCAI 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers
HEA-D: A Hybrid Evolutionary Algorithm for Diversified Top-k Weight Clique Search Problem
The OhioT1DM Dataset For Blood Glucose Level Prediction
Online Robust Low Rank Matrix Recovery
Discourse Structure and the Proper Treatment of Interruptions
Information Gathering in Networks via Active Exploration
Improving Cross-Domain Performance for Relation Extraction via Dependency Prediction and Information Flow Control
An Introduction to the Heuristic Programming System
Neural Collective Entity Linking Based on Recurrent Random Walk Network Learning
Cap-and-Penalize: Competitive Mechanisms for Multi-Phase Regularized Online Allocation
Proximal Gradient Algorithm with Momentum and Flexible Parameter Restart for Nonconvex Optimization
An Adaptive Hierarchical Compositional Model for Phrase Embedding
Divide and Conquer: Coordinating Multiplex Mixture of Graph Learners to Handle Multi-Omics Analysis
Accelerated Difference of Convex functions Algorithm and its Application to Sparse Binary Logistic Regression
Planning with Learned Dynamic Model for Unsupervised Point Cloud Registration
Online Heterogeneous Transfer Metric Learning
Towards Automated Process Planning and Mining
Placing Green Bridges Optimally, with Habitats Inducing Cycles
Multi-Agent Planning with Baseline Regret Minimization
Processes at Discontinuities
Distribution-Aware Online Learning for Urban Spatiotemporal Forecasting on Streaming Data
Branch and Bound with Mini-Bucket Heuristics
A Top-Down Compiler for Sentential Decision Diagrams
Video Interactive Captioning with Human Prompts
Domain-Adaptive Self-Supervised Face & Body Detection in Drawings
A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks
Exploring Parameter Space with Structured Noise for Meta-Reinforcement Learning
Optimal Greedy Diversity for Recommendation
Supervised Heterogeneous Domain Adaptation via Random Forests
Learning PP attachment from corpus statistics
Manipulating Embeddings of Stable Diffusion Prompts
l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications
Walking Control And Dynamics Of A Systems With Two Legs
An Inductive Approach to Learning Search Control Rules for Planning
Navigating Social Dilemmas with LLM-based Agents via Consideration of Future Consequences
Dynamic Task Allocation Algorithm for Hiring Workers that Learn
Cooperation Structures
Generalizing the Bias Term of Support Vector Machines
A Complete Landscape of EFX Allocations on Graphs: Goods, Chores and Mixed Manna
PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem
A Multicore Tool for Constraint Solving
Good Explanations in Explainable Artificial Intelligence (XAI): Evidence from Human Explanatory Reasoning
Completeness of the Negation as Failure Rule
Point Set Registration for Unsupervised Bilingual Lexicon Induction
Achieving Envy-Freeness with Limited Subsidies under Dichotomous Valuations
Neighborhood Intervention Consistency: Measuring Confidence for Knowledge Graph Link Prediction
Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'07, held at IJCAI-07, Hyderabad, India, January 8, 2007
Spontaneous Retrieval in a Conceptual Information System
On the Cross-Domain Reusability of Neural Modules for General Video Game Playing
Data-Efficient Backdoor Attacks
Planning Algorithms for Zero-Sum Games with Exponential Action Spaces: A Unifying Perspective
Location-Based Activity Recognition with Hierarchical Dirichlet Process
Dynamic Logic for Data-aware Systems: Decidability Results
Adaptable Planner Primitives for Real-World Robotic Applications
A Resemblance Approach to Analogical Reasoning Functions
Graph Deformer Network
About The Solution Of Combinatorical Problems With Problem Solving Methods
Hawkes Process Based on Controlled Differential Equations
Data Driven Concept Refinement to Support Avionics Maintenance
SMILES: Twitter Emotion Classification using Domain
Volumetric Model and 3D-Trajectory of a Moving Car Derived from Monocular TV-Frame Sequence of a Street Scene
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem
Fast-and-Light Stochastic ADMM
A Soft Version of Predicate Invention Based on Structured Sparsity
Relational Strategies for Processing Universally Quantified Queries to Large Data Bases
Query Reasoning on Trees with Types, Interleaving, and Counting
Crowd-Steer: Realtime Smooth and Collision-Free Robot Navigation in Densely Crowded Scenarios Trained using High-Fidelity Simulation
Stochastic and-or Grammars: A Unified Framework and Logic Perspective
Mechanism Design for Facility Location Problems: A Survey
A State Logic for the Representation of Natural Language Based Intelligent Systems
Improving Model Counting by Leveraging Definability
KnowledgeHub: An End-to-End Tool for Assisted Scientific Discovery
A Weighted-Based Fast Local Search for α-Neighbor p-Center Problem
A Synthetic View of Approximate Reasoning Techniques
Deep Feedback Network for Recommendation
Optimization based Layer-wise Magnitude-based Pruning for DNN Compression
Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis
On a Local Approach to Representation in Problem Solving
Recent Advances in Concept Drift Adaptation Methods for Deep Learning
Sensorimotor Models of Space and Object Geometry
Classification of EEG Signals Based on GA-ELM Optimization Algorithm
Integrative Network Embedding via Deep Joint Reconstruction
Dealing with Geometric Constraints in Game-Theoretic Planning
On Temporal ASP with Eager Unfoldable Operators
Heuristics for Inductive Learning
Understanding the Power and Limitations of Teaching with Imperfect Knowledge
Robust Repositioning to Counter Unpredictable Demand in Bike Sharing Systems
Problem Solving of Elementary Algebra by Hierarchical Abstraction
Spatio-Temporal Field Neural Networks for Air Quality Inference
Qualitative Relevance and Independence: A Roadmap
On the Axiomatic Foundations of Ranking Systems
Predicting Spectral Information for Self-Supervised Signal Classification
A Distributed and Scalable Machine Learning Approach for Big Data
Topic Modeling with Document Relative Similarities
GE-Chat: A Graph Enhanced RAG Framework for Evidential Response Generation of LLMs
Civil Agent Societies: Tools for Inventing Open Agent-Mediated Electronic Marketplaces
Steps Towards the Representation of Complex Three-Dimensional Objects
Bayesian Decision Process for Budget-efficient Crowdsourced Clustering
The Computational Complexity of Single-Player Imperfect-Recall Games
Using Multiagents for Context-Aware Adaptive Biometrics
Building Ethics into Artificial Intelligence
Additive Merge-and-Shrink Heuristics for Diverse Action Costs
Predicting Epidemic Tendency through Search Behavior Analysis
MCTS-Minimax Hybrids with State Evaluations (Extended Abstract)
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
Induction in an Abstraction Space: A Form of Constructive Induction
FedCPD: Personalized Federated Learning with Prototype-Enhanced Representation and Memory Distillation
PDDFormer: Pairwise Distance Distribution Graph Transformer for Crystal Material Property Prediction
Autonomous Task Sequencing for Customized Curriculum Design in Reinforcement Learning
Building Human-Centred Intelligent Cooperative Information Systems with IKEA
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025
What's New? A Semantic Definition of Novelty
\RESTAURANT Revisited or "Lunch with BORIS"
Deterministic Routing between Layout Abstractions for Multi-Scale Classification of Visually Rich Documents
Efficient, Safe, and Probably Approximately Complete Learning of Action Models
Time for Action: On the Relation Between Time, Knowledge and Action
From Ensemble Clustering to Multi-View Clustering
Contrastive Graph Transformer Network for Personality Detection
One Network for Multi-Domains: Domain Adaptive Hashing with Intersectant Generative Adversarial Networks
Cost-Effective Active Learning for Hierarchical Multi-Label Classification
Confirming the Generalizability of a Chain-Based Animacy Detector
Stabilizing Adversarial Invariance Induction from Divergence Minimization Perspective
Parallel Belief Contraction via Order Aggregation
Revisiting the Evaluation of Deep Learning-Based Compiler Testing
Bridging the Gap between General and Down-Closed Convex Sets in Submodular Maximization
Probabilistic Models for Concurrent Chatting Activity Recognition
Reasoning about NP-complete Constraints
Trembling Hand Equilibria of Plurality Voting
Towards New Optimized Artificial Immune Recognition Systems under the Belief Function Theory
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent
Disrupting Diffusion-based Inpainters with Semantic Digression
Rethinking Removal Attack and Fingerprinting Defense for Model Intellectual Property Protection: A Frequency Perspective
Mechanism Design Powered by Social Interactions: A Call to Arms
Vision-based Discovery of Nonlinear Dynamics for 3D Moving Target
A Cognitive-Driven Trajectory Prediction Model for Autonomous Driving in Mixed Autonomy Environments
CTW: Confident Time-Warping for Time-Series Label-Noise Learning
Automatic Construction of Junction Dictionaries and Their Exploitation for the Analysis of Range Data
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract)
Guarantees of Augmented Trace Norm Models in Tensor Recovery
Generalized Cluster Aggregation
Detecting Stochastically Scheduled Activities in Video
OpenIAI-SNIO: A Systematic AR-Based Assembly Guidance System for Small-Scale, High-Density Industrial Components
An Algebra of Granular Temporal Relations for Qualitative Reasoning
Tight Runtime Guarantees From Understanding the Population Dynamics of the GSEMO Multi-Objective Evolutionary Algorithm
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions
Video Captioning with Tube Features
Knowledge-Based Regularization in Generative Modeling
A Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill Learning
The Perils of Classifying Political Orientation From Text
Automated Superscalar Processor Design by Learning Data Dependencies
Program Derivation Using Analogy
Situated Resolution and Generation of Spatial Referring Expressions for Robotic Assistants
A Vectorized Relational Graph Convolutional Network for Multi-Relational Network Alignment
A Probabilistic Approach to Latent Cluster Analysis
Modeling Contagious Merger and Acquisition via Point Processes with a Profile Regression Prior
CVAT-BWV: A Web-Based Video Annotation Platform for Police Body-Worn Video