yusuke1997/dblp-id-title huggingface dataset:
On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem
DepthART: Monocular Depth Estimation as Autoregressive Refinement Task
A minimum description length approach to grammar inference
DeepTravel: a Neural Network Based Travel Time Estimation Model with Auxiliary Supervision
Catcher-Evader Games
Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties
Coarse-to-fine Image Co-segmentation with Intra and Inter Rank Constraints
Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators (Extended Abstract)
The RoboCup Synthetic Agent Challenge 97
Kernel Carpentry for Online Regression Using Randomly Varying Coefficient Model
MacMic: Executing Iceberg Orders via Hierarchical Reinforcement Learning
Learning from Ontology Streams with Semantic Concept Drift
Irrational, but Adaptive and Goal Oriented: Humans Interacting with Autonomous Agents
Location Prediction over Sparse User Mobility Traces Using RNNs: Flashback in Hidden States!
Label Enhancement for Label Distribution Learning via Prior Knowledge
Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration
Crowdsourcing-Assisted Query Structure Interpretation
From knowledge-based programs to graded belief-based programs, part II: off-line reasoning
DrosophilaGene Expression Pattern Annotation through Multi-Instance Multi-Label Learning
Towards Automatic Composition of ASP Programs from Natural Language Specifications
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
A Divide and Conquer Bidirectional Search: First Results
Online Bin Packing with Predictions
Inferences in Quantified Semantic Networks
Toward Conditional Models of Identity Uncertainty with Application to Proper Noun Coreference
On the Parameterized Complexity of Belief Revision
Inference without Chaining
What Hides behind Unfairness? Exploring Dynamics Fairness in Reinforcement Learning
All in One: Multi-task Prompting for Graph Neural Networks (Extended Abstract)
RRG-Mamba: Efficient Radiology Report Generation with State Space Model
Weight Features for Predicting Future Model Performance of Deep Neural Networks
The Complexity of Belief Update
Nogood Recording from Restarts
Using Text Classifiers for Numerical Classification
Inverse Reinforcement Learning in Partially Observable Environments
FastGR: Global Routing on CPU-GPU with Heterogeneous Task Graph Scheduler (Extended Abstract)
Reinforcement Learning from Diverse Human Preferences
LEEC for Judicial Fairness: A Legal Element Extraction Dataset with Extensive Extra-Legal Labels
The Importance of the Test Set Size in Quantification Assessment
Extending the Harper Identity to Iterated Belief Change
Combining Logic and Probability: P-log Perspective
Levels of Complexity in Discourse for Anaphora Disambiguation and Speech Act Interpretation
A Parameterised Module System for Constructing Typed Logic Programs
IntWEB: An AI-Based Approach for Adaptive Web
SCOTT: A Model-Guided Theorem Prover
SVM-based Obstacles Recognition for Road Vehicle Applications
A Formal Model for Multiagent Q-Learning Dynamics on Regular Graphs
Real Boosting a la Carte with an Application to Boosting Oblique Decision Tree
Federated Probabilistic Preference Distribution Modelling with Compactness Co-Clustering for Privacy-Preserving Multi-Domain Recommendation
Truly Batch Apprenticeship Learning with Deep Successor Features
Induction of Oblique Decision Trees
Relational Gating for "What If" Reasoning
Reasoning about distances
VRD-IU: Lessons from Visually Rich Document Intelligence and Understanding
Learning Procedures from Examples and by Doing
Mixing Search Strategies for Multi-Player Games
Heuristic Search under Quality and Time Bounds
Graph-based Polyphonic Multitrack Music Generation
Understanding Distance Measures Among Elections
PeopleFinder: a Multimodal Multimedia Communications Tool for Interconnecting Office Staff
The Human in Interactive Machine Learning: Analysis and Perspectives for Ambient Intelligence (Abstract Reprint)
Knowledge Acquisition for Knowledge Management
Automatic Curriculum Learning For Deep RL: A Short Survey
An Automobile with Artificial Intelligence
Building Time-Affordable Cultural Ontologies Using an Emic Approach
The Minds of Many: Opponent Modeling in a Stochastic Game
First-Order Rewritability of Atomic Queries in Horn Description Logics
A Novel Framework for Integrating Discrete Event System Control and Diagnosis
Novelty Detection via Contrastive Learning with Negative Data Augmentation
Query-Based and Unnoticeable Graph Injection Attack from Neighborhood Perspective
Graph Universal Adversarial Attacks: A Few Bad Actors Ruin Graph Learning Models
A New Approach for Stereo Matching in Autonomous Mobile Robot Applications
PC-DPOP: A New Partial Centralization Algorithm for Distributed Optimization
Towards Unsupervised Deformable-Instances Image-to-Image Translation
Approximation in Mathematical Domains
Prior-Free Exploration Bonus for and beyond Near Bayes-Optimal Behavior
Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms
Heterogeneous Graph Information Bottleneck
Approval-Based Multi-Winner Rules and Strategic Voting
AUTODRAITEC: An Infrastructure-Based AUTOnomous DRiving System Using Artificial Intelligence and TEleCommunication Technologies
EViLBERT: Learning Task-Agnostic Multimodal Sense Embeddings
Rethinking the Promotion Brought by Contrastive Learning to Semi-Supervised Node Classification
Class Prior Estimation in Active Positive and Unlabeled Learning
Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty
A Framework for Scalable Inference of Temporal Gene Regulatory Networks based on Clustering and Multivariate Analysis
Fine-Grained and Efficient Self-Unlearning with Layered Iteration
A Fusion of Stacking with Dynamic Integration
Trustworthy Machine Learning under Imperfect Data
Mobile Robot Learning of Delayed Response Tasks through Event Extraction: A Solution to the Road Sign Problem and Beyond
On the Hardness of Approximate Reasoning
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits
Groupwise Registration of Aerial Images
What's the Context? Implicit and Explicit Assumptions in Model-Based Goal Recognition
A Microfeature-based Scheme for Modelling Semantics
Minimization of Limit-Average Automata
Color-Sensitive Person Re-Identification
LSPAN: Spectrally Localized Augmentation for Graph Consistency Learning
A Distributed Control Loop for Autonomous Recovery in a Multi-Agent Plan
Description Logics over Lattices with Multi-Valued Ontologies
A Theory of Clausal Discovery
Neural Contextual Anomaly Detection for Time Series
Probit Classifiers with a Generalized Gaussian Scale Mixture Prior
Tensor Completion with Side Information: A Riemannian Manifold Approach
LDP-FL: Practical Private Aggregation in Federated Learning with Local Differential Privacy
Object Recognition with and without Objects
Voting-Based Group Formation
Distance-Preserving Probabilistic Embeddings with Side Information: Variational Bayesian Multidimensional Scaling Gaussian Process
Hallucination-Aware Prompt Optimization for Text-to-Video Synthesis
Animate Vision in a Rich Environment
AUC: a Statistically Consistent and more Discriminating Measure than Accuracy
Reasoning with Lines in the Euclidean Space
Neuro-Symbolic Learning of Answer Set Programs from Raw Data
Image Matching via Loopy RNN
On Market-Inspired Approaches to Propositional Satisfiability
Set Branching in Constraint Optimization
Where and When: Predict Next POI and Its Explicit Timestamp in Sequential Recommendation
Light-Weight Hybrid Convolutional Network for Liver Tumor Segmentation
Deep Multiple Instance Hashing for Object-based Image Retrieval
RoboGNN: Robustifying Node Classification under Link Perturbation
Joint Extraction of Entities and Relations Based on a Novel Graph Scheme
Sharing Attention Weights for Fast Transformer
Active Online Classification via Information Maximization
Proceedings of the 3rd Workshop on Ubiquitous Data Mining co-located with the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, August 3, 2013
An Analysis of Psychological Experiments on Non-Monotonic Reasoning
MEIM: Multi-partition Embedding Interaction Beyond Block Term Format for Efficient and Expressive Link Prediction
Towards Industrial-Like Random SAT Instances
Online Decision-Making for Scalable Autonomous Systems
Robust Graph Dimensionality Reduction
Learning with Previously Unseen Features
HOI-aware Adaptive Network for Weakly-supervised Action Segmentation
Exact Algorithms with New Upper Bounds for the Maximum k-plex Problem
Numeric Planning via Abstraction and Policy Guided Search
SimPropNet: Improved Similarity Propagation for Few-shot Image Segmentation
Decoding EEG by Visual-guided Deep Neural Networks
Learning to Incentivize: Eliciting Effort via Output Agreement
Use of Tethered Virtual Reality Headsets in Exposure Therapy for Agoraphobia and Social Phobia
Proactive and Reactive Coordination of Non-dedicated Agent Teams Operating in Uncertain Environments
Sensing and Predicting the Pulse of the City through Shared Bicycling
On Privacy Protection of Latent Dirichlet Allocation Model Training
Rule Induction and Instance-Based Learning: A Unified Approach
Crowd View: Converting Investors' Opinions into Indicators
Security Games with Multiple Attacker Resources
Maintaining Evolving Domain Models
Using Learned Browsing Behavior Models to Recommend Relevant Web Pages
Object Identification from Parallel Light Stripes
Unsupervised Scene Adaptation with Memory Regularization in vivo
The Sparse MinMax k-Means Algorithm for High-Dimensional Clustering
Differentiable Prompt Learning for Vision Language Models
Keep Skills in Mind: Understanding and Implementing Skills in Commonsense Question Answering
Continuous-Time Reward Machines
A Possibilistic Planner that Deals with Non-Determinism and Contingency
Approximated Behavioral Metric-based State Projection for Federated Reinforcement Learning
Count-Based Exploration in Feature Space for Reinforcement Learning
A Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued Resources
Towards Improved Risk Bounds for Transductive Learning
An Integrated Characterization and Discrimination Scheme to Improve Learning Efficiency in Large Data Sets
Towards Hierarchical Policy Learning for Conversational Recommendation with Hypergraph-based Reinforcement Learning
Scene Text Detection in Video by Learning Locally and Globally
A Rule-Based Task Generation System
A Study of Residual Supports in Arc Consistency
A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance
LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images
Prediction is Deduction but Explanation is Abduction
The Ramification Problem in the Event Calculus
The Statistical Inference Method in Heuristic Search Techniques
Learning Big Logical Rules by Joining Small Rules
Person-Independent Multimodal Emotion Detection for Children with High-Functioning Autism
EigenGP: Gaussian Process Models with Adaptive Eigenfunctions
Geometry-Guided Conditional Adaptation for Surrogate Models of Large-Scale 3D PDEs on Arbitrary Geometries
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming
2D Shape Classification and Retrieval
BACON.5: The Discovery of Conservation Laws
Mixed Strategies for Security Games with General Defending Requirements
Natural Emotions as Evidence of Continuous Assessment of Values, Threats and Opportunities in Humans, and Implementation of These Processes in Robots and Other Machines
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
Beyond Product Quantization: Deep Progressive Quantization for Image Retrieval
Alternative Parsers for Conceptual Dependency: Getting There is Half the Fun
Dynamic and Adaptive Feature Generation with LLM
Point-based Acoustic Scattering for Interactive Sound Propagation via Surface Encoding
Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks (Extended Abstract)
Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling
Domain-Guided Novelty Detection for Autonomous Exploration
Learning Simple Arithmetic
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs
Probability Bounds for Overlapping Coalition Formation
Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems
DenseLight: Efficient Control for Large-scale Traffic Signals with Dense Feedback
Time Decomposition for Diagnosis of Discrete Event Systems (Extended Abstract)
Quantifying Algorithmic Improvements over Time
Federal Programs in Artificial Intelligence
Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling
Collective Decision Making under Incomplete Knowledge: Possible and Necessary Solutions
Progressive Prefix-Memory Tuning for Complex Logical Query Answering on Knowledge Graphs
NeoMaPy: A Framework for Computing MAP Inference on Temporal Knowledge Graphs
Reward Models in Deep Reinforcement Learning: A Survey
Constraint Programming on Infinite Data Streams
Towards domain-independent, task-oriented, conversational adequacy
Patent Litigation Prediction: A Convolutional Tensor Factorization Approach
Training Group Orthogonal Neural Networks with Privileged Information
Reduction Techniques for Model Checking and Learning in MDPs
The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation
Revitalizing Real Image Deraining via a Generic Paradigm towards Multiple Rainy Patterns
Abstraction in Problem Solving and Learning
The Role of Perspective in Responding to Property Misconceptions
Randomized Learning-Augmented Auctions with Revenue Guarantees
A Model-Theoretic Counterpart of Loop Formulas
Scalable Temporal Reasoning
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size
Innovative Directional Encoding in Speech Processing: Leveraging Spherical Harmonics Injection for Multi-Channel Speech Enhancement
Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results
An Attention-based Model for Conversion Rate Prediction with Delayed Feedback via Post-click Calibration
Structured Robotics
Online Probabilistic Goal Recognition over Nominal Models
Matching networks for personalised human activity recognition
k-SDPP: Fixed-Size Video Summarization via Sequential Determinantal Point Processes
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs
Constraint Optimization Approach to Context Based Word Selection
Efficient Correlated Subgraph Searches for AI-powered Drug Discovery
Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification
An Iterative Image Registration Technique with an Application to Stereo Vision
An Algebraic Definition of Simulation Between Programs
Development of new techniques to improve Web search
Deep Learning for Multi-Facility Location Mechanism Design
Online Learning to Rank for Content-Based Image Retrieval
Denoising Diffusion Models are Good General Gaze Feature Learners
HPRL: A Language for Building Expert Systems
Leveraging Pretrained Diffusion Models for Zero-Shot Part Assembly
Discovering Admissible Models of Complex Systems Based on Scale-Types and Idemtity Constraints
Simulating the Emergence of Grammatical Agreement in Multi-Agent Language Games
On the Testability of BDI Agent Systems (Extended Abstract)
Toward A Multiple Environments Model Of Natural Language
Fuzzy Systems with Learning Capability
Automation of Diagrammatic Proofs in Mathematics
Fuzzy Reasoning and Applications for Intelligent Scheduling of Robots
EGCN: An Ensemble-based Learning Framework for Exploring Effective Skeleton-based Rehabilitation Exercise Assessment
Inverse Game Theory: An Incenter-Based Approach
Self-Organization of a Neural Network which Gives Position-Invariant Response
KGNN: Knowledge Graph Neural Network for Drug-Drug Interaction Prediction
UniTrans : Unifying Model Transfer and Data Transfer for Cross-Lingual Named Entity Recognition with Unlabeled Data
Efficient Incremental Search for Moving Target Search
Learning Semantic Descriptions of Web Information Sources
Understanding Stories Through Morals and Remindings
Multi-agent Approach to Resource Allocation in Autonomous Vehicle Fleets
Translating First-Order Theories into Logic Programs
Towards Safe and Reliable Robot Task Planning
An Algebraic Foundation for Truth Maintenance
Topical Sentence Embedding for Query Focused Document Summarization
Lightweight Label Propagation for Large-Scale Network Data
A Computer System for Visual Recognition Using Active Knowledge
Language-Conditioned Open-Vocabulary Mobile Manipulation with Pretrained Models
Adaptive Estimation Q-learning with Uncertainty and Familiarity
SEMANTIFY: Unveiling Memes with Robust Interpretability beyond Input Attribution
Discriminative Reordering Model Adaptation via Structural Learning
Ensembles of Partially Trained SVMs with Multiplicative Updates
Learning And Abstraction In Simulation
Conceptual Navigation for Polyadic Formal Concept Analysis
Object Detection based Deep Unsupervised Hashing
Efficient Searching Top-k Semantic Similar Words
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
CGI: Identifying Conditional Generative Models with Example Images
Deep Interactive Surface Creation from 3D Sketch Strokes
Speeding Up Hyper-Heuristics With Markov-Chain Operator Selection and the Only-Worsening Acceptance Operator
Orientation and Qualitative Angle for Spatial Reasoning
KEYSIGHT: Computer Vision Inspection of Valve Spring Assemblies on Engine Heads
Learning to Speak from Text: Zero-Shot Multilingual Text-to-Speech with Unsupervised Text Pretraining
ARCANE: An Efficient Architecture for Exact Machine Unlearning
Learn to Select via Hierarchical Gate Mechanism for Aspect-Based Sentiment Analysis
Dynamic Group Link Prediction in Continuous-Time Interaction Network
On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus
MA2CL: Masked Attentive Contrastive Learning for Multi-Agent Reinforcement Learning
Targeted Multimodal Sentiment Classification based on Coarse-to-Fine Grained Image-Target Matching
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability
Predicting Power Deviation in the Turkish Power Market Based on Adaptive Factor Impacts
Active Probing Strategies for Problem Diagnosis in Distributed Systems
A New Paradigm for Counterfactual Reasoning in Fairness and Recourse
A Fast Maximum k-Plex Algorithm Parameterized by the Degeneracy Gap
BARA: Efficient Incentive Mechanism with Online Reward Budget Allocation in Cross-Silo Federated Learning
Temporal Adaptive Alignment Network for Deep Video Inpainting
Centered Logic: The Role of Entity Centered Sentence Representation in Natural Language Inferencing
An Axiomatic Approach to Personalized Ranking Systems
Heuristic Search in Infinite State Spaces Guided by Lyapunov Analysis
Associative-Commutative Rewriting
MNet: Rethinking 2D/3D Networks for Anisotropic Medical Image Segmentation
Communicating Open Systems: Extended Abstract
Efficient Localized Inference for Large Graphical Models
Beverly Park Woolf, Eric Rubin, Paul Barth: Meno-II: An Intelligent Tutoring System for Novice Programmers
A Prover for General Inequalities
Learning Restart Strategies
Mean Aggregator Is More Robust than Robust Aggregators under Label Poisoning Attacks
Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract)
Middle-Agents for the Internet
ReinforceNS: Reinforcement Learning-based Multi-start Neighborhood Search for Solving the Traveling Thief Problem
A Prior-based Discrete Diffusion Model for Social Graph Generation
Succinctness of Epistemic Languages
Preference-Based CBR: General Ideas and Basic Principles
A Graph-based Interactive Reasoning for Human-Object Interaction Detection
A Bayesian Computational Cognitive Model
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification
Double Auctions in Markets for Multiple Kinds of Goods
Prime Implicate Generation in Equational Logic (extended abstract)
Monte Carlo Tree Search in Continuous Action Spaces with Execution Uncertainty
How Natural is Argument in Natural Dialogue?
An Understanding System of Natural Language and Pictorial Pattern in the World of Weather Report
Learning by Interpreting
Monte Carlo Tree Search Techniques in the Game of Kriegspiel
A Few Seconds Can Change Everything: Fast Decision-based Attacks against DNNs
Recovering Surface Shape from Boundary
AMO-aware Aggregates in Answer Set Programming
Preference Inference through Rescaling Preference Learning
Statistically-Guided Deep Network Transformation to Harness Heterogeneity in Space (Extended Abstract)
Doubly Sparse Asynchronous Learning for Stochastic Composite Optimization
Leadership in Congestion Games: Multiple User Classes and Non-Singleton Actions
Max Order: A Tale of Creativity
Dilated Recurrent Neural Network for Short-time Prediction of Glucose Concentration
Combining Probabilities, Failures and Safety in Robot Control
Inference-Masked Loss for Deep Structured Output Learning
Planning with Goal Utility Dependencies
Unified Embedding Model over Heterogeneous Information Network for Personalized Recommendation
Online Evasion Attacks on Recurrent Models: The Power of Hallucinating the Future
JSI Sound - a Machine-Learning Tool in Orange for Simple Biosound Classification
ACV-tree: A New Method for Sentence Similarity Modeling
Real-time Traffic Pattern Analysis and Inference with Sparse Video Surveillance Information
Building a Visual Semantics Aware Object Hierarchy
Theoretical Investigation of Generalization Bound for Residual Networks
Discovering Admissible Model Equations from Observed Data Based on Scale-Types and Identity Constrains
On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies
Some Considerations Concerning The Problem Base Of Purposeful Systems
Changes in Representation which Preserve Strategies in Games
Jointly Learning Network Connections and Link Weights in Spiking Neural Networks
A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange
Model-Free Model Reconciliation
Multi-level Consistency Learning for Semi-supervised Domain Adaptation
UCBoost: A Boosting Approach to Tame Complexity and Optimality for Stochastic Bandits
Deduction with Induction: Combining Knowledge Discovery and Reasoning for Interpretable Deep Reinforcement Learning
Object-Level Backdoor Attacks in RGB-T Semantic Segmentation with Cross-Modality Trigger Optimization
Action-Model Acquisition from Noisy Plan Traces
An Adaptive Technique for Weighting Multiple Factors in Followee Recommendation Algorithms
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)
Multi-Instance Learning with Key Instance Shift
SHAPE: An Unified Approach to Evaluate the Contribution and Cooperation of Individual Modalities
AND Parallelism in Logic Programs
Solving Time-Dependent Planning Problems
Coyote: A Dataset of Challenging Scenarios in Visual Perception for Autonomous Vehicles
Multi-Modal Image Annotation with Multi-Instance Multi-Label LDA
Enhancing Multimodal Model Robustness Under Missing Modalities via Memory-Driven Prompt Learning
On the Feasibility of Distributed Constraint Satisfaction
A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality
DeepInspect: A Black-box Trojan Detection and Mitigation Framework for Deep Neural Networks
Modelling Satisfiability Problems: Theory and Practice
Learning First-Order Rules with Differentiable Logic Program Semantics
Scaling Fine-grained Modularity Clustering for Massive Graphs
GIB: Steps Toward an Expert-Level Bridge-Playing Program
The Viewer's Place in Theories of Vision
Improving Morphology Induction by Learning Spelling Rules