yusuke1997/dblp-id-title huggingface dataset:
Monolith to Microservices: Representing Application Software through Heterogeneous Graph Neural Network
Tensor Based Knowledge Transfer Across Skill Categories for Robot Control
Temporally Aligning Long Audio Interviews with Questions: A Case Study in Multimodal Data Integration
Online 3D Gaussian Splatting Modeling with Novel View Selection
Modeling the Emergence and Convergence of Norms
GenSeg: On Generating Unified Adversary for Segmentation
Independent Feature Decomposition and Instance Alignment for Unsupervised Domain Adaptation
A Dual Reinforcement Learning Framework for Unsupervised Text Style Transfer
A Functional Dynamic Boltzmann Machine
Finding Diverse Solutions of High Quality to Constraint Optimization Problems
High Performance Natural Language Processing on Semantic Network Array Processor
Learning of Sensory-Motor Schemas in a Mobile Robot
Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search
Unsupervised Learning of Semantic Relations between Concepts of a Molecular Biology Ontology
Interactive Reinforcement Learning with Dynamic Reuse of Prior Knowledge from Human and Agent Demonstrations
Evaluating and Aggregating Feature-based Model Explanations
Remarks on the Problem of the Logical Design of the Vertebrate Visual System
Commonsense Knowledge Aware Conversation Generation with Graph Attention
Fast and Robust Multi-View Multi-Task Learning via Group Sparsity
Towards Certified Unsolvability in Classical Planning
DeepExtrema: A Deep Learning Approach for Forecasting Block Maxima in Time Series Data
A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and Virtual Copies
On Using Admissible Bounds for Learning Forward Search Heuristics
Dynamically Anchored Prompting for Task-Imbalanced Continual Learning
Modeling Trajectories with Recurrent Neural Networks
A Dual Approach to Verify and Train Deep Networks
Simulating Human Inferences in the Light of New Information: A Formal Analysis
Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract)
Challenges and Progress on Using Large Lossy Endgame Databases in Chinese Checkers
An Ontology Matching Approach Based on Affinity-Preserving Random Walks
Semantic Visualization for Short Texts with Word Embeddings
Adversarial Exploitation of Policy Imitation
Rhetorical Figure Annotation with XML
FineFMPL: Fine-grained Feature Mining Prompt Learning for Few-Shot Class Incremental Learning
A Sequent Calculus for Answer Set Entailment
Allocating Mixed Goods with Customized Fairness and Indivisibility Ratio
Improving Entity Recommendation with Search Log and Multi-Task Learning
Control Structures for Incorporating Picture-Specific Context in Image Interpretation
Body Movement Analysis of Human-Robot Interaction
On the Complexity of EL with Defeasible Inclusions
Explaining Subsumption in Description Logics
Mutual Distillation Learning Network for Trajectory-User Linking
RUM: A Layered Architecture for Reasoning with Uncertainty
Matrix Factorization+ for Movie Recommendation
Using Generic Knowledge in Analysis of Aerial Scenes: A Case Study
Enhancing Online Climate Discourse: A Two-Stage Framework for Climate Content Categorization and Moderation
BayCon: Model-agnostic Bayesian Counterfactual Generator
SynKit: LTL Synthesis as a Service
Disentangled Feature Learning Network for Vehicle Re-Identification
Combinatorial Cost Sharing
Expressive Logical Combinators for Free
A Formal Account of Self-Knowledge and Action
Recovery of Corrupted Multiple Kernels for Clustering
Hybrid Mesh-Gaussian Representation for Efficient Indoor Scene Reconstruction
GraphDIVE: Graph Classification by Mixture of Diverse Experts
ElimiNet: A Model for Eliminating Options for Reading Comprehension with Multiple Choice Questions
Multi-Relational Graph Attention Network for Social Relationship Inference from Human Mobility Data
Defending Against Man-In-The-Middle Attack in Repeated Games
A Theory of Diagnosis for Incomplete Causal Models
Phase Transitions of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability Search
Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs
Input Data Management in Real-Time AI Systems
Cross-City Transfer Learning for Deep Spatio-Temporal Prediction
Unpacking the Mandate of Heaven Argument
Optimistic Parallel biscrete Relaxation
Examples and Tutored Problems: Adaptive Support Using Assistance Scores
Approximate Inference in Logical Credal Networks
Elicitation and Approximately Stable Matching with Partial Preferences
Customized Positional Encoding to Combine Static and Time-varying Data in Robust Representation Learning for Crop Yield Prediction
A Survey of Federated Evaluation in Federated Learning
EAVIT: Efficient and Accurate Human Value Identification From Text Data via LLMs
Unsupervised Learning on Neural Network Outputs: With Application in Zero-Shot Learning
Privacy Preserving Solution of DCOPs by Local Search
Towards Scalable MDP Algorithms
Understanding and Measuring Collective Intelligence Across Different Cognitive Systems: An Information-Theoretic Approach
Coordinating Human-UAV Teams in Disaster Response
The Conceptual Content of Conversation
Incremental Event Calculus for Run-Time Reasoning (Extended Abstract)
Fluid Dynamics-Inspired Network for Infrared Small Target Detection
Collaborative Inductive Logic Programming for Path Planning
Detecting Traces of Narrative Evolution on Telegram: Inductive Methods from Corpus-Based Discourse Analysis
What Is an Ideal Logic for Reasoning with Inconsistency?
Human-Centric Justification of Machine Learning Predictions
Shopbots and Pricebots
Abstraction Heuristics for Symbolic Bidirectional Search
Probabilistically Robust Watermarking of Neural Networks
Knowledge Base Management for Experiment Planning in Molecular Genetics
Hybrid Learning System for Large-scale Medical Image Analysis
AttExplainer: Explain Transformer via Attention by Reinforcement Learning
A Causal Theory of Ramifications and Qualifications
Non-monotonic Temporal Logics for Goal Specification
Logical Circuit Filtering
Learning Equation Solving Methods From Examples
A Personalised Thermal Comfort Model Using a Bayesian Network
The Symmetric Alldiff Constraint
Multiple Constraint Acquisition
Contrastive Label Enhancement
Modeling Institutions in Socio-Ecosystems
SVMC: Single-Class Classification With Support Vector Machines
Readitopics: Make Your Topic Models Readable via Labeling and Browsing
Efficient Non-parametric Bayesian Hawkes Processes
Blackboard-based Dependency Parsing
Constraint Satisfiability Algorithms for Interactive Student Scheduling
Obvious Logical Inferences
Belief Manipulation Through Propositional Announcements
Optimal Transport on Categorical Data for Conterfactuals Using Compositional Data and Dirichlet Transport
Hatebusters: A Web Application for Actively Reporting YouTube Hate Speech
Automatic Mixed-Precision Quantization Search of BERT
Loyalty in Cardinal Hedonic Games
Word Formation in Natural Language Processing Systems
Deep Low-Rank Coding for Transfer Learning
Knoesphere: Building Expert Systems With Encyclopedic Knowledge
CounterFactual Regression with Importance Sampling Weights
The Behavioral Sign of Account Theft: Realizing Online Payment Fraud Alert
Incremental Matrix Factorization: A Linear Feature Transformation Perspective
Training-free Fourier Phase Diffusion for Style Transfer
Generalised Inference and Inferential Modelling
Multi-agent Coordination using Local Search
Cross-Domain Collaborative Filtering with Review Text
Handling Complex Commands as Service Robot Task Requests
Let it RAIN for Social Good
Iterated Weaker-than-Weak Dominance
Self-Supervised Pre-training with Symmetric Superimposition Modeling for Scene Text Recognition
Against Membership Inference Attack: Pruning is All You Need
ReBandit: Random Effects Based Online RL Algorithm for Reducing Cannabis Use
Tradeoffs between Incentive Mechanisms in Boolean Games
Maximum Entropy Semi-Supervised Inverse Reinforcement Learning
Unsupervised Machine Condition Monitoring Using Segmental Hidden Markov Models
Predicting circulatory system deterioration in intensive care unit patients
Instructing Novice Users on How to Use Tools in DIY Projects
Mat-Instructions: A Large-Scale Inorganic Material Instruction Dataset for Large Language Models
Instructions: Language and Behavior
Decidable Reasoning in Terminological Knowledge Representation Systems
General Approach to Nonmonotonic Logics
Modeling Attempt and Action Failure in Probabilistic STIT Logic
Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics
Modeling Social Action for AI Agents
Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics
On Whom Should I Perform this Lab Test Next? An Active Feature Elicitation Approach
Disentangling Direct and Indirect Interactions in Polytomous Item Response Theory Models
Orthogonal and Nonnegative Graph Reconstruction for Large Scale Clustering
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties
On A Possible Mechanism Of Binocular Fusion
Differential Equations for Modeling Asynchronous Algorithms
AMEIR: Automatic Behavior Modeling, Interaction Exploration and MLP Investigation in the Recommender System
Multivariate Analysis and Structural Restrictions in Computational Social Choice
On Thompson Sampling and Asymptotic Optimality
A Question Type Driven Framework to Diversify Visual Question Generation
QBR - A Question-Bank-Based Approach to Fine-Grained Legal Knowledge Retrieval for the General Public
Visual Detection of Noisy Patterns
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World
Multiagent Decision Making and Learning in Urban Environments
Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints
Knowledge Acquisition in the Consul System
Matching User with Item Set: Collaborative Bundle Recommendation with Deep Attention Network
Concurrent Planning and Execution Using Dispatch-Dependent Values
Using Available Memory to Transform Graphplan's Search
Developing Microprocessor Based Expert Models for Instrument Interpretation
Using Examples to Generate Instantiations of Set Variables
Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints
ALL-E: Aesthetics-guided Low-light Image Enhancement
Robust Audio Adversarial Example for a Physical Attack
Commenting Proofs
Algebraic Approximations
An Agent Based WCET Analysis for Top-View Person Re-Identification
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
What to Do Next: Modeling User Behaviors by Time-LSTM
Exploration of Tree-based Hierarchical Softmax for Recurrent Language Models
On the Gains and Losses of Speculation in Equilibrium Markets
Sequence Learning Using Equilibrium Propagation
Small Overfitting Probability in Minimization of Empirical Risk for FCA-based Machine Learning
Dynamic Vehicle Routing with Stochastic Requests
Multi-View Maximum Entropy Discrimination
Computation of Immediate Texture Discrimination
Data Compression for Learning MRF Parameters
Influence of State-Variable Constraints on Partially Observable Monte Carlo Planning
Denoising and Completion of 3D Data via Multidimensional Dictionary Learning
Improved Bounded Matrix Completion for Large-Scale Recommender Systems
Grounded Language Learning: Where Robotics and NLP Meet
An Analysis of Laplacian Methods for Value Function Approximation in MDPs
A Deep Framework for Cross-Domain and Cross-System Recommendations
A Dependency-based Method for Evaluating Broad-Coverage Parsers
Scalable Graph Classification via Random Walk Fingerprints (Extended Abstract)
Towards Addressing the Winograd Schema Challenge - Building and Using a Semantic Parser and a Knowledge Hunting Module
A Rule-Based Modal View of Causal Reasoning
TRP: Trained Rank Pruning for Efficient Deep Neural Networks
Phrasing a Text in Terms the User Can Understand
Extending the Constraint Propagation of Intervals
L2M2: A Hierarchical Framework Integrating Large Language Model and Multi-agent Reinforcement Learning
Fully Test-Time Adaptation for Feature Decrement in Tabular Data
Encoding and Recall of Spatio-Temporal Episodic Memory in Real Time
FedNoRo: Towards Noise-Robust Federated Learning by Addressing Class Imbalance and Label Noise Heterogeneity
Approximate Exploitability: Learning a Best Response
Adaptive Personal Information Filtering System that Organizes Personal Profiles Automatically
Handling Learnwares Developed from Heterogeneous Feature Spaces without Auxiliary Data
Towards Understanding Natural Language: Semantic Parsing, Commonsense Knowledge Acquisition and Applications
Dances with Words
Unsupervised Feature Transformation via In-context Generation, Generator-critic LLM Agents, and Duet-play Teaming
FaRM: Fair Reward Mechanism for Information Aggregation in Spontaneous Localized Settings
Robustness as Inherent Property of Datapoints
Towards Convolutional Neural Networks Compression via Global Error Reconstruction
Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus
Object Detection in Real Open Environment
Parameter Learning for Latent Network Diffusion
Iterative-Deepening-A*: An Optimal Admissible Tree Search
Scaling Up AND/OR Abstraction Sampling
An Archive Can Bring Provable Speed-ups in Multi-Objective Evolutionary Algorithms
Knowledge Extraction from Local Function Networks
Feature Based Occupancy Grid Maps for Sonar Based Safe-Mapping
Designing and Evaluating an Adaptive Trading Agent for Supply Chain Management
Compositional Neural Logic Programming
SHOP: Simple Hierarchical Ordered Planner
SAT-Based Approaches for the General High School Timetabling Problem
Fuzzy Logic Models in some Categories
IntEr-HRI Competition: Intrinsic Error Evaluation during Human - Robot Interaction
DGraFormer: Dynamic Graph Learning Guided Multi-Scale Transformer for Multivariate Time Series Forecasting
Toward Diverse Text Generation with Inverse Reinforcement Learning
Adversarial Transfer for Named Entity Boundary Detection with Pointer Networks
Appropriate Microplanning Choices for Low-Skilled Readers
IDPT: Interconnected Dual Pyramid Transformer for Face Super-Resolution
Integration of Old and New Knowledge for Generalized Intent Discovery: A Consistency-driven Prototype-Prompting Framework
General Epistemic Abstract Argumentation Framework: Semantics and Complexity
Collective Object Identification
Constrained Bayesian Reinforcement Learning via Approximate Linear Programming
Unsupervised Deep Video Hashing with Balanced Rotation
CNN-Based Chinese NER with Lexicon Rethinking
ECR-Chain: Advancing Generative Language Models to Better Emotion-Cause Reasoners through Reasoning Chains
Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles
Combining MORL with Restraining Bolts to Learn Normative Behaviour
Promoting Diversity in Recommendation by Entropy Regularizer
LangXAI: Integrating Large Vision Models for Generating Textual Explanations to Enhance Explainability in Visual Perception Tasks
Preference-based Deep Reinforcement Learning for Historical Route Estimation
Towards a Response Selection System for Spoken Requests in a Physical Domain
Fine-Grained Air Quality Inference via Multi-Channel Attention Model
A Novel Feature Matching Strategy for Large Scale Image Retrieval
Generating Explanatory Captions for Information Graphics
Adaptive Order Q-learning
Chinese Song Iambics Generation with Neural Attention-Based Model
Collaborative Multi-Level Embedding Learning from Reviews for Rating Prediction
An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand Systems
Find and Perceive: Tell Visual Change with Fine-Grained Comparison
AdaptEdit: An Adaptive Correspondence Guidance Framework for Reference-Based Video Editing
Active learning experiments for the classification of smoking tweets
Real-Time Problem-Solving with Contract Algorithms
A Swap Relaxation-Based Local Search for the Latin Square Completion Problem
How to Represent Opaque Sentences in First Order Logic
An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning
Computing Approximate Equilibria in Sequential Adversarial Games by Exploitability Descent
Transformer-based Objective-reinforced Generative Adversarial Network to Generate Desired Molecules
Parallelizing State Space Plans Online
Modeling and Reasoning about NTU Games via Answer Set Programming
Judgement, Policy, and the Harmony Machine
Layered Optical Flow Estimation Using a Deep Neural Network with a Soft Mask
Structured Inference for Recurrent Hidden Semi-markov Model
Constraints as Data: A New Perspective on Inferring Probabilities
On Young Children's Exploration, Aha! Moments and Explanations in Model Building for Self-Regulated Problem-Solving
Differentially Private Optimal Transport: Application to Domain Adaptation
A Polynomial Time Optimal Algorithm for Robot-Human Search under Uncertainty
Object-Relational Queries over CFDI nc Knowledge Bases: OBDA for the SQL-Literate
First-Order Coalition Logic
Near Real-Time Detection of Poachers from Drones in AirSim
Unified Molecule-Text Language Model with Discrete Token Representation
An Ensemble of Retrieval-Based and Generation-Based Human-Computer Conversation Systems
Generating High Resolution Climate Change Projections through Single Image Super-Resolution: An Abridged Version
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks
Rethinking Centered Kernel Alignment in Knowledge Distillation
An Heuristic Search based Approach for Moving Objects Tracking
Down the Toxicity Rabbit Hole: A Framework to Bias Audit Large Language Models with Key Emphasis on Racism, Antisemitism, and Misogyny
Cyclic Behavior of Randomly Growing Digital Structures in Finite Random Environment
Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)
Skewing: An Efficient Alternative to Lookahead for Decision Tree Induction
Inferring LISP Programs From Examples
Path Evaluation and Centralities in Weighted Graphs - An Axiomatic Approach
Distortion in Voting with Top-t Preferences
Towards Human Readability of Automated Unknottedness Proofs
On the Computation of Example-Based Abductive Explanations for Random Forests
Equilibria in Strategic Nominee Selection
SmartBERT: A Promotion of Dynamic Early Exiting Mechanism for Accelerating BERT Inference
Learning Payoff Functions in Infinite Games
Generalized Additive Bayesian Network Classifiers
Decision-Making in an Embedded Reasoning System
A Survey on Goal Recognition as Planning
Low-Bit Quantization for Attributed Network Representation Learning
Tractable Symmetry Breaking for CSPs with Interchangeable Values
Bayesian Optimization in High Dimensions via Random Embeddings
Learning 3-D Human Pose Estimation from Catadioptric Videos
Conditional Independent Test in the Presence of Measurement Error with Causal Structure Learning
Unsupervised and Few-Shot Parsing from Pretrained Language Models (Extended Abstract)
Exploiting N-Best Hypotheses to Improve an SMT Approach to Grammatical Error Correction
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?
Adaptive Residue-wise Profile Fusion for Low Homologous Protein Secondary Structure Prediction Using External Knowledge
Rational and Convergent Learning in Stochastic Games
A Characterisation of Strategy-Proofness for Grounded Argumentation Semantics
Causes and Explanations Revisited
All They Know: A Study in Multi-Agent Autoepistemic Reasoning
Approximate Policy Iteration using Large-Margin Classifiers
Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic
Memory Augmented Neural Model for Incremental Session-based Recommendation
Risk Assessment for Networked-guarantee Loans Using High-order Graph Attention Representation
SLIM: Semi-Lazy Inference Mechanism for Plan Recognition
On Attacking Out-Domain Uncertainty Estimation in Deep Neural Networks
Past IJCAI Conferences
Avoiding Undesired Future with Sequential Decisions
Lean Semantic Interpretation
Synthesis for LTL and LDL on Finite Traces
Modeling Voting for System Combination in Machine Translation
Volumetric Axial Disentanglement Enabling Advancing in Medical Image Segmentation
Proceedings of the 1st International Workshop on Real-Time compliant Multi-Agent Systems co-located with the Federated Artificial Intelligence Meeting, Stockholm, Sweden, July 15th, 2018
Online Fair Division Redux
Understanding Visual Detail Hallucinations of Large Vision-Language Models
TREE: the Heuristic Driven Join Strategy of a RETE-Like Matcher
Robust Human-Computer Interaction System Guiding a User by Providing Feedback
A Density-driven Iterative Prototype Optimization for Transductive Few-shot Learning
Towards Dynamic-Prompting Collaboration for Source-Free Domain Adaptation
When Are Description Logic Knowledge Bases Indistinguishable?
Reactive Policy Checking for Action Languages
Co-training Embeddings of Knowledge Graphs and Entity Descriptions for Cross-lingual Entity Alignment
Artificial Intelligence in Western Europe
Query Evaluation and Progression in AOL Knowledge Bases
Learning to Trade in Strategic Board Games
MLRDA: A Multi-Task Semi-Supervised Learning Framework for Drug-Drug Interaction Prediction
Curriculum Multi-Level Learning for Imbalanced Live-Stream Recommendation
Residential Electric Load Forecasting via Attentive Transfer of Graph Neural Networks
Improving Combinatorial Optimization - Extended Abstract
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies
Avoiding Pitfalls When Learning Recursive Theories
D3: Diversity, Difficulty, and Dependability-Aware Data Selection for Sample-Efficient LLM Instruction Tuning
Closing the BIG-LID: An Effective Local Intrinsic Dimensionality Defense for Nonlinear Regression Poisoning
Efficient Failure Detection on Mobile Robots Using Particle Filters with Gaussian Process Proposals
Dynamic Bayesian modeling of the cerebral activity
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?
Exemplification Modeling: Can You Give Me an Example, Please?
Progressive Open-Domain Response Generation with Multiple Controllable Attributes
Hierarchical Graph Convolutional Networks for Semi-supervised Node Classification
Identifying Causal Mechanism Shifts Under Additive Models with Arbitrary Noise
Understanding and Automating Algorithm Design
Tractable Induction and Classification in First Order Logic Via Stochastic Matching
Learning and Transferring Action Schemas
Model-Based Monitoring of Dynamic Systems
Bridging the Gap between Training and Inference for Neural Machine Translation (Extended Abstract)
Hashtag Recommendation Using Attention-Based Convolutional Neural Network
Decision-Aware Preference Modeling for Multi-Behavior Recommendation
Rule-Structured Facial Animation System
Automated Content Moderation Using Transparent Solutions and Linguistic Expertise
Learning in CubeRes Model Space for Anomaly Detection in 3D GPR Data
Online Kernel Selection via Incremental Sketched Kernel Alignment
Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides
Flexible Procurement of Services with Uncertain Durations using Redundancy
Bayesian Nonparametric Space Partitions: A Survey
Planning and Executing Office Procedures in Project ASPERA
Collaborative Topic Regression with Social Regularization for Tag Recommendation
Deriving Multi-Agent Coordination through Filtering Strategies
Lifted Probabilistic Inference by First-Order Knowledge Compilation
Plug-and-Play Unsupervised Fault Detection and Diagnosis for Complex Industrial Monitoring
Computing (1+epsilon)-Approximate Degeneracy in Sublinear Time
Two Issues for an Ambient Reminding System: Context-Awareness and User Feedback
Harmonious Hashing
A General Approach of Game Description Decomposition for General Game Playing
Towards Active Event Recognition
Default-Reasoning with Models
Subsequence-based Graph Routing Network for Capturing Multiple Risk Propagation Processes