yusuke1997/dblp-id-title huggingface dataset:
Physics-Informed Long-Sequence Forecasting From Multi-Resolution Spatiotemporal Data
Towards lifted maximum expected utility
Verifying Fault-tolerance in Parameterised Multi-Agent Systems
Strong Equivalence for Logic Programs with Preferences
Understanding Bias in Datasets using Topological Data Analysis
Minimal and Absent Information in Contexts
Semi-Supervised Regression with Co-Training
Is Uncertainty Quantification in Deep Learning Sufficient for Out-of-Distribution Detection?
Towards Efficient Default Reasoning
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions
KMF: Knowledge-Aware Multi-Faceted Representation Learning for Zero-Shot Node Classification
Peer-Prediction in the Presence of Outcome Dependent Lying Incentives
Implementing Argumentation Schemes as Logic Programs
MetaER-TTE: An Adaptive Meta-learning Model for En Route Travel Time Estimation
When Oscillators Stop Oscillating
Towards A Relational Approach For Tool Creation By Robots
Learning Class-Transductive Intent Representations for Zero-shot Intent Detection
Logic Programming for Robot Control
APIMig: A Project-Level Cross-Multi-Version API Migration Framework Based on Evolution Knowledge Graph
SCMT: Self-Correction Mean Teacher for Semi-supervised Object Detection
Differentiable Physics and Stable Modes for Tool-Use and Manipulation Planning - Extended Abtract
KGCL: Knowledge-Enhanced Graph Contrastive Learning for Retrosynthesis Prediction Based on Molecular Graph Editing
Sharing Experience in Multitask Reinforcement Learning
Complex Query Answering with Neural Link Predictors (Extended Abstract)
Approximate Algorithms for k-Sparse Wasserstein Barycenter with Outliers
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation
Recurrent Collaborative Filtering for Unifying General and Sequential Recommender
STCA: Spatio-Temporal Credit Assignment with Delayed Feedback in Deep Spiking Neural Networks
Dynamic Weighting A* Search-Based MAP Algorithm for Bayesian Networks
Knowledge Amalgamation from Heterogeneous Networks by Common Feature Learning
A Conceptual Theory of Question Answering
Improving a Virtual Human Using a Model of Degrees of Grounding
Some Remarks on Heuristic Search Algorithms
On Tackling Explanation Redundancy in Decision Trees (Extended Abstract)
Long-Term Human Motion Prediction by Modeling Motion Context and Enhancing Motion Dynamics
Prior-Based Dual Additive Latent Dirichlet Allocation for User-Item Connected Documents
Algorithms for Fair Load Shedding in Developing Countries
Euler Clustering
NoA - A Normative Agent Architecture
CASA: CNN Autoencoder-based Score Attention for Efficient Multivariate Long-term Time-series Forecasting
A Framework for Communication Planning on Mobile Devices
CMMU: A Benchmark for Chinese Multi-modal Multi-type Question Understanding and Reasoning
Building and Exploiting User Models
Crowd Learning: Improving Online Decision Making Using Crowdsourced Data
End-to-End Signal Factorization for Speech: Identity, Content, and Style
Large Scale Audiovisual Learning of Sounds with Weakly Labeled Data
LitE-SNN: Designing Lightweight and Efficient Spiking Neural Network through Spatial-Temporal Compressive Network Search and Joint Optimization
A Direct Boosting Approach for Semi-supervised Classification
Exponential Family Sparse Coding with Application to Self-taught Learning
Experimental Studies Of Human Decision-Making And Its Simulation By Situation Control Technique
A Framework for Declarative Update Specifications in Logic Programs
A Universal Weak Method: Summary of Results
Multiplicative Sparse Feature Decomposition for Efficient Multi-View Multi-Task Learning
Continual Learning with Pre-Trained Models: A Survey
Terminological Logics with Modal Operators
Graph-based Molecular Representation Learning
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
Computer Models of Human Personality Traits
Universal Adaptive Data Augmentation
An Attack on the Problems of Speech Analysis and Synthesis with the Power of an On-Line System
Web-Integrated Information Integration
Inter-node Hellinger Distance based Decision Tree
Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs
Semantics of Perspectival Utterances
Adaptive Ensemble Active Learning for Drifting Data Stream Mining
Strategies for Mechanizing Structural Induction
Using Focus Rules in Requirements Elicitation Dialogues
Semi-Supervised Active Learning with Cross-Class Sample Transfer
Neat Explanation of Proof Trees
On Smoother Attributions using Neural Stochastic Differential Equations
Active Inference for Dynamic Bayesian Networks
Imitation Learning of Team-play in Multiagent System based on Hidden Markov Modeling
Advancing Embodied Agent Security: From Safety Benchmarks to Input Moderation
Periodic-CRN: A Convolutional Recurrent Model for Crowd Density Prediction with Recurring Periodic Patterns
Semi-Supervised Metric Learning Using Pairwise Constraints
Data-driven Random Fourier Features using Stein Effect
Overflow Aware Quantization: Accelerating Neural Network Inference by Low-bit Multiply-Accumulate Operations
A General Backtrack Algorithm That Eliminates Most Redundant Tests
On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions
Edge Finding, Segmentation Of Edges And Recognition Of Complex Objects
Toward a State Based Conceptual Representation
Label Distribution Learning with Label Correlations via Low-Rank Approximation
Increasingly Cautious Optimism for Practical PAC-MDP Exploration
Learning Compact Neural Word Embeddings by Parameter Space Sharing
Region-Aware Temporal Inconsistency Learning for DeepFake Video Detection
Towards Continual Learning in Interactive Digital Assistants for Process Automation
Generative Ontology of Vaisesika
Optimal Pricing for Improving Efficiency of Taxi Systems
Hi-Fi Ark: Deep User Representation via High-Fidelity Archive Network
Active Learning for Black-Box Semantic Role Labeling with Neural Factors
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China
Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity
A Framework for Recommending Relevant and Diverse Items
T-CVAE: Transformer-Based Conditioned Variational Autoencoder for Story Completion
Are Large Language Models Fluent in Declarative Process Mining?
Landmark Heuristics for Lifted Classical Planning
Verifying Pushdown Multi-Agent Systems against Strategy Logics
Computer Control of Multijoined Finger System
A Knowledge-Based Software Information System
Constructing Nominal X-of-N Attributes
Sensitivity Analysis in Markov Networks
Compressing Exact Cover Problems with Zero-suppressed Binary Decision Diagrams
AgriBERT: Knowledge-Infused Agricultural Language Models for Matching Food and Nutrition
On Multiple Kernel Learning with Multiple Labels
Reaching Envy-Free States in Distributed Negotiation Settings
Knowledge Engineering for Intelligent Decision Support
Automation of Diagrammatic Reasoning
Can Meta-Interpretive Learning outperform Deep Reinforcement Learning of Evaluable Game strategies?
Coupling Category Alignment for Graph Domain Adaptation
Open Category Classification by Adversarial Sample Generation
A motion detection system for video surveillance
Agreement-Based Joint Training for Bidirectional Attention-Based Neural Machine Translation
Improving Tandem Mass Spectra Analysis with Hierarchical Learning
FreqLLM: Frequency-Aware Large Language Models for Time Series Forecasting
Label-Sensitive Task Grouping by Bayesian Nonparametric Approach for Multi-Task Multi-Label Learning
Computing Programs for Generalized Planning as Heuristic Search (Extended Abstract)
TsCA: On the Semantic Consistency Alignment via Conditional Transport for Compositional Zero-Shot Learning
A Deterministic Syntactic-Semantic Parser
Empowering Quantum Serverless Circuit Deployment Optimization via Graph Contrastive Learning and Learning-to-Rank Co-designed Approaches
A Simulated Annealing Approach to the Travelling Tournament Problem
Tractable Pareto Optimization of Temporal Preferences
Learning to Generate Poetic Chinese Landscape Painting with Calligraphy
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization
A Random Model for Argumentation Framework: Phase Transitions, Empirical Hardness, and Heuristics
Bridging the Gap between Reality and Ideality of Entity Matching: A Revisting and Benchmark Re-Constrcution
Logically Consistent Adversarial Attacks for Soft Theorem Provers
StyleCLIPDraw: Coupling Content and Style in Text-to-Drawing Translation
A Statistical Model for Flexible String Similarity
Deep Light-field-driven Saliency Detection from a Single View
GRAPE: Heterogeneous Graph Representation Learning for Genetic Perturbation with Coding and Non-Coding Biotype
Discriminative Learning of Beam-Search Heuristics for Planning
Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis
Military Ontologies for Information Dissemination at the Tactical Edge
A Compact Relational Structure Representation
Computing Circumscription Revisited: Preliminary Report
An Analysis of First-Order Logics of Probability
Towards Trustable Explainable AI
Matting Moments: A Unified Data-Driven Matting Engine for Mobile AIGC in Photo Gallery
StarVars - Effective Reasoning about Relative Directions
Improving Word Sense Disambiguation in Lexical Chaining
Measurement Interpretation in Qualitative Process Theory
A Simple-Transition Model for Relational Sequences
Aspects of Distributed and Modular Ontology Reasoning
Long-Term Individual Causal Effect Estimation via Identifiable Latent Representation Learning
GOCPT: Generalized Online Canonical Polyadic Tensor Factorization and Completion
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013
From Sparse to Complete: Semantic Understanding Based on Stroke Evolution in On-the-fly Sketch-based Image Retrieval
Subgraph Neighboring Relations Infomax for Inductive Link Prediction on Knowledge Graphs
AddGraph: Anomaly Detection in Dynamic Graph Using Attention-based Temporal GCN
Belief Update Revisited
Boundary Perception Guidance: A Scribble-Supervised Semantic Segmentation Approach
Intelligent Assistance through Collaborative Manipulation
Medical Concept Embedding with Time-Aware Attention
Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis
Hybrid Approach of Relation Network and Localized Graph Convolutional Filtering for Breast Cancer Subtype Classification
Policy Optimization with Second-Order Advantage Information
Few-shot Novel Category Discovery
Improved Deep Unsupervised Hashing with Fine-grained Semantic Similarity Mining for Multi-Label Image Retrieval
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle
Optimal and Suboptimal Singleton Arc Consistency Algorithms
Recognition and localization of food in cooking videos
Service Exchange Problem
A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model Prior
Global Optimality of Single-Timescale Actor-Critic under Continuous State-Action Space: A Study on Linear Quadratic Regulator
Robotic Object Detection: Learning to Improve the Classifiers Using Sparse Graphs for Path Planning
A Scheme for Feature Construction and a Comparison of Empirical Methods
AutoVideo: An Automated Video Action Recognition System
Mining Twitter for an Explanatory Model of Social Influence
Adaptive Manifold Regularized Matrix Factorization for Data Clustering
Efficient Dominant Point Algorithms for the Multiple Longest Common Subsequence (MLCS) Problem
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates
Two-Sided Facility Location Games
A Convengent Solution to Tensor Subspace Learning
A Human-AI Teaming Approach for Incremental Taxonomy Learning from Text
VidyutVanika21: An Autonomous Intelligent Broker for Smart-grids
DeepMellow: Removing the Need for a Target Network in Deep Q-Learning
Market Manipulation: An Adversarial Learning Framework for Detection and Evasion
Foundations of Probabilistic Logic
Towards Enabling Binary Decomposition for Partial Label Learning
On the Computational Complexity of Gossip Protocols
The Experimental LISP Machine
Analogical Proportions: Why They Are Useful in AI
Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes
Characterizing Solution Concepts in Games Using Knowledge-Based Programs
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks
FedConPE: Efficient Federated Conversational Bandits with Heterogeneous Clients
Raising Expectations in GDA Agents Acting in Dynamic Environments
An Efficient Evolutionary Algorithm for Minimum Cost Submodular Cover
Intelligent and Learning Agents: Four Investigations
Automotive Stereo Vision Using Deconvolution Technique
Backtracking Through Biconnected Components of a Constraint Graph
The Relevance of Non-Human Errors in Machine Learning
Chain of Circles for Matching and Recognition of Planar Shapes
Context-Independent Claim Detection for Argument Mining
A Trust and Reputation Model for Supply Chain Management
Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck
Guided Attention Network for Concept Extraction
A Topology-Based Approach for Followees Recommendation in Twitter
Extending DTGOLOG with Options
Analyzing the Impact of Knowledge and Search in Monte Carlo Tree Search in Go
Graph Filter-based Multi-view Attributed Graph Clustering
Possibility Theory as a Basis for Qualitative Decision Theory
Adaptive Budget Allocation for Maximizing Influence of Advertisements
Learning Hidden Causes from Empirical Data
An Indirect Approach to Types of Speech Acts
Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation
Building Portable Options: Skill Transfer in Reinforcement Learning
Set Variables
Equational Reasoning using AC Constraints
Leadership in Singleton Congestion Games
Inexact Inference for Rule-Based Damage Assessment of Existing Structures
ChronoFact: Timeline-based Temporal Fact Verification
Advancing Post-Hoc Case-Based Explanation with Feature Highlighting
Distance Preservation Games
Simplified Risk-aware Decision Making with Belief-dependent Rewards in Partially Observable Domains (Extended Abstract)
Behavioral Cloning from Observation
Fostering Collective Action in Complex Societies Using Community-Based Agents
Pivotal Relationship Identification: The K-Truss Minimization Problem
SDDiff: Boosting Radar Perception via Spatial-Doppler Diffusion
Beyond the Nystrom Approximation: Speeding up Spectral Clustering using Uniform Sampling and Weighted Kernel k-means
When Does Diversity of Agent Preferences Improve Outcomes in Selfish Routing?
Evaluating Strategies for Running from the Cops
Improving Paratope and Epitope Prediction by Multi-Modal Contrastive Learning and Interaction Informativeness Estimation
Dual-Path in Dual-Path Network for Single Image Dehazing
Predictive Control Parser: Extended LINGOL
Online Egocentric Models for Citation Networks
Discrete Interventions in Hawkes Processes with Applications in Invasive Species Management
Contrastive Learning for Sign Language Recognition and Translation
DiffChaser: Detecting Disagreements for Deep Neural Networks
QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules
Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings
Coloring Graph Neural Networks for Node Disambiguation
Aspect Term Extraction with History Attention and Selective Transformation
Knowledge Engineering in Nuclear Physics
Simulating Sets in Answer Set Programming
Matchmaking for Information Agents
TopicKA: Generating Commonsense Knowledge-Aware Dialogue Responses Towards the Recommended Topic Fact
Text-based Person Search via Multi-Granularity Embedding Learning
Privacy-aware Synthesizing for Crowdsourced Data
Computer Interpretation of PEANUTS Cartoons
An Algorithm which Automatically Constructs Discrimination Graphs in a Visual Knowledge Base
A Computational Theory of Belief Introspection
Event Data Collection for Recent Personal Questions
Structural Results for Cooperative Decentralized Control Models
Deep Learning Meets Software Engineering: A Survey on Pre-Trained Models of Source Code
Collaborative Learning for Weakly Supervised Object Detection
Deriving Properties of Belief Update from Theories of Action (II)
Joint Modeling of Argument Identification and Role Determination in Chinese Event Extraction with Discourse-Level Information
LIMES - A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data
Active Deep Multi-view Clustering
DcDsDiff: Dual-Conditional and Dual-Stream Diffusion Model for Generative Image Tampering Localization
Let's Group: A Plug-and-Play SubGraph Learning Method for Memory-Efficient Spatio-Temporal Graph Modeling
Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odometry Error
Bi-ISCA: Bidirectional Inter-Sentence Contextual Attention Mechanism for Detecting Sarcasm in User Generated Noisy Short Text
CuCo: Graph Representation with Curriculum Contrastive Learning
Co-occurrence Feature Learning from Skeleton Data for Action Recognition and Detection with Hierarchical Aggregation
Identifying Differences in Social Responsiveness among Preschoolers Interacting with or Watching Social Robots
Computer Games - Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers
Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen Estimator
Using Predictive Representations to Improve Generalization in Reinforcement Learning
Interactive Multimodal Learning via Flat Gradient Modification
Reasoning and Verification with Data Petri Nets
Semantic Interpretation Based on the Multi-World Model
CTPPL: A Continuous Time Probabilistic Programming Language
Browsing Regularities in Hedonic Content Systems
Grape: Grammar-Preserving Rule Embedding
Linear Dimensionality Reduction for Multi-label Classification
Pairwise Diffusion of Preference Rankings in Social Networks
Node Aggregation for Distributed Inference in Bayesian Networks
Empowering LLMs with Logical Reasoning: A Comprehensive Survey
Direction Coding Method And Its Application To Scene Analysis
A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals
Differentiated Attentive Representation Learning for Sentence Classification
Using Knowledge to Isolate Search in Route Finding
Practical PAC Learning
Continuous Body and Hand Gesture Recognition for Natural Human-Computer Interaction: Extended Abstract
Rainbow Cycle Number and EFX Allocations: (Almost) Closing the Gap
Deriving a multi-domain information extraction system from a rough ontology
PPTFormer: Pseudo Multi-Perspective Transformer for UAV Segmentation
Learning and Planning Under Uncertainty for Green Security
Dynamical Aspects of Knowledge Evolution - Tracking Changes in Knowledge Bases
Decentralized Unsupervised Learning of Visual Representations
Modularity and Design in Reactive Intelligence
Weakly Supervised Dense Video Captioning via Jointly Usage of Knowledge Distillation and Cross-modal Matching
Game Engine Learning from Video
Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming
The Role of Plans in Automated Consultation
Artificial Intelligence And Aesthetics
Context-aware Path Ranking for Knowledge Base Completion
Reasoning with Words about Geographic Information
Differentiable Model Selection for Ensemble Learning
CAST: Collaborative Agents for Simulating Teamwork
Reasoning About Inconsistent Formulas
Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence
An Approach to Medical Diagnosis Based on Conceptual Structures
Self-attentive Biaffine Dependency Parsing
Ambiguous Part-of-Speech Tagging for Improving Accuracy and Domain Portability of Syntactic Parsers
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting
A norm optimisation approach to SDGs: tackling poverty by acting on discrimination
Approximate Reasoning Based on Fuzzy Logic
Stochastic Constraint Programming with And-Or Branch-and-Bound
Temporal Constrained Feasible Subspace Learning for Human Pose Forecasting
Qualitative Reasoning about Perception and Belief
Solving Non-Markovian Control Tasks with Neuro-Evolution
The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality
Harnessing Fourier Isovists and Geodesic Interaction for Long-Term Crowd Flow Prediction
MS-DPPs: Multi-Source Determinantal Point Processes for Contextual Diversity Refinement of Composite Attributes in Text to Image Retrieval
ShortcutProbe: Probing Prediction Shortcuts for Learning Robust Models
Allocating Opportunities in a Dynamic Model of Intergenerational Mobility (Extended Abstract)
Stereotype Extraction with Default Clustering
Induction of Relational Productions in the Presence of Background Information
Cross-Media Shared Representation by Hierarchical Learning with Multiple Deep Networks
Short Text Classification Improved by Learning Multi-Granularity Topics
Personalized Multimedia Item and Key Frame Recommendation
IPP Program Description
Revisiting Neural Networks for Continual Learning: An Architectural Perspective
Where You Like to Go Next: Successive Point-of-Interest Recommendation
On the Effective Configuration of Planning Domain Models
OT-DETECTOR: Delving into Optimal Transport for Zero-shot Out-of-Distribution Detection
Computer Games - 7th Workshop, CGW 2018, Held in Conjunction with the 27th International Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, July 13, 2018, Revised Selected Papers
Discovering Admissible Heuristics by Abstracting and Optimizing: A Transformational Approach
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators
Bi-DiffCD: Bidirectional Diffusion Guided Collaborative Change Detection for Arbitrary-Modal Remote Sensing Images
Can Domain Specific Knowledge Be Generalized?
Counterfactual Explanations for Continuous Action Reinforcement Learning
Private Stochastic Convex Optimization and Sparse Learning with Heavy-tailed Data Revisited
Strategic Interactions Among Agents with Bounded Rationality
Perturbation Guiding Contrastive Representation Learning for Time Series Anomaly Detection
A Comparative Study of Distributional and Symbolic Paradigms for Relational Learning
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
SAT Encodings of State-Space Reachability Problems in Numeric Domains
Image Captioning Evaluation in the Age of Multimodal LLMs: Challenges and Future Perspectives
Fast Learning from Distributed Datasets without Entity Matching
Conceptual Overlays: A Mechanism for the Interpretation of Sentence Meaning in Context
Effective Graph Context Representation for Document-level Machine Translation
Crowdsourcing Theorem Proving via Natural Games
Basket Representation Learning by Hypergraph Convolution on Repeated Items for Next-basket Recommendation
Weak Supervision Enhanced Generative Network for Question Generation
Experiments in Map-Guided Photo Interpretation
Communication and Inference through Situations
Conditional Independence for Iterated Belief Revision
Parameterised Verification of Data-aware Multi-Agent Systems
Interpolation Consistency Training for Semi-supervised Learning
Between Belief Bases and Belief Sets: Partial Meet Contraction
Proceedings of the 2nd International Workshop on Spatio-Temporal Reasoning and Learning (STRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Macao, S.A.R., August 21, 2023
A Learning System and Its Psychological Implications