yusuke1997/dblp-id-title huggingface dataset:
Guiding Large Language Models in Modeling Optimization Problems via Question Partitioning
Principal-Agent Boolean Games
Improving Tree Decomposition Methods With Function Filtering
Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs
Personalized Federated Learning for Cross-City Traffic Prediction
The Multilingual Generation Game: Authoring Fluent Texts in Unfamiliar Languages
A Goal Reasoning Agent for Controlling UAVs in Beyond-Visual-Range Air Combat
Plan Recognition Using A Hypothesize and Revise Paradigm
Personalised automated assessments
Language Comprehension in a Problem Solver
All Common Subsequences
Minimum Satisfiability and Its Applications
Densely Supervised Hierarchical Policy-Value Network for Image Paragraph Generation
Improving Information Extraction from Images with Learned Semantic Models
MonoMixer: Marrying Convolution and Vision Transformer for Efficient Self-Supervised Monocular Depth Estimation
Path-Planning for Autonomous Training on Robot Manipulators in Space
Phrase Structure Grammars and Natural Languages
A Graph-based Representation Framework for Trajectory Recovery via Spatiotemporal Interval-Informed Seq2Seq
Research Proposal: Cooperation among Self Interested Agents
A Computational Model of Ostrom's Institutional Analysis and Development Framework (Extended Abstract)
A Closed-Loop Perception, Decision-Making and Reasoning Mechanism for Human-Like Navigation
DEIR: Efficient and Robust Exploration through Discriminative-Model-Based Episodic Intrinsic Rewards
The Trailblazer Search with a Hierarchical Abstract Map
A Picture is Worth a Thousand Prompts? Efficacy of Iterative Human-Driven Prompt Refinement in Image Regeneration Tasks
Provenance for the Description Logic ELHr
An Axiom System for Feedback Centralities
A Demonstration of Interactive Task Learning
Preferred Reasoning in ABA by Cycle-Breaking
Design of a Computer Controlled Manipulator for Robot Research
LLM-based Collaborative Agents with Pedagogy-guided Interaction Modeling for Timely Instructive Feedback Generation in Task-oriented Group Discussions
Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming
Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search
AiD-EM: Adaptive Decision Support for Electricity Markets Negotiations
Automated Heart Wall Motion Abnormality Detection from Ultrasound Images Using Bayesian Networks
Model-based Diagnosability and Sensor Placement Application to a Frame 6 Gas Turbine Subsystem
A Language Based Problem-Solver
Norm Compliance of Rule-Based Cognitive Agents
Generating Multimedia Briefings: Language Generation in a Coordinated Multimedia Environment
Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, AISafety@IJCAI 2019, Macao, China, August 11-12, 2019
Latte: Transfering LLMs' Latent-level Knowledge for Few-shot Tabular Learning
Decoupled Invariant Attention Network for Multivariate Time-series Forecasting
Globalization - Understanding the Correlations Between Attitudes Towards Globalization, Time, Resources and Financial Resources
A Structural Representation Learning for Multi-relational Networks
Proceedings of the Workshop on the Interactions between Analogical Reasoning and Machine Learning co-located with International Joint Conference on Artificial Intelligence (IJCAI 2023), Macau, China, August 21, 2023
Computing Abductive Explanations for Boosted Regression Trees
Developing a Knowledge Base on Climate Change for Metropolitan Cities
SmartTransit.AI: A Dynamic Paratransit and Microtransit Application
Learning Hierarchical Symbolic Representations to Support Interactive Task Learning and Knowledge Transfer
Advanced Hough Transform Implementations
A Constrained Multi-view Clustering Approach to Influence Role Detection
Advancements in Dueling Bandits
Reconfigurability-Aware Selection for Contrastive Active Domain Adaptation
Web of Data Evolution by Exploiting Agent Based-Argumentation
An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge
Distributed Pareto Optimization for Subset Selection
Coupled Marginalized Auto-Encoders for Cross-Domain Multi-View Learning
Empowering Multimodal Road Traffic Profiling with Vision Language Models and Frequency Spectrum Fusion
DASS: A Dual-Branch Attention-based Framework for Trajectory Similarity Learning with Spatial and Semantic Fusion
The Application of Artificial Intelligence to Nuclear Power Plant Safety
TAXOGAN: Hierarchical Network Representation Learning via Taxonomy Guided Generative Adversarial Networks (Extended Abstract)
An ASP Semantics for Default Reasoning with Constraints
New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks
Hashtag Recommendation for Multimodal Microblog Using Co-Attention Network
A Decision-Theoretic Approach to Task Assistance for Persons with Dementia
A Self-Representation Induced Classifier
Towards Adversarially Robust Deep Image Denoising
Word-Error Correction of Continuous Speech Recognition Based on Normalized Relevance Distance
Boosting MCSes Enumeration
Inferring Implicit Event Locations from Context with Distributional Similarities
How to Form Winning Coalitions in Mixed Human-Computer Settings
Design Of A Highly Parallel Visual Recognition System
A Protocol-Based Semantics for an Agent Communication Language
Hierarchical Semantic Classification: Word Sense Disambiguation with World Knowledge
Neuro-Symbolic Class Expression Learning
Self-Supervised Aerial Image Analysis for Extracting Parking Lot Structure
InitLight: Initial Model Generation for Traffic Signal Control Using Adversarial Inverse Reinforcement Learning
A Modal Logic for Joint Abilities under Strategy Commitments
The Tractability of the Shapley Value over Bounded Treewidth Matching Games
Integration, Unification, Reconstruction, Modification: An Eternal Parsing Braid
Memorizing Documents with Guidance in Large Language Models
MUSCAT: Multi-Scale Spatio-Temporal Learning with Application to Climate Modeling
Fitting Models to Distributed Representations of Vision
Metadata-dependent Infinite Poisson Factorization for Efficiently Modelling Sparse and Large Matrices in Recommendation
MsRAG: Knowledge Augumented Image Captioning with Object-level Multi-source RAG
Enhancing Text Generation via Multi-Level Knowledge Aware Reasoning
Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter
Towards Domain-Specific Semantic Relatedness: A Case Study from Geography
Guiding Constructive Induction for Incremental Learning from Examples
Multi-View Discriminant Transfer Learning
Interactive Preference Elicitation for Scientific and Cultural Recommendations
Extraction of Items from Abstracts
LiBOG: Lifelong Learning for Black-Box Optimizer Generation
A Paradigm for Reasoning by Analogy
How Expert Should an Expert System Be?
Path Planning Through Time and Space in Dynamic Domains
A Framework for Categorising AI Evaluation Instruments
Deep Learning for Multivariate Time Series Imputation: A Survey
LLM-TPF: Multiscale Temporal Periodicity-Semantic Fusion LLMs for Time Series Forecasting
Domain Adaptive and Fine-grained Anomaly Detection for Single-cell Sequencing Data and Beyond
Supervised Short-Length Hashing
Strategyproof Mechanisms for Group-Fair Facility Location Problems
Credulous Nonmonotonic Inference
GLP: A General Linguistic Processor
A Parallel Algorithm for Statistical Belief Refinement and its use in Causal Reasoning
Chemical Analogies: Two Kinds of Explanation
Interpretable DNFs
What If LLMs Can Smell: A Prototype
Dynamically Constructed Bayes Nets for Multi-Domain Sketch Understanding
Simplifying A Logic Program Using Its Consequences
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract)
Group-wise Deep Co-saliency Detection
The Search Ahead Conflict Resolution for Parallel Firing of Production Systems
Parsing Circuit Topology in a Deductive System
Scalability Study of Peer-to-Peer Consequence Finding
Learning Relations Using Collocations
Learning to Identify Unexpected Instances in the Test Set
Optimal Searches From AND and OR Nodes
Virtual-to-Real: Learning to Control in Visual Semantic Segmentation
Model-free, Model-based, and General Intelligence
ASCENT-ViT: Attention-based Scale-aware Concept Learning Framework for Enhanced Alignment in Vision Transformers
MMVQA: A Comprehensive Dataset for Investigating Multipage Multimodal Information Retrieval in PDF-based Visual Question Answering
Developing an Integrated Model of Speech Entrainment
Multi-Turn Video Question Answering via Multi-Stream Hierarchical Attention Context Network
A Correspondence Theory for Terminological Logics: Preliminary Report
Organizing Contexts as a Lattice of Decision Trees for Machine Reading Comprehension
Balancing User-Item Structure and Interaction with Large Language Models and Optimal Transport for Multimedia Recommendation
A Deductive Model of Belief
ACTA A Tool for Argumentative Clinical Trial Analysis
Gated Probabilistic Matrix Factorization: Learning Users' Attention from Missing Values
Skills2Graph: Processing million Job Ads to face the Job Skill Mismatch Problem
Privileged Matrix Factorization for Collaborative Filtering
The Ins and Outs of Reason Maintenance
SE-1DCNN-LSTM: A Deep Learning Framework for EEG-Based Automatic Diagnosis of Major Depressive Disorder and Bipolar Disorder
The Theory and Practice of Coupling Formal Concept Analysis to Relational Databases
Integrating Knowledge-Based System and Neural Network Techniques for Robotic Skill Acquisition
Affective Image Content Analysis: A Comprehensive Survey
Co-Acquisition of Syntax and Semantics - An Investigation in Spatial Language
Practical Partition-Based Theorem Proving for Large Knowledge Bases
An Operational Semantics for a Fragment of PRS
Presentation of failure-prone processes in a cooking recipe
Discriminatively Trained Recurrent Neural Networks for Continuous Dimensional Emotion Recognition from Audio
The Altricial-Precocial Spectrum for Robots
Quadratic Sparse Gaussian Graphical Model Estimation Method for Massive Variables
Online Portfolio Selection with Cardinality Constraint and Transaction Costs based on Contextual Bandit
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging
An Efficient Approach to Data Transfer Scheduling for Long Range Space Exploration
Enhancing Portfolio Optimization via Heuristic-Guided Inverse Reinforcement Learning with Multi-Objective Reward and Graph-based Policy Learning
Natural Basis Functions and Topographic Memory for Face Recognition
MDX and Related Medical Decision-Making Systems
Prediction and Substantiation: Two Processes that Comprise Understanding
Sharing the Road: Autonomous Vehicles Meet Human Drivers
Hard-Thresholding Meets Evolution Strategies in Reinforcement Learning
Hi-Fi: Hierarchical Feature Integration for Skeleton Detection
Verifying Emergent Properties of Swarms
Network Approximation using Tensor Sketching
VRCA: A Clustering Algorithm for Massive Amount of Texts
Linear Feature Extraction and Description
A Fuzzy-Based Approach to the Analysis of Financial Investments
Embedding Conjugate Gradient in Learning Random Walks for Landscape Connectivity Modeling in Conservation
Oblivious Decision Trees, Graphs, and Top-Down Pruning
Estimation with Incomplete Data: The Linear Case
An Interactive Human-Machine Learning Interface for Collecting and Learning from Complex Annotations
Semantic Argument Classification Exploiting Argument Interdependence
In Defense of Probability
Fractal-Based Description
Building a Reason-able Bioinformatics Ontology Using OIL
Interval Selection with Binary Predictions
On the Ordinal Invariance of Power Indices on Coalitional Games
Hierarchical Active Learning with Group Proportion Feedback
DPMamba: Distillation Prompt Mamba for Multimodal Remote Sensing Image Classification with Missing Modalities
Reasoning in Multiple Belief Spaces
Language Models as Knowledge Embeddings
A Prototypical Approach to Machine Learning
Ontology-Mediated Query Answering for Key-Value Stores
Enabling Sustainable Freight Forwarding Network via Collaborative Games
Non-Parametric Stochastic Sequential Assignment With Random Arrival Times
Iterated Belief Change as Learning
Multi-Pass High-Level Presolving
Efficient Inference for Untied MLNs
Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies
Teaching Semi-Supervised Classifier via Generalized Distillation
Combining Weak Learning Heuristics in General Problem Solvers
Discriminative Feature Decoupling Enhancement for Speech Forgery Detection
Cost-Optimal Planning with Landmarks
Temporal Planning with Mutual Exclusion Reasoning
Adaptive Semantic Compositionality for Sentence Modelling
Video Question Answering via Hierarchical Spatio-Temporal Attention Networks
Utilization Filtering: A Method for Reducing the Inherent Harmfulness of Deductively Learned Knowledge
Unleashing the Potential of Transformer Flow for Photorealistic Face Restoration
Numerical Quantifiers and Their Use in Reasoning with Negative Information
Learning Efficient Logic Programs
Scaling Up the Sample Average Approximation Method for Stochastic Optimization with Applications to Trading Agents
Inconsistency Management and Prioritized Syntax-Based Entailment
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning
Unsupervised Multi-view Learning
A Decision Procedure for a Fragment of Linear Time Mu-Calculus
Model-Free Real-Time Autonomous Energy Management for a Residential Multi-Carrier Energy System: A Deep Reinforcement Learning Approach
Expert Finding for Community-Based Question Answering via Ranking Metric Network Learning
Integrating Reaction Plans and Layered Competences Through Synchronous Control
A Formal Account of Nondeterministic and Failed Actions
Aesop: A Visual Storytelling Platform for Conversational AI
On Balancing Fairness and Efficiency in Routing of Cooperative Vehicle Fleets
Dynamic Mixture Models for Multiple Time-Series
App Download Forecasting: An Evolutionary Hierarchical Competition Approach
Hierarchical Reasoning in the Game of Go
HyperDet: Source Detection in Hypergraphs via Interactive Relationship Construction and Feature-rich Attention Fusion
Hierarchical Genetic Algorithms Operating on Populations of Computer Programs
MM-PCQA: Multi-Modal Learning for No-reference Point Cloud Quality Assessment
Distributed Accelerated Proximal Coordinate Gradient Methods
Data-Centric AI for Chest X-Ray Analysis in Resource-Constrained Settings
Scalable Rule Learning via Learning Representation
Towards Recognizing Spatial-temporal Collaboration of EEG Phase Brain Networks for Emotion Understanding
Artificial Intelligence for Knowledge Management - 6th IFIP WG 12.6 International Workshop, AI4KM 2018, Held at IJCAI 2018, Stockholm, Sweden, July 15, 2018, Revised and Extended Selected Papers
Ranked Prioritization of Groups in Combinatorial Bandit Allocation
Limited Lookahead in Imperfect-Information Games
On the Intrinsic Differential Privacy of Bagging
Deep Learning with Requirements in the Real World
Unsupervised Context Aware Sentence Representation Pretraining for Multi-lingual Dense Retrieval
A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and Hashing
Quantized Correlation Hashing for Fast Cross-Modal Search
Bridging DBpedia Categories and DL-Concept Definitions Using Formal Concept Analysis
Sparsity Conditional Energy Label Distribution Learning for Age Estimation
Constructing Prioritized Fuzzy Models
Semantic Indexing of a Competence Map to Support Scientific Collaboration in a Research Community
Boosting Causal Embeddings via Potential Verb-Mediated Causal Patterns
The Complexity of Election Problems with Group-Separable Preferences
Autoregressive Policies for Continuous Control Deep Reinforcement Learning
Trends, Applications, and Challenges in Human Attention Modelling
Perfectly Solving Domineering Boards
Measure-Free Conditioning, Probability and Non-Monotonic Reasoning
Interactive Optimal Teaching with Unknown Learners
User-Dependent Aspect Model for Collaborative Activity Recognition
A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition
CP-NAS: Child-Parent Neural Architecture Search for 1-bit CNNs
MAGMA-LISP: A "Machine Language" For Artificial Intelligence
A Precedence Scheme for Selection and Explanation of Therapies
Exploring the Vulnerability of Deep Reinforcement Learning-based Emergency Control for Low Carbon Power Systems
Acquiring a Robust Case Base for the Robot Soccer Domain
Conditional Planning in the Discrete Belief Space
FedDUAP: Federated Learning with Dynamic Update and Adaptive Pruning Using Shared Data on the Server
From Neural Sentence Summarization to Headline Generation: A Coarse-to-Fine Approach
MARK I Robot
The First Theoretical Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm III (NSGA-III)
MULTIPOLAR: Multi-Source Policy Aggregation for Transfer Reinforcement Learning between Diverse Environmental Dynamics
Connectionist Fuzzy Production Systems
Enforcing Template Representability and Temporal Consistency for Adaptive Sparse Tracking
Domain Dependence in Parallel Constraint Satisfaction
AntProphet: an Intention Mining System behind Alipay's Intelligent Customer Service Bot
Towards a Unified View of Social Laws with Instantaneous Actions
A Survey of Optimization Modeling Meets LLMs: Progress and Future Directions
Deep Attributed Network Embedding
Representation and Interpretation of Determiners in Natural Language
Image-text Retrieval: A Survey on Recent Research and Development
Learning Latent Forests for Medical Relation Extraction
Active Learning from Crowds with Unsure Option
Micro-Expression Recognition Enhanced by Macro-Expression from Spatial-Temporal Domain
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
Neural Networks Incorporating Unlabeled and Partially-labeled Data for Cross-domain Chinese Word Segmentation
No Regret Reinforcement Learning Algorithms for Online Scheduling with Multi-Stage Tasks
Decision-Theoretic Planning with Linguistic Terms in Golog
Combining Existential Rules and Transitivity: Next Steps
Optimising Partial-Order Plans Via Action Reinstantiation
New Improvements in Optimal Rectangle Packing
Planning under Risk and Knightian Uncertainty
FreqMoE: Dynamic Frequency Enhancement for Neural PDE Solvers
Restricted Chase (Non)Termination for Existential Rules with Disjunctions
The Complexity of Model Checking Succinct Multiagent Systems
Diagnosing Temporal Misbehavior
Extending Logic Programming to Object Programming: The System Lap
Automatic Blood Glucose Prediction with Confidence Using Recurrent Neural Networks
Human Motion Generation via Cross-Space Constrained Sampling
Incomplete Tree Search using Adaptive Probing
Multi-Level Graph Encoding with Structural-Collaborative Relation Learning for Skeleton-Based Person Re-Identification
Ornstein Auto-Encoders
Capabilities in Heterogeneous Multi Robot Systems
A Machine Vision For Complex Industrial Parts With Learning Capability
Automated Hypothesis Generation Using Extended Inductive Resolution
A differentiable first-order rule learner for inductive logic programming (Abstract Reprint)
Analysis of Uncertainties in a Structure of Parts
On the Computational Complexity of Model Reconciliations
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System
Extending AGM Contraction to Arbitrary Logics
Control of Refitting during Plan Reuse
Multi-Stream Deep Similarity Learning Networks for Visual Tracking
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
Generative Adversarial Neural Architecture Search
Goal-Directed Diagnosis-Diagnostic Reasoning in Exploratory-Corrective Domains
Compositionality Decomposed: How do Neural Networks Generalise? (Extended Abstract)
Adversarial Examples for Graph Data: Deep Insights into Attack and Defense
Robust Domain Generalisation by Enforcing Distribution Invariance
Reconfigurable Web Wrapper Agents for Web Information Integration
Reinforcement Learning of Local Shape in the Game of Go
Dynamic Memories: Analysis of an Integrated Comprehension and Episodic Memory Retrieval Model
RAFT: Recurrent All-Pairs Field Transforms for Optical Flow (Extended Abstract)
SURPRISE! and When to Schedule It
AI and Pattern Recognition
Efficient and Equitable Deployment of Mobile Vaccine Distribution Centers
Making Aesthetic Choices
Continual Lifelong Learning for Intelligent Agents
Generalized Update: Belief Change in Dynamic Settings
Hidden Gold in Random Generation of SAT Satisfiable Instances
Sustainable Wearables for Health Applications and Beyond via Uncertainty-Aware Energy Management
Even If Explanations: Prior Work, Desiderata & Benchmarks for Semi-Factual XAI
Multi-Positive and Unlabeled Learning
HDFormer: High-order Directed Transformer for 3D Human Pose Estimation
Reinforcing Coherence for Sequence to Sequence Model in Dialogue Generation
Non-Negative Matrix Factorization with Sinkhorn Distance
How to Represent Evidence - Aspects of Uncertain Reasoning
Modified Caseframe Parsing for Speech Understanding Systems
Why AC-3 is Almost Always Better than AC4 for Establishing Arc Consistency in CSPs
Aspect-Level Deep Collaborative Filtering via Heterogeneous Information Networks
A Hybrid Brain-Computer Interface for Smart Car Control
Deep Interleaved Network for Single Image Super-Resolution with Asymmetric Co-Attention
Masked Label Prediction: Unified Message Passing Model for Semi-Supervised Classification
Bayesian Active Learning for Posterior Estimation - IJCAI-15 Distinguished Paper
Understanding the One Pixel Attack: Propagation Maps and Locality Analysis
Recognizing Plan/Goal Abandonment
An Empirical Study on the Language Modal in Visual Question Answering
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Tucking RCC in Cyc's Ontological Bed
The Surprising Power of Graph Neural Networks with Random Node Initialization
Automated Construction of Bounded-Loss Imperfect-Recall Abstractions in Extensive-Form Games (Extended Abstract)
Contrastive Multi-view Hyperbolic Hierarchical Clustering
A Tool for Generating Interactive Euler Diagrams
DeepFM: A Factorization-Machine based Neural Network for CTR Prediction
Efficiently Ordering Query Plans for Data Integration
MoleculeMiner: Extracting and Linking Molecule Figures with Tabular Metadata
Axiomatization of the PageRank Centrality
Lessons from the Amazon Picking Challenge: Four Aspects of Building Robotic Systems
Redesign Support Framework based on Hierarchical Multiple Models
Repairing Concavities in ROC Curves
Negative Reasoning Using Inheritance
Computing Approximate Query Answers over Inconsistent Knowledge Bases
Heuristic Online Goal Recognition in Continuous Domains
Exploiting Spiking Dynamics with Spatial-temporal Feature Normalization in Graph Learning
Winning a Tournament by Any Means Necessary
Knowledge Selection in Large Knowledge Bases
Machine Learning Techniques to Make Computers Easier to Use
COMET Flows: Towards Generative Modeling of Multivariate Extremes and Tail Dependence
Two-Sided Learning in an Agent Economy for Information Bundles
Instance Selection and Instance Weighting for Cross-Domain Sentiment Classification via PU Learning
Objective Probabilities
The computational complexity of dominance and consistency in CP-nets
A POMDP Approach to Influence Diagram Evaluation
Deep Opinion-Unaware Blind Image Quality Assessment by Learning and Adapting from Multiple Annotators
On Design Principles for Narrative Information Systems
Linear Satisfiability Preserving Assignments (Extended Abstract)
Ontology-Mediated Queries Distributing over Components
Counterfactual Explanations Under Model Multiplicity and Their Use in Computational Argumentation