yusuke1997/dblp-id-title huggingface dataset:
Fair Equilibria in Sponsored Search Auctions: The Advertisers' Perspective
A Continuation Method for Nash Equilibria in Structured Games
On Lower Bounds for Maximin Share Guarantees
On the Progression of Knowledge in the Situation Calculus
Mixed-Initiative Activity Planning for Mars Rovers
PCAN: A Pandemic-Compatible Attentive Neural Network for Retail Sales Forecasting
A Comparative Study of Transactional and Semantic Approaches for Predicting Cascades on Twitter
A Learning System Which Accommodates Feature Interactions
Near-Feasible Stable Matchings with Budget Constraints
CABOB: A Fast Optimal Algorithm for Combinatorial Auctions
Fixpoints in Temporal Description Logics
Total-Order Planning with Partially Ordered Subtasks
Predicting Housing Transaction with Common Covariance GNNs
Towards Effective Prioritizing Water Pipe Replacement and Rehabilitation
Quantifying Beliefs by Belief Functions: An Axiomatic Justification
A Galois Framework for the Study of Analogical Classifiers
Adaptive Management of Migratory Birds Under Sea Level Rise
Multi-Relational Learning with Gaussian Processes
Music Recommenders: User Evaluation Without Real Users?
Diagnosis of Multiple Faults in a Nationwide Communications Network
Formalizing and Using Persistency
Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results
Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract)
Reasoning About Actions in Narrative Understanding
Hierarchical Bayesian Matrix Factorization with Side Information
Resilient Control and Safety for Multi-Agent Cyber-Physical Systems
Searching for Well-Behaved Fragments of Halpern-Shoham Logic
Using Graphs of Classifiers to Impose Declarative Constraints on Semi-supervised Learning
Knowledge Representation Learning with Entities, Attributes and Relations
Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract)
Robust Adversarial Imitation Learning via Adaptively-Selected Demonstrations
Multi-Scale Spatial-Temporal Integration Convolutional Tube for Human Action Recognition
The Compass Filter: Search Engine Result Personalization Using Web Communities
Co-training with High-Confidence Pseudo Labels for Semi-supervised Medical Image Segmentation
Interval Pattern Structures for Interpreting K-Nearest Neighbor Approach in Lazy Classification
Heuristic Methods for Mechanically Deriving Inductive Assertions
A Procedural Model of Recognition
Modeling Informal Debates
On the Relation of Resolution and Tableaux Proof Systems for Description Logics
Transitively Relational Partial Meet Horn Contraction
Finite-Length Markov Processes with Constraints
A Context-Enhanced Framework for Sequential Graph Reasoning
Integration of Hybrid Bio-Ontologies using Bayesian Networks for Knowledge Discovery
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)
Rational Competitive Analysis
Modeling Dense Cross-Modal Interactions for Joint Entity-Relation Extraction
Dynamic Domain Generalization
Why Minimax Works: An Alternative Explanation
Consequence-Finding Based on Ordered Linear Resolution
Deciphering Environmental Air Pollution with Large Scale City Data
Explainable Automatic Fact-Checking for Journalists Augmentation in the Wild
Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive Summarization
An Interactive Game-based Multi-Agent AI System for Children's Social and Emotional Development
Combining Breadth-First and Depth-First Strategies in Searching for Treewidth
DeLELSTM: Decomposition-based Linear Explainable LSTM to Capture Instantaneous and Long-term Effects in Time Series
Exploiting Structure in Policy Construction
Towards an Integrated View of Semantic Annotation for POIs with Spatial and Textual Information
Training Conditional Random Fields Using Virtual Evidence Boosting
Efficient and Robust Independence-Based Markov Network Structure Discovery
Functional Partitioning of Ontologies for Natural Language Query Completion in Question Answering Systems
Risk-Aware Task Migration for Multiplex Unmanned Swarm Networks in Adversarial Environments
Online Resource Sharing: Better Robust Guarantees via Randomized Strategies
Towards Robust Unsupervised Disentanglement of Sequential Data - A Case Study Using Music Audio
Secure Deep Graph Generation with Link Differential Privacy
Master-Slave Curriculum Design for Reinforcement Learning
Continuous Relaxation and Local Maxima Selection: Conditions for Equivalence
Joint Image Emotion Classification and Distribution Learning via Deep Convolutional Neural Network
Neurogenesis-Inspired Dictionary Learning: Online Model Adaption in a Changing World
A Generalized Matching Pursuit Approach for Graph-Structured Sparsity
Sample Efficient Policy Search for Optimal Stopping Domains
Learning to Understand Contractual Situations
Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)
Decision Making for Improving Maritime Traffic Safety Using Constraint Programming
Recognizing Opinion Sources Based on a New Categorization of Opinion Types
Adaptive Graph Guided Embedding for Multi-label Annotation
Implicit Anomaly Subgraph Detection (IASD) in Multi-Domain Attribute Networks
A Weakly Supervised Method for Topic Segmentation and Labeling in Goal-oriented Dialogues via Reinforcement Learning
Proceedings of the Workshop on Fuzzy Logic in AI, FLinAI 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25, 2015
Predicting Learnt Clauses Quality in Modern SAT Solvers
Causal Graph Modeling with Deep Neural Engines for Strong Abstract Reasoning in Language and Vision
The Information Retrieval Experiment Platform (Extended Abstract)
Lifted Message Passing for Hybrid Probabilistic Inference
Artificial Intelligence Technologies in Education: Benefits, Challenges and Strategies of Implementation
A* Search with Inconsistent Heuristics
A Parameterized Perspective on Protecting Elections
Optimal Extended Formulations from Optimal Dynamic Programming Algorithms
Empirical Risk Minimization for Metric Learning Using Privileged Information
Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
Certifai: A Toolkit for Building Trust in AI Systems
Postulates for Conditional Belief Revision
Sign-to-Speech Model for Sign Language Understanding: A Case Study of Nigerian Sign Language
Multi-Class Imbalanced Graph Convolutional Network Learning
Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems
COSPEX: A System for Constructing Private Digital Libraries
Abstraction in Data-Sparse Task Transfer (Extended Abstract)
Efficient Generalized Conditional Gradient with Gradient Sliding for Composite Optimization
Revisiting Gaussian Process Dynamical Models
Discrete Network Embedding
Financial Risk Prediction with Multi-Round Q&A Attention Network
Efficient Model Based Diagnosis with Maximum Satisfiability
Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions
Generative Co-Design of Antibody Sequences and Structures via Black-Box Guidance in a Shared Latent Space
Incorporating External Knowledge into Crowd Intelligence for More Specific Knowledge Acquisition
Quantitative Evaluation of Transmission of Meaning
A Sound and Fast Goal Recognizer
An Efficient Algorithm To Compute Distance Between Lexicographic Preference Trees
On the Complexity of Chore Division
Decoupling and Reconstructing: A Multimodal Sentiment Analysis Framework Towards Robustness
Exploring Multimodal Foundation AI and Expert-in-the-Loop for Sustainable Management of Wild Salmon Fisheries in Indigenous Rivers
Dense Transformer Networks for Brain Electron Microscopy Image Segmentation
A Novel Data Representation for Effective Learning in Class Imbalanced Scenarios
Automation Intelligence for the Smart Environment
Improvements of Symmetry Breaking During Search
Method of Moments for Topic Models with Mixed Discrete and Continuous Features
Dynamic Dependency Awareness for QBF
Embedding-based Representation of Categorical Data by Hierarchical Value Coupling Learning
Methods for off-line/on-line optimization under uncertainty
Adaptive Information Extraction from Text by Rule Induction and Generalisation
Learning Topic Models by Neighborhood Aggregation
Rethinking Graph Contrastive Learning Through Relative Similarity Preservation
Private Semi-Supervised Federated Learning
Bidirectional Active Learning with Gold-Instance-Based Human Training
The Origin and Resolution of Ambiguities in Causal Arguments
Random Assignment of Indivisible Goods under Constraints
Deep Active Learning for Anchor User Prediction
SketchEdit: Editing Freehand Sketches at the Stroke-Level
Parameterized Analysis of Bribery in Challenge the Champ Tournaments
Answer Set Programming for Judgment Aggregation
Discovering Different Types of Topics: Factored Topic Models
The Economics of Crypto-democracy
Balance Rule in Artificial Intelligence
Learning Task-Specific Representation for Novel Words in Sequence Labeling
Global Information Compensation Network for Image Denoising
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic
A Quantum-inspired Classical Algorithm for Separable Non-negative Matrix Factorization
Polynomial Rewritings for Linear Existential Rules
Automatic Design of Heuristic Algorithms for Binary Optimization Problems
Decomposition of Declarative Knowledge Bases with External Functions
Balancing Imbalance: Data-Scarce Urban Flow Prediction via Spatio-Temporal Balanced Transfer Learning
Personalized Tour Recommendation Based on User Interests and Points of Interest Visit Durations
Variational Model-based Policy Optimization
Community Detection and Link Prediction via Cluster-driven Low-rank Matrix Completion
Mathematical Models for Automatic Line Detection
Co-Learning of Strategy and Structure Achieves Full Cooperation in Complex Networks with Dynamical Linking
Augmented Learning and Data Filtering: Knowledge Management and Discovery
Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage
Decidability Results in First-Order Epistemic Planning
What Makes Models Compositional? A Theoretical View
Solving "How to Clear a Block" with Constructive Matching Methodology
Does Tail Label Help for Large-Scale Multi-Label Learning
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?
Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus
A Simple Additive Re-weighting Strategy for Improving Margins
Semantic Resolution for Horn Sets
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)
Recognition of 3-D Objects Using the Extended Gaussian Image
The Problem of Induction and Machine Learning
Flexible Data Fusion (and Fission)
Greening and Smarting IT - Case of Digital Transformation
Explainability Through Human-Centric Design for XAI in Lung Cancer Detection
Autonomously Learning an Action Hierarchy Using a Learned Qualitative State Representation
Learning One More Thing
Altruism Design in Networked Public Goods Games
Improving Sequential Recommendation Consistency with Self-Supervised Imitation
Statistical Relational Learning Towards Modelling Social Media Users
One-step Label Shift Adaptation via Robust Weight Estimation
Transfer Learning from Minimal Target Data by Mapping across Relational Domains
Non-Obvious Manipulability in Extensive-Form Mechanisms: The Revelation Principle for Single-Parameter Agents
Reasoning About the Spatial Relationships Derived From a RAPT Program for Describing Assembly by a Robot
DeepView: Visualizing Classification Boundaries of Deep Neural Networks as Scatter Plots Using Discriminative Dimensionality Reduction
Relative Inconsistency Measures for Indefinite Databases with Denial Constraints
Coalition Formation among Bounded Rational Agents
An Overview Of AL, A Programming System For Automation
Solving Air-Traffic Problems with "Possible Worlds"
Combining Speech and Sketch to Interpret Unconstrained Descriptions of Mechanical Devices
Uncertainty-Aware Few-Shot Image Classification
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs
Multidimensional Mereotopology with Betweenness
RisQNet: Rescuing SMEs from Financial Shocks with a Novel Networked-Loan Risk Assessment
On the Use of Integer Programming Models in AI Planning
Towards Theoretically Grounded Evolutionary Learning
Controlling Production Firing: The FCL Language
STAR: Spatio-Temporal State Compression for Multi-Agent Tasks with Rich Observations
Story Fragment Stitching: The Case of the Story of Moses
Efficient Mechanism Design for Online Scheduling (Extended Abstract)
Large Scale Semantic Match ing: Agrovoc vs CABI
A Framework for Constraint Based Local Search using Essence
Deep Insights into Graph Adversarial Learning: An Empirical Study Perspective
Model Conversion via Differentially Private Data-Free Distillation
Agentive Permissions in Multiagent Systems
Multi-modal Circulant Fusion for Video-to-Language and Backward
The Specialization and Transformation of Constructive Existence Proofs
Alleviating Road Traffic Congestion with Artificial Intelligence
Structure Guided Lane Detection
Asynchronous Accelerated Stochastic Gradient Descent
Self-paced Mixture of Regressions
Federated Learning with Sparsification-Amplified Privacy and Adaptive Optimization
Learning from the Scene and Borrowing from the Rich: Tackling the Long Tail in Scene Graph Generation
TCDM: A Temporal Correlation-Empowered Diffusion Model for Time Series Forecasting
Keypoints as Dynamic Centroids for Unified Human Pose and Segmentation
Ethics and Governance of Artificial Intelligence: A Survey of Machine Learning Researchers (Extended Abstract)
Iterative Views Agreement: An Iterative Low-Rank Based Structured Optimization Method to Multi-View Spectral Clustering
Temporal Belief Memory: Imputing Missing Data during RNN Training
Fuzzy Logic, Inductive and Analogical Reasoning
Semi-Supervised Learning from a Translation Model between Data Distributions
Positive-Unlabeled Learning with Adversarial Data Augmentation for Knowledge Graph Completion
Abductive Framework for Nonmonotonic Theory Change
Cardinality-Minimal Explanations for Monotonic Neural Networks
KIPPO: Koopman-Inspired Proximal Policy Optimization
Class-consistent Contrastive Learning Driven Cross-dimensional Transformer for 3D Medical Image Classification
Intelligent Decision Support for Improving Power Management
Optimizing Decision Quality with Contract Algorithms
Spatio-Temporal Check-in Time Prediction with Recurrent Neural Network based Survival Analysis
Switching from Bidirectional to Unidirectional Search
Ants and Reinforcement Learning: A Case Study in Routing in Dynamic Networks
A New Approach to Multiobjective A* Search
Integrating Independent Layer-Wise Rank Selection with Low-Rank SVD Training for Model Compression: A Theory-Driven Approach
On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning
Abstract Theorem Proving
Hierarchical Diagnosis Guided by Observations
On Efficient Transformer-Based Image Pre-training for Low-Level Vision
Information Fusion Based Learning for Frugal Traffic State Sensing
Generating Noun Phrases to Identify Nodes in a Semantic Network
A Game-Theoretic Account of Responsibility Allocation
Explaining Genetic Knock-Out Effects Using Cost-Based Abduction
Mobile Robot Localization Using Fuzzy Maps
Unsupervised Deep Hashing via Binary Latent Factor Models for Large-scale Cross-modal Retrieval
On the Entailment Problem for a Logic of Typicality
Scalable Federated Unlearning via Isolated and Coded Sharding
Integrating Text Planning and Production in Generation
Mining Soft-Matching Rules from Textual Data
Spotlight News Driven Quantitative Trading Based on Trajectory Optimization
The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning
Formal Argumentation in Symbolic AI
Combining Knowledge with Deep Convolutional Neural Networks for Short Text Classification
Cooperative Joint Attentive Network for Patient Outcome Prediction on Irregular Multi-Rate Multivariate Health Data
Revisiting Causal Discovery from a Complexity-Theoretic Perspective
Ensemble Neural Relation Extraction with Adaptive Boosting
Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks
An Antibiotic Therapy Selector which Provides for Explanations
Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problems
Performance as a Constraint: An Improved Wisdom of Crowds Using Performance Regularization
Object Identification in a Bayesian Context
Dependency Calculus Reasoning in a General Point Relation Algebra
Learning Target-aware Representation for Visual Tracking via Informative Interactions
Hybrid Thematic Role Processor: Symbolic Linguistic Relations Revised by Connectionist Learning
Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Montréal, Québec, Canada, August 21, 2021
DeepME: Deep Mixture Experts for Large-scale Image Classification
Resolution and Domination: An Improved Exact MaxSAT Algorithm
Group-Strategyproof Irresolute Social Choice Functions
Artificial Argumentation for Humans
Using and Refining Simplifications: Explanation-Based Learning of Plans in Intractable Domains
Detecting Emotions in Social Media: A Constrained Optimization Approach
Bernoulli Rank-1 Bandits for Click Feedback
On the Design of Social Diagnosis Algorithms for Multi-Agent Teams
pTSE: A Multi-model Ensemble Method for Probabilistic Time Series Forecasting
Observations on Darwiche and Pearl's Approach for Iterated Belief Revision
NegoLog: An Integrated Python-based Automated Negotiation Framework with Enhanced Assessment Components
Finding Prototypes of Answers for Improving Answer Sentence Selection
Non-Redundant Link Keys in RDF Data: Preliminary Steps
Generalized Representation Learning Methods for Deep Reinforcement Learning
Dual-view Correlation Hybrid Attention Network for Robust Holistic Mammogram Classification
Improving music composition through peer feedback: experiment and preliminary results
Explainable (and Maintainable) Expert Systems
Robust Online Optimization of Reward-Uncertain MDPs
DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields
Building a French Revolution Narrative from Wikidata
Automated Generation of Understandable Contingency Plans
GHOST: experimenting conflicts countermeasures in the pilot's activity
Capacity to Build Artificial Intelligence Systems for Nuclear Energy Security and Sustainability: Experience of Belarus
Efficient Federated Multi-View Clustering with Integrated Matrix Factorization and K-Means
Learning Attention from Attention: Efficient Self-Refinement Transformer for Face Super-Resolution
Multi-Robot Motion Planning with Dynamics Guided by Multi-Agent Search
Towards Efficient MCMC Sampling in Bayesian Neural Networks by Exploiting Symmetry (Extended Abstract)
Robust Reinforcement Learning as a Stackelberg Game via Adaptively-Regularized Adversarial Training
Predicting Complex Activities from Ongoing Multivariate Time Series
Synthesis by Completion
Enriching Wikipedia Vandalism Taxonomy via Subclass Discovery
Approximate Responses from a Data Base Query System: An Application of Inferencing in Natural Language
Non-monotone DR-submodular Maximization over General Convex Sets
Integrating Logic Programs and Schemata
MuChin: A Chinese Colloquial Description Benchmark for Evaluating Language Models in the Field of Music
An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction
A Logic-based Architecture for Knowledge Management
PoseGTAC: Graph Transformer Encoder-Decoder with Atrous Convolution for 3D Human Pose Estimation
Recent Advances in Direct Speech-to-text Translation
Improved Pure Exploration in Linear Bandits with No-Regret Learning
SVTR: Scene Text Recognition with a Single Visual Model
Handling Duration Uncertainty in Meta-Level Control of Progressive Processing
Mining User Dwell Time for Personalized Web Search Re-Ranking
Bottleneck Identification Using Process Chronologies
PRNet: Point-Range Fusion Network for Real-Time LiDAR Semantic Segmentation
Counterfactual Knowledge Maintenance for Unsupervised Domain Adaptation
Absolute Wrong Makes Better: Boosting Weakly Supervised Object Detection via Negative Deterministic Information
Online Pricing for Revenue Maximization with Unknown Time Discounting Valuations
Identifying Norms from Observation Using MCMC Sampling
Pixel-wise Divide and Conquer for Federated Vessel Segmentation
Axiomatic Foundations for Qualitative/Ordinal Decisions with Partial Preferences
Globally Optimized Mutual Influence Aware Ranking in E-Commerce Search
Towards Social Problem-Solving with Human Subjects
DONIS: Importance Sampling for Training Physics-Informed DeepONet
Causality-Inspired Disentanglement for Fair Graph Neural Networks
Relational Random Forests Based on Random Relational Rules
State-Aware Value Function Approximation with Attention Mechanism for Restless Multi-armed Bandits
An Architecture for Vision and Action
Identification of Serious Illness Conversations in Unstructured Clinical Notes Using Deep Neural Networks
ICDA: Illumination-Coupled Domain Adaptation Framework for Unsupervised Nighttime Semantic Segmentation
Localizing Unseen Activities in Video via Image Query
Deep Fusion of Symbolic and Computational Processing for Next Generation User Interface
Prompt-Free Conditional Diffusion for Multi-object Image Augmentation
Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's Dilemma
Repairing Preference-Based Argumentation Frameworks
SGDCL: Semantic-Guided Dynamic Correlation Learning for Explainable Autonomous Driving
Representation of Empirically Derived Causal Relationships
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks
Dialogue Modeling Via Hash Functions
Deep Convolutional Neural Networks on Multichannel Time Series for Human Activity Recognition
TeSTNeRF: Text-Driven 3D Style Transfer via Cross-Modal Learning
Sharing Residual Units Through Collective Tensor Factorization To Improve Deep Neural Networks
On the Complexity of Counterfactual Reasoning
Iterative Committee Elections for Collective Decision-Making in a Ride-Sharing Application
Transfer Learning for Activity Recognition via Sensor Mapping
Aligning Users across Social Networks Using Network Embedding
Version Spaces: A Candidate Elimination Approach to Rule Learning
Reasoning in Time and Space
Understanding Information Diffusion under Interactions
Aligning Contrastive Multiple Clusterings with User Interests
A Case-Based Solution to the Cold-Start Problem in Group Recommenders
Conflict Management for Constraint-based Recommendation
Attention-based Conditional Random Field for Financial Fraud Detection
Aggregating Crowd Wisdom with Side Information via a Clustering-based Label-aware Autoencoder
Enhancing Automated Grading in Science Education through LLM-Driven Causal Reasoning and Multimodal Analysis
The Impact of Features Used by Algorithms on Perceptions of Fairness
Concentration Tail-Bound Analysis of Coevolutionary and Bandit Learning Algorithms
Reward-Constrained Behavior Cloning
A Study of Selection Noise in Collaborative Web Search
No Regularization Is Needed: Efficient and Effective Incomplete Label Distribution Learning
The Interpretation of Three-Dimensional Structure from Image Curves
Using Process Knowledge in Understanding Task-Oriented Dialogs
Leveraging Document-Level Label Consistency for Named Entity Recognition
What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario
Cross-Modal Global Interaction and Local Alignment for Audio-Visual Speech Recognition
Human Vision Paradox Implicates Relaxation Model
DAMO-StreamNet: Optimizing Streaming Perception in Autonomous Driving