yusuke1997/dblp-id-title huggingface dataset:
Interactive Robot Transition Repair With SMT
Reformulating Queries: Theory and Practice
A study on the factors affecting the attractiveness of food photography
Inductive Anomaly Detection on Attributed Networks
Monte-Carlo Tree Search for Scalable Coalition Formation
The Next Big Thing: Position Statements
Iterative Widening
On Multi-Layered Connectionist Models: Adding Layers vs. Increasing Width
Learning Higher-Order Logic Programs through Abstraction and Invention
Demand-driven power saving by multiagent negotiation for HVAC control
Splicing Plans to Achieve Misordered Goals
Online Robust Low-Rank Tensor Learning
Financial Thought Experiment: A GAN-based Approach to Vast Robust Portfolio Selection
ASP-based Discovery of Semi-Markovian Causal Models under Weaker Assumptions
Learning Mixtures of Random Utility Models with Features from Incomplete Preferences
SIS: A Shell for Interview Systems
Communication-Efficient Stochastic Gradient Descent Ascent with Momentum Algorithms
Generating and Solving Imperfect Information Games
BankTweak: Adversarial Attack Against Multi-Object Trackers by Manipulating Feature Banks
LC-RNN: A Deep Learning Model for Traffic Speed Prediction
Deadline Compliance, Predictability, and On-line Optimization in Real-Time Problem Solving
Simple Causes of Complexity in Hedonic Games
Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods
Intent-aware Recommendation via Disentangled Graph Contrastive Learning
Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference
Efficient and Robust High-Dimensional Linear Contextual Bandits
Probabilistic Reasoning with Undefined Properties in Ontologically-Based Belief Networks
Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions
Cognitive Processes and III-Defined Problems: A Case Study from Design
Multi-Perspective Linking of News Articles within a Repository
A Computational Approach to the Study of Human Skill Acquisition
A Planning Algorithm for Predictive State Representations
Compositional Data Analysis of Type 1 Diabetes Data
Monte Carlo *-Minimax Search
Zeroth-Order Stochastic Alternating Direction Method of Multipliers for Nonconvex Nonsmooth Optimization
Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks
Equi-Reward Utility Maximizing Design in Stochastic Environments
Cyclic Vision-Language Manipulator: Towards Reliable and Fine-Grained Image Interpretation for Automated Report Generation
Relevance for SAT(ID)
Effective Search of Logical Forms for Weakly Supervised Knowledge-Based Question Answering
CF-Deformable DETR: An End-to-End Alignment-Free Model for Weakly Aligned Visible-Infrared Object Detection
Binary Lattices
Understanding Three Simultaneous Speeches
AI-Assisted Triage and Decision Support of Head and Neck Cancer Screening and Diagnosis in Low-Resourced Settings
Learning Decision Lists over Tree Patterns and Its Application
Strategic Adversarial Attacks in AI-assisted Decision Making to Reduce Human Trust and Reliance
Decision-Theoretic Approximations for Machine Learning
A Distributed Platform to Ease the Development of Recommendation Algorithms on Large-Scale Graphs
Markov Constraint as Large Language Model Surrogate
Further Results on Predicting Cognitive Abilities for Adaptive Visualizations
Co-Localization from Labeled and Unlabeled Data Using Graph Laplacian
Neural Relation Inference for Multi-dimensional Temporal Point Processes via Message Passing Graph
Distance Constraints in Constraint Satisfaction
Curly: An AI-based Curling Robot Successfully Competing in the Olympic Discipline of Curling
Toward Estimating Others' Transition Models Under Occlusion for Multi-Robot IRL
Analysis of a Winning Computational Billiards Player
Q&A: Query-Based Representation Learning for Multi-Track Symbolic Music re-Arrangement
FlashNormalize: Programming by Examples for Text Normalization
Understanding a Simple Cartoon Film by a Computer Vision System
Exploring Leximin Principle for Fair Core-Selecting Combinatorial Auctions: Payment Rule Design and Implementation
An Improved Latent Low Rank Representation for Automatic Subspace Clustering
How Things are Intended to Work: Capturing Functional Knowledge in Device Design
The Role of Perception, Acceptance, and Cognition in the Usefulness of Robot Explanations
Temporal Constraint Reasoning With Preferences
Where Have You Been? Inferring Career Trajectory from Academic Social Network
Learning and Multiagent Reasoning for Autonomous Agents
Plan Recognition as Planning Revisited
Maintaining Communication in Multi-Robot Tree Coverage
Majority Vote in Social Networks: Make Random Friends or Be Stubborn to Overpower Elites
The Hybrid Phenomena Theory
Weakly-Supervised Deep Learning for Customer Review Sentiment Classification
Connecting the Dots between News Articles
The Effect of Restarts on the Efficiency of Clause Learning
Multi-View Exclusive Unsupervised Dimension Reduction for Video-Based Facial Expression Recognition
Scene Separation & Data Selection: Temporal Segmentation Algorithm for Real-time Video Stream Analysis
A Parametric Hierarchical Planner for Experimenting Abstraction Techniques
Embodied Conversational AI Agents in a Multi-modal Multi-agent Competitive Dialogue
Data-Efficient Algorithms and Neural Natural Language Processing: Applications in the Healthcare Domain
Explicit Knowledge-based Reasoning for Visual Question Answering
MUVIR: Multi-View Rare Category Detection
Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion
Safeguarding Fraud Detection from Attacks: A Robust Graph Learning Approach
Completeness Theorems for Semantic Resolution in Consequence-Finding
Asynchronous Stochastic Frank-Wolfe Algorithms for Non-Convex Optimization
Contrastive Transformer Masked Image Hashing for Degraded Image Retrieval
Learning Compact Visual Representation with Canonical Views for Robust Mobile Landmark Search
Dual-View Variational Autoencoders for Semi-Supervised Text Matching
Efficient Resource Allocation with Secretive Agents
Distributive and Collective Readings in Group Protocols
Adaption and Learning in Multi-Agent Systems, IJCAI'95 Workshop, Montréal, Canada, August 21, 1995, Proceedings
From Statistical Transportability to Estimating the Effect of Stochastic Interventions
The Complexity of Subsumption in Fuzzy EL
A Database For A.I.
Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability
Efficient Algorithms for Monotone Non-Submodular Maximization with Partition Matroid Constraint
Dinkelbach-Type Algorithm for Computing Quantal Stackelberg Equilibrium
Social Ranking Manipulability for the CP-Majority, Banzhaf and Lexicographic Excellence Solutions
Fighting against Organized Fraudsters Using Risk Diffusion-based Parallel Graph Neural Network
Translingual Information Retrieval: A Comparative Evaluation
Point-based value iteration: An anytime algorithm for POMDPs
Interval-Based Possibilistic Logic
Forecasting Soil Moisture Using Domain Inspired Temporal Graph Convolution Neural Networks To Guide Sustainable Crop Management
Bridging the Lesson Distribution Gap
Does Probability Have a Place in Non-monotonic Reasoning?
The impact of averaging logits over probabilities on ensembles of neural networks
Combining Supervised and Unsupervised Models via Unconstrained Probabilistic Embedding
Always Clear Depth: Robust Monocular Depth Estimation Under Adverse Weather
A Conceptual Graph Approach for the Generation of Referring Expressions
Learning to Explain: Towards Human-Aligned Explainability in Deep Reinforcement Learning via Attention Guidance
Temporal Knowledge Graph Completion: A Survey
Generative Agents for Multimodal Controversy Detection
Adaptive Gradient Learning for Spiking Neural Networks by Exploiting Membrane Potential Dynamics
ICT Platform Design for SME Collaboration
Improved Guarantees and a Multiple-descent Curve for Column Subset Selection and the Nystrom Method (Extended Abstract)
Optimizing Classifier Performance in Word Sense Disambiguation by Redefining Sense Classes
Hierarchical Feature Selection with Recursive Regularization
Tinker: Example-Based Programming for Artificial Intelligence
Multiwinner Voting with Fairness Constraints
Generating Adversarial Examples with Adversarial Networks
Combining FOIL and EBG to Speed-up Logic Programs
Computational Approaches for Stochastic Shortest Path on Succinct MDPs
Tabling as a Library with Delimited Control
Nested Rollout Policy Adaptation with Selective Policies
On Computing World Views of Epistemic Logic Programs
A Production System for Region Analysis
Context-Based Approach for Pivot Translation Services
Neural Tensor Model for Learning Multi-Aspect Factors in Recommender Systems
3-in-1 Correlated Embedding via Adaptive Exploration of the Structure and Semantic Subspaces
Phishing Scam Detection on Ethereum: Towards Financial Security for Blockchain Ecosystem
Learning to Draw Text in Natural Images with Conditional Adversarial Networks
Optimal Electric Vehicle Charging Station Placement
Learning Few-shot Sample-set Operations for Noisy Multi-label Aspect Category Detection
Meta In-Context Learning Makes Large Language Models Better Zero and Few-Shot Relation Extractors
DToMA: Training-free Dynamic Token MAnipulation for Long Video Understanding
On the Power and Limitations of Examples for Description Logic Concepts
The Complexity of Model Checking Knowledge and Time
Federated Learning with Fair Averaging
Cross-People Mobile-Phone Based Activity Recognition
Space-Consistent Game Equivalence Detection in General Game Playing
Approaches to Embed Bio-inspired Computational Algorithms in Educational and Serious Games
JM-Net and Cluster-SVM for Aerial Scene Classification
Self Adaptive Particle Filter
State-wise Safe Reinforcement Learning: A Survey
Revealing Hierarchical Structure of Leaf Venations in Plant Science via Label-Efficient Segmentation: Dataset and Method
Dilated Convolution with Dilated GRU for Music Source Separation
Learning Where You Are Going and from Whence You Came: h- and g-Cost Learning in Real-Time Heuristic Search
SMART+: A Multi-Strategy Learning Tool
An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community
Staying Ahead of the Game: Adaptive Robust Optimization for Dynamic Allocation of Threat Screening Resources
Spectral Pruning: Compressing Deep Neural Networks via Spectral Analysis and its Generalization Error
Computers and Thought Award : Challenges of Massive Parallelism
Intensions as Such: An Outline
Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique
Approximating Integer Solution Counting via Space Quantification for Linear Constraints
Generalising the Interaction Rules in Probabilistic Logic
Frequency-Aware Deep Depth from Focus
Parallelism in Inheritance Hierarchies with Exceptions
Look Wide and Interpret Twice: Improving Performance on Interactive Instruction-following Tasks
Fast and Accurate Classification with a Multi-Spike Learning Algorithm for Spiking Neurons
Video Covariance Matrix Logarithm for Human Action Recognition in Videos
A Survey of Vision-Language Pre-Trained Models
A Framework for Distributed Reinforcement Learning
Optimal Margin Distribution Machine for Multi-Instance Learning
Combining Case-Based and Rule-Based Reasoning: A Heuristic Approach
A Framework to Choose Trust Models for Different E-Marketplace Environments
On a Tool in Artificial Intelligence Research: An Associative Memory, Parallel Language, AMPPL-II
Supervised Latent Semantic Indexing Using Adaptive Sprinkling
Staleness-Aware Async-SGD for Distributed Deep Learning
Long-term Wind Power Forecasting with Hierarchical Spatial-Temporal Transformer
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis
Using Task Features for Zero-Shot Knowledge Transfer in Lifelong Learning
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
Modelling and Monitoring Manipulation Environment
Seq-U-Net: A One-Dimensional Causal U-Net for Efficient Sequence Modelling
Preference Functions that Score Rankings and Maximum Likelihood Estimation
Adaptive Learning Rate via Covariance Matrix Based Preconditioning for Deep Neural Networks
Action Language BC: Preliminary Report
Speedy versus Greedy Search
Heuristic Algorithms for Balanced Multi-Way Number Partitioning
Inducing criteria for lexicalization parts of speech using the Cyc KB
Designing Comprehensible Agents
Sensor Motion and Relative Depth From Difference Fields of Optic Flows
Game-theoretic Analysis of Effort Allocation of Contributors to Public Projects
XGA-Osteo: Towards XAI-Enabled Knee Osteoarthritis Diagnosis with Adversarial Learning
A New Tractable Subclass of the Rectangle Algebra
Together about Dementia
Source-Adaptive Discriminative Kernels based Network for Remote Sensing Pansharpening
Representing Semantic Information In Pulley Problems
Negative Metric Learning for Graphs
Rolling in Classical Planning with Conditional Effects and Constraints
Hintikka's World: Scalable Higher-order Knowledge
Using parsed corpora for circumventing parsing
QuantileFormer: Probabilistic Time Series Forecasting with a Pattern-Mixture Decomposed VAE Transformer
Federated Learning at the Forefront of Fairness: A Multifaceted Perspective
Lossless Semantic Round-Tripping in PENG ASP
A Brief Introduction to Boosting
Adversarial Imitation Learning from Incomplete Demonstrations
A Logic For Causal Reasoning
Temporal-Difference Networks with History
Sentence-Level or Token-Level? A Comprehensive Study on Knowledge Distillation
Limits and Possibilities of Forgetting in Abstract Argumentation
State Similarity Based Approach for Improving Performance in RL
Combining Opinion Pooling and Evidential Updating for Multi-Agent Consensus
Neural Program Induction for KBQA Without Gold Programs or Query Annotations
Error-aware Sampling in Adaptive Shells for Neural Surface Reconstruction
D-DPCC: Deep Dynamic Point Cloud Compression via 3D Motion Prediction
OpenMarkov, an Open-Source Tool for Probabilistic Graphical Models
METOR: A Unified Framework for Mutual Enhancement of Objects and Relationships in Open-vocabulary Video Visual Relationship Detection
Social Influence Analysis based on Facial Emotions
Learning to Interpret Natural Language Commands through Human-Robot Dialog
Minimizing Dialog Length in Interactive Case-Based Reasoning
HIVE: Hierarchical Information Visualization for Explainability
Data-Based Promotion of Tourist Events with Minimal Operational Impact
LTL-Constrained Steady-State Policy Synthesis
Functional Representation of Designs and Redesign Problem Solving
Cross-modal Collaborative Representation Learning for Text-to-Image Person Retrieval
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
Facility Location Problems with Capacity Constraints: Two Facilities and Beyond
Who to Listen to: Exploiting Information Quality in a ZIP-Agent Market
Robust Asymmetric Bayesian Adaptive Matrix Factorization
SPARK: Harnessing Human-Centered Workflows with Biomedical Foundation Models for Drug Discovery
Constraint Solving over Semirings
Unsupervised Deep Subgraph Anomaly Detection (Extended Abstract)
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory
Model-Based Vision System for Scenes Containing Multiple Parts
Ranking Extensions in Abstract Argumentation
NON-VON: A Parallel Machine Architecture for Knowledge-Based Information Processing
Domain Filtering can Degrade Intelligent Backtracking Search
Inference Machines for Nonparametric Filter Learning
A Fast Method for Extraction of 3-D Information Using Multiple Stripes and Two Cameras
Unified Model for Crystalline Material Generation
Interactive Search with Contextual Navigation Recommendations
Controlling a Language Generation Planner
Efficient Calculation of Personalized Document Rankings
Conditions on Features for Temporal Difference-Like Methods to Converge
Self-Representative Manifold Concept Factorization with Adaptive Neighbors for Clustering
Black-box Prompt Tuning for Vision-Language Model as a Service
Model-based Diagnosis of Hybrid Systems
Multi-Objective Optimization Through Pareto Minimal Correction Subsets
SOTA: Spike-Navigated Optimal TrAnsport Saliency Region Detection in Composite-bias Videos
Toward a Manifold-Preserving Temporal Graph Network in Hyperbolic Space
Experimenting with Revisits in Game Tree Search
Adaptive Semi-Supervised Learning with Discriminative Least Squares Regression
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)
AllMatch: Exploiting All Unlabeled Data for Semi-Supervised Learning
Robot Task Interruption by Learning to Switch Among Multiple Models
A Dynamic Stiefel Graph Neural Network for Efficient Spatio-Temporal Time Series Forecasting
Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving
An Interaction-Oriented Model for Multi-Scale Simulation
Single-Peaked Opinion Updates
CSGCL: Community-Strength-Enhanced Graph Contrastive Learning
Solving Logic Program Conflict through Strong and Weak Forgettings
What Should I Do? Deriving Norms from Actions, Values and Context
Subgraph Pooling: Tackling Negative Transfer on Graphs
Some Basic Mechanisms for Common Sense Reasoning About Stories Environments
First-order probabilistic inference
Reasoning about Fluid Motion I: Finding Structures
Slam the Brakes: Perceptions of Moral Decisions in Driving Dilemmas
Neural Enquirer: Learning to Query Tables in Natural Language
Disparity-preserved Deep Cross-platform Association for Cross-platform Video Recommendation
SeqPose: An End-to-End Framework to Unify Single-frame and Video-based RGB Category-Level Pose Estimation
A Novelty Detection Approach to Classification
Trade When Opportunity Comes: Price Movement Forecasting via Locality-Aware Attention and Iterative Refinement Labeling
Towards More Practical Reinforcement Learning
Japanese Word Processor
Provably Bounded Optimal Agents
From Skepticism to Acceptance: Simulating the Attitude Dynamics Toward Fake News
Don't Bury your Head in Warnings: A Game-Theoretic Approach for Intelligent Allocation of Cyber-security Alerts
Learning to Diagnose by Doing
Vocabularies for Problem Solver State Descriptions
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report
Two Semantic Worlds: A Data Base System with Provision for Natural Language Input
Ambient Intelligence - From Personal Assistance to Intelligent Megacities
Sum-Product-Max Networks for Tractable Decision Making
Unsupervised Sentiment Analysis for Social Media Images
Can Buyers Reveal for a Better Deal?
Label Enhancement for Label Distribution Learning
A New Sense for Depth of Field
Listen, Think and Listen Again: Capturing Top-down Auditory Attention for Speaker-independent Speech Separation
Granular Description of Qualitative Change
NS4S: Neighborhood Search for Scheduling Problems Via Large Language Models
SMT Versus AI Redux: How Semantic Frames Evaluate MT More Accurately
Efficient Learning in Linearly Solvable MDP Models
Anaphors, PPs and Disambiguation Process for Conceptual Analysis
HorNet: A Hierarchical Offshoot Recurrent Network for Improving Person Re-ID via Image Captioning
MMNet: Missing-Aware and Memory-Enhanced Network for Multivariate Time Series Imputation
On the Importance of System Testing for Assuring Safety of AI Systems
The Model of Human Visual Long-Term Memory with Ability for Generalization
EXPERT: A System for Developing Consultation Models
Progress On A Computer Based Consultant
Parameterized Complexity of Kidney Exchange Revisited
Equally-Guided Discriminative Hashing for Cross-modal Retrieval
Dimensionality Reduction with Generalized Linear Models
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators
Modeling the Craftsmen Know-How: A Case Study Using MASK Methodology
"Logal": Algorithmic Control Structures for Prolog
Randomised Optimism via Competitive Co-Evolution for Matrix Games with Bandit Feedback
Efficient Kernel Learning from Side Information Using ADMM
History Repeats Itself: A Baseline for Temporal Knowledge Graph Forecasting
Syllogistic Reasoning under the Weak Completion Semantics
A Comparative Study of Ranking Formulas Based on Consistency
ItemRank: A Random-Walk Based Scoring Algorithm for Recommender Engines
Preferences and Constraints in Abstract Argumentation
Control of Fair Division
Neural Temporal Point Processes: A Review
G2RL: Geometry-Guided Representation Learning for Facial Action Unit Intensity Estimation
HCFRec: Hash Collaborative Filtering via Normalized Flow with Structural Consensus for Efficient Recommendation
ADMN: Agent-Driven Modular Network for Dynamic Parameter Sharing in Cooperative Multi-Agent Reinforcement Learning
Spoken Language Translation System
Translation Embeddings for Knowledge Graph Completion in Consumer Banking Sector
Value Iteration Networks
Memory-Limited Model-Based Diagnosis (Extended Abstract)
Self-Supervised Neuron Segmentation with Multi-Agent Reinforcement Learning
Explainable Certain Answers
Convergence and Quality of Iterative Voting Under Non-Scoring Rules
Planning And Execution in Incompletely Specified Environments
Logic on MARS: Ontologies for Generalised Property Graphs
Expected Work Search: Combining Win Rate and Proof Size Estimation
Frame Activated Inferences in a Story Understanding Program
Explanation-based Generalization in a Logic-Programming Environment
CoderAgent: Simulating Student Behavior for Personalized Programming Learning with Large Language Models
Supporting Sustainable Agroecological Initiatives for Small Farmers through Constraint Programming
Terrain Navigation Through Knowledge-based Route Planning
Best Answers over Incomplete Data : Complexity and First-Order Rewritings
On Subset Selection with General Cost Constraints
Parameterized Approximation Algorithm for Doubly Constrained Fair Clustering
Hierarchical Heuristic Forward Search in Stochastic Domains
Exploring Implicit Hierarchical Structures for Recommender Systems
GRAML: Goal Recognition As Metric Learning
Logic and Feature Structures
Storage Fit Learning with Unlabeled Data
Variety Reasoning for Multiset Constraint Propagation
Evidence-Aware Hierarchical Interactive Attention Networks for Explainable Claim Verification
Towards Continuous Process Supervision
Improving Welfare in One-Sided Matchings using Simple Threshold Queries
Taking Up the Gaokao Challenge: An Information Retrieval Approach
On the Graded Acceptability of Arguments
Computation and Complexity of Preference Inference Based on Hierarchical Models
A Computational Model of Analogical Problem Solving
Principled Constructive Induction
Learning Optimal Oblique Decision Trees with (Max)SAT
Self-Repellent Random Walks on General Graphs - Achieving Minimal Sampling Variance via Nonlinear Markov Chains (Extended Abstract)
A Unification Framework for Euclidean and Hyperbolic Graph Neural Networks
Multi-Level Firing with Spiking DS-ResNet: Enabling Better and Deeper Directly-Trained Spiking Neural Networks
An Encoder-Decoder Framework Translating Natural Language to Database Queries
Learning to Identify Review Spam
Table2Graph: Transforming Tabular Data to Unified Weighted Graph
Robot Manipulation Learning Using Generative Adversarial Imitation Learning
Proceedings of the 3rd International Workshop on Social Influence Analysis co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 19, 2017
Speaker-Guided Encoder-Decoder Framework for Emotion Recognition in Conversation
Knowledge Oriented Learning
Proceedings of the Workshop on the Interactions between Analogical Reasoning and Machine Learning (International Joint Conference on Artificial Intelligence - European Conference on Artificial Intelligence (IJAI-ECAI 2022)), Vienna, Austria, July 23, 2022
On Tracking Dialogue State by Inheriting Slot Values in Mentioned Slot Pools
Self-supervised Semantic Segmentation Grounded in Visual Concepts
STS-GAN: Can We Synthesize Solid Texture with High Fidelity from Arbitrary 2D Exemplar?
TEC: A Time Evolving Contextual Graph Model for Speaker State Analysis in Political Debates