yusuke1997/dblp-id-title huggingface dataset:
A Comprehensive Survey of Cross-Domain Policy Transfer for Embodied Agents
Amalgamating Multiple Programming Paradigms in PROLOG
Kernel Conjugate Gradient for Fast Kernel Machines
Matrix completion with Preference Ranking for Top-N Recommendation
Learning Hierarchy-Enhanced POI Category Representations Using Disentangled Mobility Sequences
An Epistemic Logic for Arbitration (Extended Abstract)
Dirichlet-based Uncertainty Quantification for Personalized Federated Learning with Improved Posterior Networks
Automating "Human-Like" Example-Use in Mathematics
AI Models as a Variety of Psychological Explanation
Dual Adversarial Networks for Zero-shot Cross-media Retrieval
Dilated Convolutional Network with Iterative Optimization for Continuous Sign Language Recognition
Domain-Specific Keyphrase Extraction
Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem
Prompt Federated Learning for Weather Forecasting: Toward Foundation Models on Meteorological Data
Inferential Region Extraction in TV-Sequences
Safe and Sample-Efficient Reinforcement Learning Algorithms for Factored Environments
Search Strategies for Optimal Multi-Way Number Partitioning
Enhancing Unsupervised Domain Adaptation via Semantic Similarity Constraint for Medical Image Segmentation
A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint
Robust Ontology Acquisition from Machine-Readable Dictionaries
MolHFCNet: Enhancing Molecular Graph Representations with Hierarchical Feature Combining and Hybrid Pretraining
Relational Learning via Propositional Algorithms: An Information Extraction Case Study
A Note on Representing Adjectives and Adverbs
Conceptual Lattice: A Unified Model for Medical Inference Processes
Ensemble Reinforcement Learning in Continuous Spaces - A Hierarchical Multi-Step Approach for Policy Training
AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament
Singularformer: Learning to Decompose Self-Attention to Linearize the Complexity of Transformer
Compiling Bayesian Networks with Local Structure
Baseline Regularization for Computational Drug Repositioning with Longitudinal Observational Data
ISLF: Interest Shift and Latent Factors Combination Model for Session-based Recommendation
A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks
Leveraging Qualitative Reasoning to Improve SFL
Data Complexity in Expressive Description Logics with Path Expressions
Recent Developments in Boolean Matrix Factorization
Transformational Form Perception in 3D: Constraints, Algorithms, Implementation
Graph Grammar Approach to Natural Language Parsing and Understanding
Minimally Complete Recommendations
Discrepancy-Guided Reconstruction Learning for Image Forgery Detection
Projected Gradient Descent Algorithms for Solving Nonlinear Inverse Problems with Generative Priors
CDC: Classification Driven Compression for Bandwidth Efficient Edge-Cloud Collaborative Deep Learning
ME-MCTS: Online Generalization by Combining Multiple Value Estimators
High Performance ATP Systems by Combining Several AI Methods
Exploratory Digraph Navigation Using A
An Empirical Game-Theoretic Analysis of Price Discovery in Prediction Markets
Decision Analysis For An Experimental Robot With Unreliable Sensors
Learning to Infer Final Plans in Human Team Planning
User Retention: A Causal Approach with Triple Task Modeling
On Teaching Collaboration to a Team of Autonomous Agents via Imitation
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
Heuristic Selection of Actions in Multiagent Reinforcement Learning
Unsupervised Storyline Extraction from News Articles
SafeNet: Scale-normalization and Anchor-based Feature Extraction Network for Person Re-identification
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems
A Novel Strategy for Active Task Assignment in Crowd Labeling
Learning Graph-based Residual Aggregation Network for Group Activity Recognition
Verbal Case Frame Acquisition from Bilingual Corpora
Incremental Few-Shot Learning for Pedestrian Attribute Recognition
The Use of Vision and Manipulation to Solve the "Instant Insanity" Puzzle
On Definite Iterated Belief Revision with Belief Algebras
With a Little Help from Language: Semantic Enhanced Visual Prototype Framework for Few-Shot Learning
Keep It Real: a Window to Real Reality in Virtual Reality
A Deductive Question Answering System on Relational Data Bases
Microphonemes As Fundamental Segments Of Speech Wave Primary Segmentation - Automatic Searching For Microphonemes
Active Learning for Class Probability Estimation and Ranking
Look versus Leap: Computing Value of Information with High-Dimensional Streaming Evidence
Efficient Methods for Multi-Objective Decision-Theoretic Planning
The Canonical Decomposition of a Weighted Belief
CorrDetail: Visual Detail Enhanced Self-Correction for Face Forgery Detection
Integrating Background Knowledge Into Text Classification
In Data We Trust: The Logic of Trust-Based Beliefs
Multi-Domain Sentiment Classification Based on Domain-Aware Embedding and Attention
Branch-and-Bound and Beyond
Varieties of User Misconceptions: Detection and Correction
INT: Instance-Specific Negative Mining for Task-Generic Promptable Segmentation
RLOP: A Framework for Reinforcement Learning, Optimization and Planning Algorithms
Hierarchical Temporal Multi-Instance Learning for Video-based Student Learning Engagement Assessment
A framework for encoding the multi-location load state of a business process
Propose-and-Refine: A Two-Stage Set Prediction Network for Nested Named Entity Recognition
Semantic Precision and Recall for Ontology Alignment Evaluation
Contour-based Interactive Segmentation
Action Representation and Purpose: Re-evaluating the Foundations of Computational Vision
SiamBOMB: A Real-time AI-based System for Home-cage Animal Tracking, Segmentation and Behavioral Analysis
Show, Observe and Tell: Attribute-driven Attention Model for Image Captioning
Grounding Creativity in Physics: A Brief Survey of Physical Priors in AIGC
Limited Discrepancy Search
Semi-Supervised Multi-Modal Learning with Incomplete Modalities
When is Temporal Planning Really Temporal?
Collaborative Rating Allocation
SynthRL: Cross-domain Synthesizer Sound Matching via Reinforcement Learning
On the Tree Representations of Dichotomous Preferences
Adaptive Pattern Recognition
A Wearable Device for Online and Long-Term ECG Monitoring
Workshop on Artificial Intelligence in Affective Computing, AffComp@IJCAI 2018, Stockholm, Sweden, 15 July 2018,
Outer Product-based Neural Collaborative Filtering
A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling
Diagnosing Software Faults Using Multiverse Analysis
R2DQG: A Quality Meets Diversity Framework for Question Generation over Knowledge Bases
Efficient Temporal Reasoning through Timegraphs
More is Better: Deep Domain Adaptation with Multiple Sources
A De Novo Divide-and-Merge Paradigm for Acoustic Model Optimization in Automatic Speech Recognition
Unsupervised Discretization Using Kernel Density Estimation
Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing
Compatible-Based Conditioning in Interval-Based Possibilistic Logic
Plurality Veto: A Simple Voting Rule Achieving Optimal Metric Distortion
Re-creation of Creations: A New Paradigm for Lyric-to-Melody Generation
A Deep Neural Network for Chinese Zero Pronoun Resolution
Teaching AI Agents Ethical Values Using Reinforcement Learning and Policy Orchestration
Mixing technologies for Intelligent Information Extraction
From Individual to Universal: Regularized Multi-view Joint Representation for Multi-view Subspace-Preserving Recovery
Pretrained Language Model for Text Generation: A Survey
AK4Prompts: Aesthetics-driven Automatically Keywords-Ranking for Prompts in Text-To-Image Models
Optimal Decision Tree Policies for Markov Decision Processes
Kinetic Imaginations: Exploring the Possibilities of Combining AI and Dance
NeurASP: Embracing Neural Networks into Answer Set Programming
DFRP: A Dual-Track Feedback Recommendation System for Educational Resources
R-SVM+: Robust Learning with Privileged Information
Learning to Hash Naturally Sorts
Assessing and Enforcing Fairness in the AI Lifecycle
Probabilistic Goal Markov Decision Processes
Dual Encoder Contrastive Learning with Augmented Views for Graph Anomaly Detection
Associative Commutative Pattern Matching
Decentralized No-regret Learning Algorithms for Extensive-form Correlated Equilibria (Extended Abstract)
Co-Certificate Learning with SAT Modulo Symmetries
A*+IDA*: A Simple Hybrid Search Algorithm
Complexity of Unweighted Coalitional Manipulation under Some Common Voting Rules
Leveraging Personalized PageRank and Higher-Order Topological Structures for Heterophily Mitigation in Graph Neural Networks
Symbolic Model Checking for One-Resource RB+-ATL
Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU
Correlated Voting
Cold-Start Aware Deep Memory Network for Multi-Entity Aspect-Based Sentiment Analysis
Proceedings of AI4Narratives - Workshop on Artificial Intelligence for Narratives in conjunction with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020), Yokohama, Japan, January 7th and 8th, 2021 (online event due to Covid-19 outbreak)
AADMIP: Adversarial Attacks and Defenses Modeling in Industrial Processes
Adversarial AI
Stability and Generalization of lp-Regularized Stochastic Learning for GCN
Synthesizing Aspect-Driven Recommendation Explanations from Reviews
Rethinking Label-Wise Cross-Modal Retrieval from A Semantic Sharing Perspective
Stakeholder-oriented Decision Support for Auction-based Federated Learning
Robust Steganography without Embedding Based on Secure Container Synthesis and Iterative Message Recovery
Multiband VAE: Latent Space Alignment for Knowledge Consolidation in Continual Learning
Recovering Accurate Labeling Information from Partially Valid Data for Effective Multi-Label Learning
Learning with Sparse and Biased Feedback for Personal Search
A Novel Local Search Algorithm for the Vertex Bisection Minimization Problem
Fairwalk: Towards Fair Graph Embedding
Estimation of the Attractiveness of Food Photography Focusing on Main Ingredients
Variable Elimination in Binary CSP via Forbidden Patterns
Unlearning during Learning: An Efficient Federated Machine Unlearning Method
Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization
Inferring Long-term User Properties Based on Users' Location History
Efficiently Solving Joint Activity Based Security Games
A Reliability-aware Distributed Framework to Schedule Residential Charging of Electric Vehicles
Mining for Analogous Tuples from an Entity-Relation Graph
A Little of That Human Touch: Achieving Human-Centric Explainable AI via Argumentation
Poisoning Deep Learning Based Recommender Model in Federated Learning Scenarios
Reasoning with Concrete Domains
Feature Norm Regularized Federated Learning: Utilizing Data Disparities for Model Performance Gains
Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost
Spatial-temporal Transformer Network with Self-supervised Learning for Traffic Flow Prediction
Semi-Supervised Multi-Label Learning with Incomplete Labels
Deliberation Learning for Image-to-Image Translation
Regret Minimization in Multiplayer Extensive Games
Weakly Supervised Multi-Label Learning via Label Enhancement
On the Problems of Time, Retrieval of Temporal Relations, Causality, and Co-Existence
Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling Approach
RePaint-NeRF: NeRF Editting via Semantic Masks and Diffusion Models
Logic-Based Subsumption Architecture
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Towards Minimal Data Structures for Deterministic Parsing
Bottom-up and Top-down: Bidirectional Additive Net for Edge Detection
Fast One-Stage Unsupervised Domain Adaptive Person Search
DPLL with a Trace: From SAT to Knowledge Compilation
ASP Chef Chats with Large Language Models
Discovering Interesting Holes in Data
Deductive Module Extraction for Expressive Description Logics
Debugging Functional Programs
An Analysis of Generalization as a Search Problem
CompetEvo: Towards Morphological Evolution from Competition
Iterative Metric Learning for Imbalance Data Classification
VAMBAM: View and Motion-based Aspect Models for Distributed Omnidirectional Vision Systems
Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms - AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers
Modular self-organization for a long-living autonomous agent
Learning with Selective Forgetting
Improved Approximation Ratio for Strategyproof Facility Location on a Cycle
Inferring Private Valuations from Behavioral Data in Bilateral Sequential Bargaining
Privacy Preserving Plans in Partially Observable Environments
Variational Multi-Modal Hypergraph Attention Network for Multi-Modal Relation Extraction
Picnics, Kittens And Wigs: Using Scenarios For The Sentence Competition Task
Learning Implicit Temporal Alignment for Few-shot Video Classification
DeepRec: An Open-source Toolkit for Deep Learning based Recommendation
A Unified Meta-Learning Framework for Dynamic Transfer Learning
Swell-and-Shrink: Decomposing Image Captioning by Transformation and Summarization
Improved Algorithm on Online Clustering of Bandits
Network Representation Learning with Rich Text Information
An Algorithm for Optimal Winner Determination in Combinatorial Auctions
Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object AI Environment
Generalizing Problem Reduction: A Logical Analysis
Learning Object Consistency and Interaction in Image Generation from Scene Graphs
Exploring the Frontiers of Animation Video Generation in the Sora Era: Method, Dataset and Benchmark
A Web-based Intelligent System for the Daya Bay Contingency Plan in Hong Kong
Changing One's Mind: Erase or Rewind?
Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference
Computational Neurolinguistics - What Is It All About?
Nonparametric Detection of Gerrymandering in Multiparty Plurality Elections
Color Learning on a Mobile Robot: Towards Full Autonomy under Changing Illumination
A Model of Analogy-Driven Proof-Plan Construction
Deploying Mobility-On-Demand for All by Optimizing Paratransit Services
A Potts Spin MFT Network Solving Multiple Causal Interactions
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
From Early Processing to Conceptual Reasoning: An Attempt to Fill the Gap
Recalling The Forgotten Class Memberships: Unlearned Models Can Be Noisy Labelers to Leak Privacy
Toeplitz Inverse Covariance-based Clustering of Multivariate Time Series Data
A De Novo Robust Clustering Approach for Amplicon-Based Sequence Data
Frames-based Text Processing
A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor
TrajCogn: Leveraging LLMs for Cognizing Movement Patterns and Travel Purposes from Trajectories
Decision Tree Grafting
On the Complexity of Winner Verification and Candidate Winner for Multiwinner Voting Rules
Interpretable Models for Understanding Immersive Simulations
Relatedness-based Multi-Entity Summarization
The Complexity of Perceptual Search Tasks
Learning Multi-Granularity and Adaptive Representation for Knowledge Graph Reasoning
Reasoning About Images: Application to Aerial Image Understanding
ME-MD: An Effective Framework for Neural Machine Translation with Multiple Encoders and Decoders
A Mechanization of Type Theory
Synchronisation Games on Hypergraphs
Case Base Mining for Adaptation Knowledge Acquisition
Lazy Classication with Interval Pattern Structures: Application to Credit Scoring
Interactive Vocabulary Acquisition in XTRA
State Revisit and Re-explore: Bridging Sim-to-Real Gaps in Offline-and-Online Reinforcement Learning with An Imperfect Simulator
Incentivizing Recourse through Auditing in Strategic Classification
Ties in Multiwinner Approval Voting
IJCAI-09 Awards and Distinguished Papers
Stochastic Batch Augmentation with An Effective Distilled Dynamic Soft Label Regularizer
Masked Contrastive Learning for Anomaly Detection
On Syntax-Directed, Semantics-Supported Program Synthesis
Mahjong AI Competition: Exploring AI Application in Complex Real-World Games
Information Processing Using a Model of Associative Memory
New Sequence-Independent Lifting Techniques for Cover Inequalities and When They Induce Facets
An Endorsement-based Approach to Student Modeling for Planner-controlled Tutors
Tolerance is Necessary for Stability: Single-Peaked Swap Schelling Games
Effective Control Knowledge Transfer through Learning Skill and Representation Hierarchies
DDoS Event Forecasting using Twitter Data
Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving
Learning Environmental Parameters for the Design of Optimal English Auctions with Discrete Bid Levels
DeepFaceLIFT: Interpretable Personalized Models for Automatic Estimation of Self-Reported Pain
Strategyproof Randomized Social Choice for Restricted Sets of Utility Functions
Situated Verbal Interaction in Virtual Design and Assembly
Asymptotically Tight Bounds for Inefficiency in Risk-Averse Selfish Routing
Dynamic Semantics for Tense and Aspect
Monte Carlo Theory as an Explanation of Bagging and Boosting
Improving Generalization in Meta-Learning via Meta-Gradient Augmentation
Direct Memory Access Translation
Symbols Among the Neurons: Details of a Connectionist Inference Architecture
Learn to Think: Bootstrapping LLM Logic Through Graph Representation Learning
SGAT: Simplicial Graph Attention Network
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems
Hierarchical Bilevel Learning with Architecture and Loss Search for Hadamard-based Image Restoration
A Bias-Free Revenue-Maximizing Bidding Strategy for Data Consumers in Auction-based Federated Learning
Projective Low-rank Subspace Clustering via Learning Deep Encoder
MOBA-Slice: A Time Slice Based Evaluation Framework of Relative Advantage Between Teams in MOBA Games
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
Musical Composition Style Transfer via Disentangled Timbre Representations
Query Answering with Transitive and Linear-Ordered Data
Automated Verification: Graphs, Logic, and Automata
ALaSca: an Automated approach for Large-Scale Lexical Substitution
Witnesses for Answer Sets of Basic Logic Programs
VOX - An Extensible Natural Language Processor
Object Detection and Measurement Using Stereo Vision
Scalable Dynamic Nonparametric Bayesian Models of Content and Users
Reduction in Triadic Data Sets
1DFormer: A Transformer Architecture Learning 1D Landmark Representations for Facial Landmark Tracking
Learning "Forgiving" Hash Functions: Algorithms and Large Scale Tests
Semi-Supervised Learning with Explicit Misclassification Modeling
Group-based Learning of Disentangled Representations with Generalizability for Novel Contents
ADVISER: AI-Driven Vaccination Intervention Optimiser for Increasing Vaccine Uptake in Nigeria
Learning to Explain Ambiguous Headlines of Online News
Experiences in Evaluation with BKG - A Program that Plays Backgammon
ToDo: Token Downsampling for Efficient Generation of High-Resolution Images
Towards Ontology Composition from Cognitive Libraries
Expressiveness is Effectiveness: Self-supervised Fashion-aware CLIP for Video-to-Shop Retrieval
Generalizing ADOPT and BnB-ADOPT
Clustering-Induced Adaptive Structure Enhancing Network for Incomplete Multi-View Data
Fast Approximate Nearest-Neighbor Search with k-Nearest Neighbor Graph
Teacher-Student Networks with Multiple Decoders for Solving Math Word Problem
Trees of Shortest Paths vs. Steiner Trees: Understanding and Improving Delete Relaxation Heuristics
Computational Strategies for the Trustworthy Pursuit and the Safe Modeling of Probabilistic Maintenance Commitments
Autonomous Object Manipulation: A Semantic-Driven Approach
Minimizing a Makespan Under Uncertainty
Generating Context-Free Grammars using Classical Planning
The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding
Blocking-based Neighbor Sampling for Large-scale Graph Neural Networks
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning
Navigating Continual Test-time Adaptation with Symbiosis Knowledge
Biased Feature Learning for Occlusion Invariant Face Recognition
Glass-Box: Explaining AI Decisions With Counterfactual Statements Through Conversation With a Voice-enabled Virtual Assistant
Correlation-Guided Representation for Multi-Label Text Classification
Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping
InterSpot: Interactive Spammer Detection in Social Media
Implicitly Aligning Humans and Autonomous Agents through Shared Task Abstractions
Composition-aware Graphic Layout GAN for Visual-Textual Presentation Designs
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract)
DatalogMTL: Computational Complexity and Expressive Power
A Consensual Linear Opinion Pool
Towards Generalizable Neural Simulators: Addressing Distribution Shifts Induced by Environmental and Temporal Variations
Maximum Margin Coresets for Active and Noise Tolerant Learning
Deep Learning Architectures for Vector Representations of Patients and Exploring Predictors of 30-Day Hospital Readmissions in Patients with Multiple Chronic Conditions
Circumscribing Defaults
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)
KEST: Kernel Distance Based Efficient Self-Training for Improving Controllable Text Generation
Rolling Dispersion and Exploration for Robot Teams
CostFormer: Cost Transformer for Cost Aggregation in Multi-view Stereo
The Complexity Landscape of Resource-Constrained Scheduling
A Complete Epistemic Planner without the Epistemic Closed World Assumption
A Generalization of SAT and #SAT for Robust Policy Evaluation
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes
Causal Theories of Action: A Computational Core
Large Scale Sparse Clustering
Model-Free Preference Elicitation
An Interactive Visual Language for Term Subsumption Languages
Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization (Extended Abstract)
Investigating the Emergence of Speech Sounds
Self-Supervised Deep Low-Rank Assignment Model for Prototype Selection
Population Location and Movement Estimation through Cross-domain Data Analysis
Improved Classification for a Data Fusing Kohonen Self Organizing Map Using A Dynamic Thresholding Technique
Facial Expression and Peripheral Physiology Fusion to Decode Individualized Affective Experience
LEAP: Optimization Hierarchical Federated Learning on Non-IID Data with Coalition Formation Game
BERT-INT: A BERT-based Interaction Model For Knowledge Graph Alignment
Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic
Dual Video Summarization: From Frames to Captions
Source Code Informal Information Analysis Using Connectionist Models
IRC-GAN: Introspective Recurrent Convolutional GAN for Text-to-video Generation
Subset Selection of Search Heuristics
Complexity Results about Nash Equilibria
Augmented Experiment: Participatory Design with Multiagent Simulation
Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition
Generating Causal Explanation from a Cardio-Vascular Simulation
Kernels for Global Constraints
ROCES: Robust Class Expression Synthesis in Description Logics via Iterative Sampling
Double-Check Soft Teacher for Semi-Supervised Object Detection
Visual Understanding Of Hybrid Circuits Via Procedural Models
Generate, Test and Debug: Combining Associational Rules and Causal Models
A Survey on Model Repair in AI Planning
The Rationality and Decidability of Fuzzy Implications