yusuke1997/dblp-id-title huggingface dataset:
AI-Assisted Tool for Early Diagnosis and Prevention of Colorectal Cancer in Africa
Graph Pruning and Symmetry Breaking on Grid Maps
For Women, Life, Freedom: A Participatory AI-Based Social Web Analysis of a Watershed Moment in Iran's Gender Struggles
Between Regions and Objects - Surfaces and Volumes
An Abstraction-Refinement Methodology for Reasoning about Network Games
BoostDream: Efficient Refining for High-Quality Text-to-3D Generation from Multi-View Diffusion
Discriminative Deep Hashing for Scalable Face Image Retrieval
A Model for Motor Control and Learning
Characterization of Residential Electricity Customers via Deep Ensemble Learning
Minimizing Response Times in Real Time Planning and Search
On the Equivalence between Assumption-Based Argumentation and Logic Programming (Extended Abstract)
Social Media based Simulation Models for Understanding Disease Dynamics
A Sequential View of AND-Parallelism Through Partial AND-Processes
Dual Visual Attention Network for Visual Dialog
Time in Robots and Dialog Systems
A New Attention Mechanism to Classify Multivariate Time Series
Opinion Target Extraction Using Partially-Supervised Word Alignment Model
Goal-Conditioned Reinforcement Learning: Problems and Solutions
Autonomous Concept Formation
Optimizing the Computation of Overriding in DLN (Extended Abstract)
Constrained Local Latent Variable Discovery
Measuring Ensemble Diversity and Its Effects on Model Robustness
Politeness for the Theory of Algebraic Datatypes (Extended Abstract)
Approximate Lifted Model Construction
On the Effectiveness of CNF and DNF Representations in Contingent Planning
Bandits with Concave Aggregated Reward
High-Performance A\ast Search Using Rapidly Growing Heuristics
Open-Ended Long-Form Video Question Answering via Hierarchical Convolutional Self-Attention Networks
Moving Target Search
Intelligent Robotic Process Automation: Generating Executable RPA Scripts from Unsegmented UI Logs
Diagnosers and Diagnosability of Succinct Transition Systems
A Fast Algorithm for MaxSAT above Half Number of Clauses
Contractions Based on Optimal Repairs (Extended Abstract)
On the Relationship between P-log and LP MLN
Improving Inductive Link Prediction Using Hyper-Relational Facts (Extended Abstract)
Efficient Online Decision Tree Learning with Active Feature Acquisition
On the Compilability of Bounded Numeric Planning
Machine Perception and Description of Pictorial Data
Exploiting k-Degree Locality to Improve Overlapping Community Detection
Bi-Weighting Domain Adaptation for Cross-Language Text Classification
Multi-Group Encoder-Decoder Networks to Fuse Heterogeneous Data for Next-Day Air Quality Prediction
MiSC: Mixed Strategies Crowdsourcing
Computing Twin-width with SAT and Branch & Bound
Point-Based Planning for Multi-Objective POMDPs
Learning Summary-Worthy Visual Representation for Abstractive Summarization in Video
The Modeling of Simple Analogic and Inductive Processes in a Semantic Memory System
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning
Towards Intelligent Visual Understanding under Minimal Supervision
Dual Track Multimodal Automatic Learning through Human-Robot Interaction
Description Logics with Approximate Definitions - Precise Modeling of Vague Concepts
For the Misgendered Chinese in Gender Bias Research: Multi-Task Learning with Knowledge Distillation for Pinyin Name Gender Prediction
Incentive-Compatible Selection for One or Two Influentials
Mechanism Design with Uncertainty
Approximate Value Iteration with Temporally Extended Actions (Extended Abstract)
A Knowledge-Level Account of Abduction
Adversarial Constraint Learning for Structured Prediction
Multi-Agent Only Knowing on Planet Kripke
Complete Inference Rules for the Cancellation Laws
Multi-granularity Knowledge Transfer for Continual Reinforcement Learning
Recommendation with Multi-Source Heterogeneous Information
Towards Ontology Learning from Folksonomies
Modeling Selective Feature Attention for Lightweight Text Matching
A Problem Reduction Approach to Program Synthesis
Handling Noise in Boolean Matrix Factorization
Bridging Generative and Discriminative Models for Unified Visual Perception with Diffusion Priors
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics
High-Level Program Execution in Multi-agent Settings
SaGol: Using MiniGPT-4 to Generate Alt Text for Improving Image Accessibility
An Ontology-based Architecture for Cooperative Information Agents
Layout Analysis of Tree-Structured Scene Frames in Comic Images
Learning Robust Classifiers with Self-Guided Spurious Correlation Mitigation
Beyond Strict Competition: Approximate Convergence of Multi-agent Q-Learning Dynamics
Integrating Vision-Language Semantic Graphs in Multi-View Clustering
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings
FNNC: Achieving Fairness through Neural Networks
Intention-aware routing to minimise delays at electric vehicle charging stations: the research related to this demonstration has been published at IJCAI 2013 [1]
Understanding System Specifications Written in Natural Language
Web Interoperability for Ontology Development and Support with crowd 2.0
Robust Dictionary Learning with Capped l1-Norm
Knowledge Editing for Multi-Hop Question Answering Using Semantic Analysis
Playing FPS Games With Environment-Aware Hierarchical Reinforcement Learning
Logic-Based Ethical Planning (short paper)
Positive Unlabeled Learning with Class-prior Approximation
CLE-ViT: Contrastive Learning Encoded Transformer for Ultra-Fine-Grained Visual Categorization
Improving Search in Social Networks by Agent Based Mining
Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction
The Hardness of Reasoning about Probabilities and Causality
FedTAD: Topology-aware Data-free Knowledge Distillation for Subgraph Federated Learning
Placing High-Diversity Items in Top-N Recommendation Lists
Rumor Detection on Social Media with Graph Structured Adversarial Learning
ChimeraMix: Image Classification on Small Datasets via Masked Feature Mixing
CAM-Based Methods Can See through Walls (Extended Abstract)
FastDiff: A Fast Conditional Diffusion Model for High-Quality Speech Synthesis
Beyond Feature Mapping GAP: Integrating Real HDRTV Priors for Superior SDRTV-to-HDRTV Conversion
Learning Structural Descriptions of Grammar Rules from Examples
On the Effects of Fairness to Adversarial Vulnerability
Fuzzy Conditional Inferences and Fuzzy Inferences with Fuzzy Quantifiers
To Fold or Not to Fold: a Necessary and Sufficient Condition on Batch-Normalization Layers Folding
Computationally Assisted Quality Control for Public Health Data Streams
Non-collective Calibrating Strategy for Time Series Forecasting
Zero-shot Learning for Preclinical Drug Screening
Switch-List Representations in a Knowledge Compilation Map
Fast Server Learning Rate Tuning for Coded Federated Dropout
The Role of Intention Recognition in the Evolution of Cooperative Behavior
PPAT: Progressive Graph Pairwise Attention Network for Event Causality Identification
A Deterministic Analyzer for the Interpretation of Natural Language Commands
Knowledge-Based WSD and Specific Domains: Performing Better than Generic Supervised WSD
Dynamic Weighted Graph Fusion for Deep Multi-View Clustering
Dynamic Conflict Resolution in a Connectionist Rule-Based System
Crowdsourcing as a Tool Supporting Intra-city Communication
Multivariate Probability Calibration with Isotonic Bernstein Polynomials
Compiling Bayesian Networks Using Variable Elimination
Exploiting Domain Knowledge for Approximate Diagnosis
AI-Powered Oracle Bone Inscriptions Recognition and Fragments Rejoining
Statistical Guarantees for the Robustness of Bayesian Neural Networks
A Better Approximation for Bipartite Traveling Tournament in Inter-League Sports Scheduling
Beyond the Prototype: Divide-and-conquer Proxies for Few-shot Segmentation
Graph Classification with Imbalanced Class Distributions and Noise
Learning Advanced Self-Attention for Linear Transformers in the Singular Value Domain
Spatial Average Pooling for Computer Go
Propositional Argumentation and Causal Reasoning
An Extremum Principle for Shape From Contour
Preferred Arguments are Harder to Compute than Stable Extension
Development of Big Data Analytics in a Multi-site Enterprise on the Example of Supply Chain Management
Hyperspectral Image Denoising Using Uncertainty-Aware Adjustor
Explainable Graph Neural Networks via Structural Externalities
Exploiting Visual Semantic Reasoning for Video-Text Retrieval
Co-Regularized Ensemble for Feature Selection
A Parallel Matching Algorithm for Stereo Vision
A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs
A Scalable Approach to Column-Based Low-Rank Matrix Approximation
Graph OOD Detection via Plug-and-Play Energy-based Evaluation and Propagation
On Ranking and Choice Models
Planning Using Multiple Execution Architectures
Learning Forward Models for Robots
BACKDOORL: Backdoor Attack against Competitive Reinforcement Learning
An Improved Filter for Literal Indexing in Resolution Systems
Semi-Supervised Learning of Visual Classifiers from Web Images and Text
SeRO: Self-Supervised Reinforcement Learning for Recovery from Out-of-Distribution Situations
Using Knowledge Representation and Reasoning Tools in the Design of Robots
SparseTT: Visual Tracking with Sparse Transformers
Efficiently Exploiting Symmetries in Real Time Dynamic Programming
Empirical Bias for Version Space
ViT-P3DE∗: Vision Transformer Based Multi-Camera Instance Association with Pseudo 3D Position Embeddings
Empowering Time Series Analysis with Large Language Models: A Survey
A Modal Logic for Reasoning about Possibilistic Belief Fusion
VMAgent: A Practical Virtual Machine Scheduling Platform
Learning Optimal Bayesian Networks Using A* Search
Learning Bilingual Lexicons Using the Visual Similarity of Labeled Web Images
Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active Learning
Computing Least Common Subsumers in Description Logics with Existential Restrictions
Improving Efficiency of Answer Set Planning with Rough Solutions from Large Language Models for Robotic Task Planning
GraphReach: Position-Aware Graph Neural Network using Reachability Estimations
Input-Expectation Discrepancy Reduction: A Ubiquitous Mechanism
Direct Quantization for Training Highly Accurate Low Bit-width Deep Neural Networks
Revealing and interpreting crowd stories in online social environments
Extensible Cross-Modal Hashing
A Fast Goal Recognition Technique Based on Interaction Estimates
Map2Traj: Street Map Piloted Zero-shot Trajectory Generation Method for Wireless Network Optimization
A Systematic Survey of Chemical Pre-trained Models
Do not Lose the Details: Reinforced Representation Learning for High Performance Visual Tracking
Using Learned Policies in Heuristic-Search Planning
Turning 30: New Ideas in Inductive Logic Programming
Deep Reinforced Learning for the Governance of a Sample Microgrid
MPPQ: Enhancing Post-Training Quantization for LLMs via Mixed Supervision, Proxy Rounding, and Pre-Searching
Towards Hybrid Spatial Reasoning
Dialogues Between Humans and an Artificial Belief System
Success Prediction on Crowdfunding with Multimodal Deep Learning
Transportability and Generality in a Natural-Language Interface System
Transferable Adversarial Attacks for Image and Video Object Detection
Cutting the Black Box: Conceptual Interpretation of a Deep Neural Net with Multi-Modal Embeddings and Multi-Criteria Decision Aid
Defending Against Backdoor Attacks by Layer-wise Feature Analysis (Extended Abstract)
De-biasing Covariance-Regularized Discriminant Analysis
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription
Abstraction Heuristics for Classical Planning Tasks with Conditional Effects
ERICA and WikiTalk
Image Reconstruction from Zero-Crossings
A Bayesian Latent Variable Model of User Preferences with Item Context
Constraint Posting for Verifying VLSI Circuits
Exploring Analogical Inference in Healthcare
The Orthogonality of Weight Vectors: The Key Characteristics of Normalization and Residual Connections
Multi-View Multi-Label Learning with View-Specific Information Extraction
Unary Integer Linear Programming with Structural Restrictions
Adversarial Feature Disentanglement for Long-Term Person Re-identification
Noise and Knowledge Acquisition
Complexity of Manipulating and Controlling Approval-Based Multiwinner Voting
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Reinforcement Learning for Cross-Domain Hyper-Heuristics
Inspection of Blackbox Models for Evaluating Vulnerability in Maternal, Newborn, and Child Health
Multi-modal Anchor Gated Transformer with Knowledge Distillation for Emotion Recognition in Conversation
Exploiting Graph Regularized Multi-dimensional Hawkes Processes for Modeling Events with Spatio-temporal Characteristics
Development of an Expert System for Diagnosing Problems on a Paper Machine
Automata Theory for Reasoning About Actions
SQuAD-SRC: A Dataset for Multi-Accent Spoken Reading Comprehension
Model Invocation for Three Dimensional Scene Understanding
Deploying Information Agents on the Web
Knowledge And Its Use In A Program For Going From One Place To Another
Natural Language and Exploration of an Information Space: The ALFresco Interactive System
Predicting dominance in multi-person videos
Discriminative Dictionary Learning With Ranking Metric Embedded for Person Re-Identification
Assessing Demographic Bias Transfer from Dataset to Model: A Case Study in Facial Expression Recognition
Distributed Decoupling of Multiagent Simple Temporal Problems
Unveiling Maternity and Infant Care Conversations: A Chinese Dialogue Dataset for Enhanced Parenting Support
Explicit Alignment Learning for Neural Machine Translation
Efficient Estimation of Influence Functions for SIS Model on Social Networks
Stacked Generalizations: When Does It Work?
Great Expectations. Part I: On the Customizability of Generalized Expected Utility
Recent Advances in Imitation Learning from Observation
The Range and Roots Constraints: Specifying Counting and Occurrence Problems
A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics
Regret-based Utility Elicitation in Constraint-based Decision Problems
Smart Voting
Characterizing Search Spaces
Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems
Robust Object Tracking with a Case-Base Updating Strategy
Detecting Adversarial Faces Using Only Real Face Self-Perturbations
Normative Practical Reasoning via Argumentation and Dialogue
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling
Multi-view Clustering via Late Fusion Alignment Maximization
Causality Based Propagation History Ranking in Social Networks
Recommendation Using Textual Opinions
Symbolic Revision of Theories with M-of-N Rules
Iterative Flattening Search for the Flexible Job Shop Scheduling Problem
Shifting Meaning Representations
Link Prediction via Ranking Metric Dual-Level Attention Network Learning
Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty (Extended Abstract)
Knowledge Representation of Design in Many-Sorted Logic
AGM Revision of Beliefs about Action and Time
Automatically attaching semantic metadata to Web Services
CAGAN: Consistent Adversarial Training Enhanced GANs
Asymptotic Analysis of Weighted Fair Division
Progression of Situation Calculus Action Theories with Incomplete Information
k-Nearest Neighbors by Means of Sequence to Sequence Deep Neural Networks and Memory Networks
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance
A Representation for Natural Category Systems
Who Should Pay the Cost: A Game-theoretic Model for Government Subsidized Investments to Improve National Cybersecurity
Deep Learning for Abstract Argumentation Semantics
Three Strategies to Success: Learning Adversary Models in Security Games
Online Positive and Unlabeled Learning
M2RL: A Multi-player Multi-agent Reinforcement Learning Framework for Complex Games
Recurrent Generative Networks for Multi-Resolution Satellite Data: An Application in Cropland Monitoring
How Well Do Machines Perform on IQ tests: a Comparison Study on a Large-Scale Dataset
Digital Good Exchange
Extracting Constraint Satisfaction Subproblems
Planning with Expectation Models
Word Sense Disambiguation with Distribution Estimation
Using Features From Pre-trained TimeNET For Clinical Predictions
Power-law Distribution Aware Trust Prediction
MedDiT: A Knowledge-Controlled Diffusion Transformer Framework for Dynamic Medical Image Generation in Virtual Simulated Patient
AttnSense: Multi-level Attention Mechanism For Multimodal Human Activity Recognition
Temporal Reasoning and Termination of Programs
Adversarial Machine Learning with Double Oracle
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract)
Feature Hashing for Network Representation Learning
Towards Formal Verification of Neuro-symbolic Multi-agent Systems
On Suboptimality of GreConD for Boolean Matrix Factorisation of Contranominal Scales
Truthful Risk-Managed Combinatorial Auctions
A lookahead strategy for solving large planning problems
Deep Multi-View Concept Learning
Node Embedding over Temporal Graphs
Boosting Offline Reinforcement Learning with Residual Generative Modeling
Probabilistic bipolar abstract argumentation frameworks: complexity results
On Computational Complexity of Pickup-and-Delivery Problems with Precedence Constraints or Time Windows
Proceedings of the 2nd International Workshop on Social Influence Analysis co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, New York, USA, July 9, 2016
A Task-sets Generator for Supporting the Analysis of Multi-Agent Systems under General Purpose and Real-Time Conditions
gSASRec: Reducing Overconfidence in Sequential Recommendation Trained with Negative Sampling (Extended Abstract)
A Generic Approach for Accelerating Stochastic Zeroth-Order Convex Optimization
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries
Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference
Generative Adversarial Networks for Video Prediction with Action Control
Tensorial Multi-view Clustering with Deep Anchor Graph Projection
A Weighted Technique in Heuristic Search
On the Classification of Patterns by the Karhunen-Loeve Orthogonal System Without Supervisor
Approximating Game-Theoretic Optimal Strategies for Full-scale Poker
Structure Inference for Bayesian Multisensory Perception and Tracking
Structural Inferences from Massive Datasets
Differentially Private Correlation Alignment for Domain Adaptation
Reinforced Negative Sampling for Recommendation with Exposure Data
Strategies for Learning Search Control Rules: An Explanation-based Approach
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015
Beyond What If: Advancing Counterfactual Text Generation with Structural Causal Modeling
Automatic Generation of Some Results in Finite Algebra
On Measuring Inconsistency in Graph Databases with Regular Path Constraints (Abstract Reprint)
PrivSGP-VR: Differentially Private Variance-Reduced Stochastic Gradient Push with Tight Utility Bounds
Collective Intelligence of Honey Bees for Energy and Sustainability
HMLasso: Lasso with High Missing Rate
RecoNet: An Interpretable Neural Architecture for Recommender Systems
CureGraph: Contrastive Multi-Modal Graph Representation Learning for Urban Living Circle Health Profiling and Prediction (Abstract Reprint)
A Knowledge-Based System for Locating Missing High Cards in Bridge
The psycho-env corpus: research articles annotated for knowledge discovery on correlating mental diseases and environmental factors
Diagnosing and Solving Over-Determined Constraint Satisfaction Problems
Self-Consistent Model-based Adaptation for Visual Reinforcement Learning
A Neural Column Generation Approach to the Vehicle Routing Problem with Two-Dimensional Loading and Last-In-First-Out Constraints
A Scalable Scheme for Counting Linear Extensions
Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders
A Semantic Expert Using an Online Standard Dictionary
Model-Building in the Visions System
Single-Agent Parallel Window Search: A Summary of Results
Real-Time Navigation in Classical Platform Games via Skill Reuse
SiWare: Contextual Understanding of Industrial Data for Situational Awareness
Trust-Guided Behavior Adaptation Using Case-Based Reasoning
Positive and Unlabeled Learning for Detecting Software Functional Clones with Adversarial Training
Practical Linear Models for Large-Scale One-Class Collaborative Filtering
Optimizing Prosumer Policies in Periodic Double Auctions Inspired by Equilibrium Analysis
Attack Semantics for Abstract Argumentation
Consistent and Specific Multi-view Relative-Transform Classification
Nash Equilibria in Concurrent Games with Lexicographic Preferences
Causal Inference with Rare Events in Large-Scale Time-Series Data
Continuous nonlinear dimensionality reduction by kernel Eigenmaps
Position Focused Attention Network for Image-Text Matching
Suggesting Email View Filters for Triage and Search
Offline Reinforcement Learning with Behavioral Supervisor Tuning
An Improved Decision-DNNF Compiler
Opinion Diffusion and Campaigning on Society Graphs
Measuring the Intensity of Attacks in Argumentation Graphs with Shapley Value
myPlanet: an ontology-driven Web-based personalized news service
Range Data Understanding Guided by a Junction Dictionary
Evolutionary Gradient Descent for Non-convex Optimization
Greedy Structure Search for Sum-Product Networks
Hundred-Kilobyte Lookup Tables for Efficient Single-Image Super-Resolution
Co-ordinate Square: Solution to Many Chess Pawn Endgames
Translating Embeddings for Knowledge Graph Completion with Relation Attention Mechanism
Using Experience to Generate New Regulations
Improving the Performance of Recommender Systems That Use Critiquing
Explainable Reinforcement Learning via a Causal World Model
Transforming Recommender Systems: Balancing Personalization, Fairness, and Human Values
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems
A Teacher Classroom Dress Assessment Method Based on a New Assessment Dataset
Delaying Commitment in Plan Recognition Using Combinatory Categorial Grammars
How to Mitigate Information Loss in Knowledge Graphs for GraphRAG: Leveraging Triple Context Restoration and Query-Driven Feedback
Weighted Double Q-learning
Using Active Connection Graphs for Reasoning with Recursive Rules
Towards Knowledge Acquisition From Natural Language Documents - Automatic Model Construction From Hardware Manual
Q-Detection: A Quantum-Classical Hybrid Poisoning Attack Detection Method
Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search
Last Steps Towards an Ultimate PROLOG
Het2Hom: Representation of Heterogeneous Attributes into Homogeneous Concept Spaces for Categorical-and-Numerical-Attribute Data Clustering
Shallow Planning and Recovery Planning Based on the Vertical Decomposition of the Flight Domain
Be Patient and Tolerate Imprecision: How Autonomous Agents can Coordinate Effectively
Vision Shared and Representation Isolated Network for Person Search
CoSDA-ML: Multi-Lingual Code-Switching Data Augmentation for Zero-Shot Cross-Lingual NLP
Recognition of polyhedrons with a range finder
Evidential Reasoning in Semantic Networks: A Formal Theory
Image Composition with Depth Registration
A Modular Parser for French
Interactive Martingale Boosting
Domain Adaptation with Ensemble of Feature Groups
A Survey of Robotic Language Grounding: Tradeoffs between Symbols and Embeddings
Reasoning about Space and Change with Answer Set Programming Modulo Theories
On the Tip of My Thought: Playing the Guillotine Game