yusuke1997/dblp-id-title huggingface dataset:
Fair Division: The Computer Scientist's Perspective
General Optimization Framework for Recurrent Reachability Objectives
Multi-Graph-View Learning for Complicated Object Classification
AI-powered Posture Training: Application of Machine Learning in Sitting Posture Recognition Using the LifeChair Smart Cushion
Quality-agnostic Image Captioning to Safely Assist People with Vision Impairment
PredCNN: Predictive Learning with Cascade Convolutions
Template Driven Information Extraction for Populating Ontologies
Committee Scoring Rules: A Call to Arms
A Deep Learning Algorithm for Personalized Blood Glucose Prediction
Reasoning about Categories in Conceptual Spaces
Cho-k-NN: A Method for Combining Interacting Pieces of Evidence in Case-Based Learning
Acquisition of Qualitative Spatial Representation by Visual Observation
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)
No Learner Left Behind: On the Complexity of Teaching Multiple Learners Simultaneously
Explaining Multi-Criteria Decision Aiding Models with an Extended Shapley Value
How Situated is Cognition?
A Game for Eliciting Trust Between People and Devices Under Diverse Performance Conditions
Instance-Aware Coherent Video Style Transfer for Chinese Ink Wash Painting
Hierarchical Representation Learning for Bipartite Graphs
Describing Additive Fluents in Action Language C+
An Anomaly Detection and Explainability Framework using Convolutional Autoencoders for Data Storage Systems
Democracy Models and Civic Technologies: Tensions, Trilemmas, and Trade-offs
Tsururu: A Python-based Time Series Forecasting Strategies Library
Semantic-Space-Intervened Diffusive Alignment for Visual Classification
MusicMagus: Zero-Shot Text-to-Music Editing via Diffusion Models
Describing Time-Varying Data
NegativePrompt: Leveraging Psychology for Large Language Models Enhancement via Negative Emotional Stimuli
Cognitive Economy in Artificial Intelligence Systems
The Use of Meta-level Information in Learning Situation-Specific Coordination
CycSeq: Leveraging Cyclic Data Generation for Accurate Perturbation Prediction in Single-Cell RNA-Seq
On the Enumeration of Association Rules: A Decomposition-based Approach
Extremal Separation Problems for Temporal Instance Queries
A Framework for Reasoning about Dynamic Axioms in Description Logics
Online Housing Market
TensorCast: Forecasting Time-Evolving Networks with Contextual Information
Causal Discovery from Nonstationary/Heterogeneous Data: Skeleton Estimation and Orientation Determination
SE(3)-Equivariant Diffusion Models for 3D Object Analysis
A Survey on Proactive Dialogue Systems: Problems, Methods, and Prospects
Stochastic Analysis of Qualitative Dynamics
Measuring Semantic Similarity by Latent Relational Analysis
Storing and Generalizing Multiple Instances While Maintaining Knowledge-Level Parallelism
On Interacting Defaults
Inhibition of Occluded Facial Regions for Distance-Based Face Recognition
FlowSynth: Simplifying Complex Audio Generation Through Explorable Latent Spaces with Normalizing Flows
Efficient Event Stream Super-Resolution with Recursive Multi-Branch Fusion
Automatic Discovery of Heuristics for Nondeterministic Programs
Temporal Reasoning Involving Counterfactuals and Disjunctions
Best-Case and Worst-Case Behavior of Greedy Best-First Search
Algebraic Markov Decision Processes
scSiameseClu: A Siamese Clustering Framework for Interpreting Single-cell RNA Sequencing Data
Sufficiency-Based Selection Strategy for MCTS
Optimizing Recursive Information-Gathering Plans
Progressive Domain-Independent Feature Decomposition Network for Zero-Shot Sketch-Based Image Retrieval
Closed-Loop Memory GAN for Continual Learning
Heterophily-Aware Personalized PageRank for Node Classification
Cross-Domain 3D Model Retrieval via Visual Domain Adaption
Praiseworthy Acts Recognition Using Web-based Knowledge and Semantic Categories
Experiments with a Search Algorithm for the Data Base of a Human Belief System
Fuzzy Logic and AI
Maximum Satisfiability Using Cores and Correction Sets
Progressive Transfer Learning for Person Re-identification
Towards Trust, Transparency and Liability in AI / AS systems
The Markov Assumption: Formalization and Impact
Attention-based Multi-level Feature Fusion for Named Entity Recognition
TSESNet: Temporal-Spatial Enhanced Breast Tumor Segmentation in DCE-MRI Using Feature Perception and Separability
EPDL: A Logic for Causal Reasoning
Action Recognition with Multi-stream Motion Modeling and Mutual Information Maximization
Modeling When Connections Are the Problem
Local Learning in Probabilistic Networks with Hidden Variables
Metaphor Interpretation as Selective Inferencing
ODISET: On-line Distributed Session Tracing using Agents
Soft Reasoning Paths for Knowledge Graph Completion
Improving Classification Accuracy of Feedforward Neural Networks for Spiking Neuromorphic Chips
A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection
Automatic Synthesis of New Behaviors from a Library of Available Behaviors
Better Collective Decisions via Uncertainty Reduction
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
Code Completion with Neural Attention and Pointer Networks
Limbo: A Reasoning System for Limited Belief
A Convolutional Approach for Misinformation Identification
Computing a Map from Michi-Annai-Bun or Written Descriptions
Collaborative Place Models
Using Constraint Programming and Graph Representation Learning for Generating Interpretable Cloud Security Policies
Hamming Compatible Quantization for Hashing
Experience Replay Optimization
Possibilistic Stable Models
Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions
Adaptive Support Vector Machine for Time-Varying Data Streams Using Martingale
Rapid Computation of Fourier Texture Descriptors
Structured Probabilistic End-to-End Learning from Crowds
SPGNet: A Shape-prior Guided Network for Medical Image Segmentation
Discovering Deformable Motifs in Continuous Time Series Data
Drug Overdose Vital-Signs Evaluator Using Machine Learning
Scalable Anytime Planning for Multi-Agent MDPs (Extended Abstract)
Understanding the Relationship between Interactions and Outcomes in Human-in-the-Loop Machine Learning
Proceedings of the Workshop on Advances in Bioinformatics and Artificial Intelligence: Bridging the Gap co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017
Participatory Budgeting with Project Groups
Prolog in Ten Figures
CATrans: Context and Affinity Transformer for Few-Shot Segmentation
Label Embedding Based on Multi-Scale Locality Preservation
NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning
K∗ Search over Orbit Space for Top-k Planning
Incomplete Multi-view Clustering via Prototype-based Imputation
Belief Revision, Revised
MetaISP: Efficient RAW-to-sRGB Mappings with Merely 1M Parameters
Tree-State Based Rule Selection Models for Hierarchical Phrase-Based Machine Translation
Learning Temporal Plan Preferences from Examples: An Empirical Study
PARecommender: A Pattern-Based System for Route Recommendation
A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems
Disentangling Societal Inequality from Model Biases: Gender Inequality in Divorce Court Proceedings
Gated POS-Level Language Model for Authorship Verification
Beyond Network Pruning: a Joint Search-and-Training Approach
Extending Decidable Cases for Rules with Existential Variables
Understanding How Feature Structure Transfers in Transfer Learning
A Hybrid Approach for the 01 Multidimensional Knapsack problem
TESTN: A Triad-Enhanced Spatio-Temporal Network for Multi-Temporal POI Relationship Inference
Deeper Connections between Neural Networks and Gaussian Processes Speed-up Active Learning
An Efficient Prototype-Based Clustering Approach for Edge Pruning in Graph Neural Networks to Battle Over-Smoothing
On the Comparison of Theories: Preferring the Most Specific Explanation
Controlling Fairness and Bias in Dynamic Learning-to-Rank (Extended Abstract)
Representing Concurrent Actions in Extended Logic Programming
Constrained Adaptive Projection with Pretrained Features for Anomaly Detection
Modeling Lexical Cohesion for Document-Level Machine Translation
Diverse Neuron Type Selection for Convolutional Neural Networks
A Logic for Causal Inference in Time Series with Discrete and Continuous Variables
Layered Networks as a Tool for Software Development
Shifting the Focus of Attention: The Way Agatha Christie Leads You On
On Mining Closed Sets in Multi-Relational Data
Hindsight Trust Region Policy Optimization
Development of Iterative Real-time Scheduler to Planner Feedback
Toward Policy Explanations for Multi-Agent Reinforcement Learning
An Approximation Algorithm for the Subpath Planning Problem
Computing Upper Bounds on Lengths of Transition Sequences
The Conceptual Calculus For Automatic Program Understanding
Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification (Extended Abstract)
Confidence Based Dual Reinforcement Q-Routing: An adaptive online network routing algorithm
Sequential Plan Recognition
Querying Data Graphs with Arithmetical Regular Expressions
Representation Learning with Weighted Inner Product for Universal Approximation of General Similarities
Application of Neurosymbolic AI to Sequential Decision Making
Self-Guided Hard Negative Generation for Unsupervised Person Re-Identification
Dual-level Fuzzy Learning with Patch Guidance for Image Ordinal Regression
A Unified View of Consequence Relation, Belief Revision and Conditional Logic
PyDL8.5: a Library for Learning Optimal Decision Trees
Indirect Alignment and Relationship Preservation for Domain Generalization
Details (Don't) Matter: Isolating Cluster Information in Deep Embedded Spaces
Multi-Armed Bandits for Adaptive Constraint Propagation
Word Clouds with Latent Variable Analysis for Visual Comparison of Documents
FedDLAD: A Federated Learning Dual-Layer Anomaly Detection Framework for Enhancing Resilience Against Backdoor Attacks
Incrementally Grounding Expressions for Spatial Relations between Objects
Spatiality-guided Transformer for 3D Dense Captioning on Point Clouds
Towards the Design of Robust Trust and Reputation Systems
Categorizing classes of signals by means of fuzzy gradual rules
Continuous Time Associative Bandit Problems
Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems
Analogical Learning in a Turn-Based Strategy Game
Multi-Level Metric Learning via Smoothed Wasserstein Distance
Proving Theorems in a Multi-Source Environment
Matrix Factorization with Scale-Invariant Parameters
Spatial-Temporal Self-Attention for Asynchronous Spiking Neural Networks
Distributed Data Mining: Why Do More Than Aggregating Models
Cognitively Inspired Learning of Incremental Drifting Concepts
Formalizing Group and Propagated Trust in Multi-Agent Systems
Online Learning from Capricious Data Streams: A Generative Approach
Perturb, Predict & Paraphrase: Semi-Supervised Learning using Noisy Student for Image Captioning
Synthesizing strategies under expected and exceptional environment behaviors
Qualitative and Quantitative Representations of Locomotion and their Application in Robot Navigation
The DIPMETER ADVISOR: Interpretation of Geologic Signals
Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae
Translating Images into Maps (Extended Abstract)
SPMC: Socially-Aware Personalized Markov Chains for Sparse Sequential Recommendation
Joint-MAE: 2D-3D Joint Masked Autoencoders for 3D Point Cloud Pre-training
Short Time Periods
Incremental Heuristic Search for Planning with Temporally Extended Goals and Uncontrollable Events
Mask and Infill: Applying Masked Language Model for Sentiment Transfer
Dialogue State Induction Using Neural Latent Variable Models
Pedestrian Attribute Recognition by Joint Visual-semantic Reasoning and Knowledge Distillation
Optimal Bayesian Hashing for Efficient Face Recognition
Parallel Processing of Resolution
A New Mehtod for Proving Certain Presburger Formules
Reallocating Multiple Facilities on the Line
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)
Image Gradient-based Joint Direct Visual Odometry for Stereo Camera
TreeNet: Learning Sentence Representations with Unconstrained Tree Structure
A Framework for Anomaly Reasoning: Interpretation through Concept Formation for Knowledge Transfer and Lifelong Learning
On Recommending Urban Hotspots to Find Our Next Passenger
Hidden Uncertainty in the Logical Representation of Desires
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract)
Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule
Knowledge Enhanced Event Causality Identification with Mention Masking Generalizations
UM4: Unified Multilingual Multiple Teacher-Student Model for Zero-Resource Neural Machine Translation
Detection and Geographic Localization of Natural Objects in the Wild: A Case Study on Palms
Model-Based Probabilistic Reasoning for Electronics Troubleshooting
Action2Activity: Recognizing Complex Activities from Sensor Data
MAM-RNN: Multi-level Attention Model Based RNN for Video Captioning
Complexity of Determining Nonemptiness of the Core
A Survey on Word Meta-Embedding Learning
From Pixels to Metal: AI-Empowered Numismatic Art
An Analytic Learning System for Specializing Heuristics
Expected Solution Quality
OPS, A Domain-Independent Production System Language
Object Detection in Densely Packed Scenes via Semi-Supervised Learning with Dual Consistency
Multi-Vector Embedding on Networks with Taxonomies
Deep Reinforcement Learning for Multi-contact Motion Planning of Hexapod Robots
Multi-Robot Planning Under Uncertain Travel Times and Safety Constraints
Generating Reward Functions Using IRL Towards Individualized Cancer Screening
Verifying Reinforcement Learning up to Infinity
Inter-diagrammatic Reasoning
WALTZ: A Strong Tzaar-Playing Program
Exploring Periodicity and Interactivity in Multi-Interest Framework for Sequential Recommendation
Generating Tailored Examples to Support Learning via Self-explanation
Encoding and Combining Knowledge to Speed up Reinforcement Learning
RobustHAR: Multi-scale Spatial-temporal Masked Self-supervised Pre-training for Robust Human Activity Recognition
3D-PhysNet: Learning the Intuitive Physics of Non-Rigid Object Deformations
Measuring the Discrepancy between Conditional Distributions: Methods, Properties and Applications
Efficient Bayesian Task-Level Transfer Learning
A Procedural Logic
Pinpointing Influence in Pinterest
Reasoning about Normative Update
Function Approximation for Reinforcement Learning Controller for Energy from Spread Waves
BN-invariant Sharpness Regularizes the Training Model to Better Generalization
Weak Conditional Logics of Normality
P-KDGAN: Progressive Knowledge Distillation with GANs for One-class Novelty Detection
Domain Specific Debugging Aids for Novice Programmers
Dual Semantic Fusion Hashing for Multi-Label Cross-Modal Retrieval
NeuroHex: A Deep Q-learning Hex Agent
Zero-Shot Chinese Character Recognition with Stroke-Level Decomposition
Probabilistic Masked Attention Networks for Explainable Sequential Recommendation
Strategyproof Mechanism for Two Heterogeneous Facilities with Constant Approximation Ratio
Towards Micro-Action Recognition with Limited Annotations: An Asynchronous Pseudo Labeling and Training Approach
Explanations for Query Answers under Existential Rules
CooBa: Cross-project Bug Localization via Adversarial Transfer Learning
Criteria for Human-Compatible AI in Two-Player Vision-Language Tasks
A Hierarchical Approach to Theorem-Proving
Beyond the Limits: A Survey of Techniques to Extend the Context Length in Large Language Models
Asset Pricing with Contrastive Adversarial Variational Bayes
Experiments In Knowledge-Driven Interpretation of Natural Scenes
Efficient Paraconsistent Reasoning with Ontologies and Rules
Attention-guided Contrastive Hashing for Long-tailed Image Retrieval
Joint Training for Pivot-based Neural Machine Translation
Regularisation for Efficient Softmax Parameter Generation in Low-Resource Text Classifiers
Defeasible Specifications in Action Theories
On the Road to Automatic Knowledge Engineering
picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices
Relation Clustering in Narrative Knowledge Graphs
Online Agent Supervision in the Situation Calculus
A Preliminary Approach for Modeling the Energy Efficiency for K-Means Clustering Applications in Data Centers
Can Retelling Have Adequate Information for Reasoning? An Enhancement Method for Imperfect Video Understanding with Large Language Model
SemiGNN-PPI: Self-Ensembling Multi-Graph Neural Network for Efficient and Generalizable Protein-Protein Interaction Prediction
Joint and Coupled Bilingual Topic Model Based Sentence Representations for Language Model Adaptation
Using Gaussian Spatial Processes to Model and Predict Interests in Museum Exhibits
Symbolic Merge-and-Shrink for Cost-Optimal Planning
Watching a Small Portion could be as Good as Watching All: Towards Efficient Video Classification
Syntax, Preference, and Right Attachment
Semantic Classification of Utterances in a Language-Driven Game
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs
Compact Rewritings for Existential Rules
Towards Robust Gan-Generated Image Detection: A Multi-View Completion Representation
Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
Automatic State Abstraction from Demonstration
Learning Explanatory Rules from Noisy Data (Extended Abstract)
Fair Division of a Graph
Intelligent Techniques for the Extraction and Integration of Heterogeneous Information
Applying Local Search to Disjunctive Temporal Problems
Furthering an Agent-Based Modeling Approach Introducing Affective States Based on Real Data
Biclustering Based on FCA and Partition Pattern Structures for Recommendation Systems
Decision Platform for Pattern Discovery and Causal Effect Estimation in Contraceptive Discontinuation
Local Search: Is Brute-Force Avoidable?
Semantic Locality-Aware Deformable Network for Clothing Segmentation
Solving Probability Problems in Natural Language
Training without data: Knowledge Insertion into RBF Neural Networks
Augmenting Knowledge Graphs for Better Link Prediction
A Decision-Theoretic Approach to Coordinating Multi-agent Interactions
Local and Global Explanations of Agent Behavior: Integrating Strategy Summaries with Saliency Maps (Extended Abstract)
Towards a Practical Tool for Music Composition: Using Constraint Programming to Model Chord Progressions and Modulations
A Heuristic Approach to Program Inversion
Research Excellence Award: Relationship Between Natural Language Processing and AI
Fundamentals of Model-Based Diagnosis of Dynamic Systems
Multi-view Self-Paced Learning for Clustering
Multichannel Color Image Denoising via Weighted Schatten p-norm Minimization
Reliable and Calibrated Semantic Occupancy Prediction by Hybrid Uncertainty Learning
Learning to Self-Manage by Intelligent Monitoring, Prediction and Intervention
Conceptual Grouping in Word Co-Occurrence Networks
Using Kernel Consolidation for Query Answering in Inconsistent OBDA
Integrating Decision Sharing with Prediction in Decentralized Planning for Multi-Agent Coordination under Uncertainty
Multi-View Attribute Graph Convolution Networks for Clustering
Contrastive Learning and Reward Smoothing for Deep Portfolio Management
DMC: A Distributed Model Counter
Truth and Justification in Knowledge Representation
Combining Topological and Directional Information for Spatial Reasoning
A Survey on Response Selection for Retrieval-based Dialogues
Maximum Entropy in Nilsson's Probabilistic Logic
Resolution in Max-SAT and its relation to local consistency in weighted CSPs
Fast Change Point Detection on Dynamic Social Networks
Synthesis of Maximally Permissive Strategies for LTLf Specifications
Formal Theories of Action (Preliminary Report)
Bartle Taxonomy-based Game for Affective and Personality Computing Research
Diagnosis with Behavioral Modes
Parallel Distributed Belief Networks That Learn
Syntactic Conditional Closures for Defeasible Reasoning
Additive AND/OR Graphs
Learning Classifiers When the Training Data Is Not IID
Efficiency Through Procrastination: Approximately Optimal Algorithm Configuration with Runtime Guarantees
Geometrical Pattern Feature Extraction by Projection on Haar Orthonormal Basis
Geospatial Prediction Using Road Topology: A Graph-based Perspective
Expressivity of Datalog Variants - Completing the Picture
HiTuner: Hierarchical Semantic Fusion Model Fine-Tuning on Text-Attributed Graphs
Clickbait Detection via Contrastive Variational Modelling of Text and Label
Prediction of Blood Glucose Levels And Nocturnal Hypoglycemia Using Physiological Models and Artificial Neural Networks
Streamlining Local Search for Spatially Balanced Latin Squares
Finding the Hidden Gems: Recommending Untagged Music
Efficient SQL-Querying Method for Data Mining in Large Data Bases
Triple-GAIL: A Multi-Modal Imitation Learning Framework with Generative Adversarial Nets
Multiobjective Optimization using GAI Models
Environment Design for Biased Decision Makers
Trust Mechanisms for Online Systems (Extended Abstract)
The Mixed Approach for Motion Planning: Learning Global Strategies from a Local Planner
Approximately Strategy-Proof Voting
A Network-Based Rating System and Its Resistance to Bribery
Estimating the Margin of Victory of an Election Using Sampling
Automatic Opioid User Detection from Twitter: Transductive Ensemble Built on Different Meta-graph Based Similarities over Heterogeneous Information Network
Quantifying Harm
Pseudo-Aligned Multilingual Corpora
On Discrete Truthful Heterogeneous Two-Facility Location
Participatory Budgeting: Data, Tools and Analysis
A Representationalist Theory of Intention
Richer Semantics, Better Alignment: Aligning Visual Features with Explicit and Enriched Semantics for Visible-Infrared Person Re-Identification
Learning Coordination Classifiers
On Robustness in Qualitative Constraint Networks
On the Efficiency of Data Collection for Crowdsourced Classification
An Anthropocentric Tool for Decision Making Support
Human Action Recognition Using a Temporal Hierarchy of Covariance Descriptors on 3D Joint Locations
Collaborative Filtering Using Associative Neural Memory
Hybrid Neural Networks for Learning the Trend in Time Series
A Crowdfunding Model for Green Energy Investment
Control of Robotic Systems for Safe Interaction with Human Operators
In-Context Meta LoRA Generation
Attribute Aware Pooling for Pedestrian Attribute Recognition
Consistency and Completeness of OMEGA, a Logic for Knowledge Representation
Synthesizing Datalog Programs using Numerical Relaxation
Improving Anytime Point-Based Value Iteration Using Principled Point Selections
Discovering Subsequence Patterns for Next POI Recommendation
Community Question Answering Entity Linking via Leveraging Auxiliary Data
Memory and Inference
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract)
Actual Causality in a Logical Setting
A Control Structure for Time Dependent Reasoning
Including Signed Languages in Natural Language Processing (Extended Abstract)
Robust Real-Time Face Tracking and Gesture Recognition
Natural Language Interaction With Dynamic Knowledge Bases: Monitoring as Response
Context-Based Reasoning on Privacy in Internet of Things
Conic Sections in Chromosome Analysis
Image Cationing with Visual-Semantic LSTM
Self-Guided Community Detection on Networks with Missing Edges
Consistency of Theories of Ideas
Learning Homophily Couplings from Non-IID Data for Joint Feature Selection and Noise-Resilient Outlier Detection
Online Matching with Controllable Rewards and Arrival Probabilities
Automated Generation of New Concepts from General Game Playing
Almost Envy-Freeness for Groups: Improved Bounds via Discrepancy Theory
Using a Semantic-Based Support System for Merging Knowledge from Process Participants
Probabilistic Multi-Label Classification with Sparse Feature Learning