yusuke1997/dblp-id-title huggingface dataset:
Minimizing Reachability Times on Temporal Graphs via Shifting Labels
What Makes You Special? Contrastive Heuristics Based on Qualified Dominance
Simulation-Assisted Optimization for Large-Scale Evacuation Planning with Congestion-Dependent Delays
Modeling with Homophily Driven Heterogeneous Data in Gossip Learning
Classification and Representation Joint Learning via Deep Networks
Meta-Interpretive Learning Using HEX-Programs
Reinforcement Learning in POMDPs Without Resets
Reasoning About Persistence: A Theory of Actions
Detecting and Exploiting Subproblem Tractability
Reflection as a Tool for Integration: An Exercise in Procedural Introspection
An Inverse Optimization Approach to Contextual Inverse Optimization
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms
Context-specific Sign-propagation in Qualitative Probabilistic Networks
Ad Hoc Teamwork With Behavior Switching Agents
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey
Legal Issues for Personalised Advertising on Internet: The AIMedia Case Study
Skill Reconstruction as Induction of LQ Controllers with Subgoals
Multi-player Multi-armed Bandits with Delayed Feedback
Pedestrians' Route Choice Model for Shopping Behavior
A Smart Trader for Portfolio Management based on Normalizing Flows
Instance-Level Metalearning for Outlier Detection
CoLA-Former: Graph Transformer Using Communal Linear Attention for Lightweight Sequential Recommendation
On Redundant Topological Constraints (Extended Abstract)
Tree Analysis Techniques in Tsumego
INFP: INdustrial Video Anomaly Detection via Frequency Prioritization
Data Void Exploits: Tracking & Mitigation Strategies (Extended Abstract)
Risk-Averse Trust Region Optimization for Reward-Volatility Reduction
Traffic Light Scheduling, Value of Time, and Incentives
Automating Intervention Discovery from Scientific Literature: A Progressive Ontology Prompting and Dual-LLM Framework
The Hearsay Speech Understanding System: An Example of the Recognition Process
Cognitive Modeling of Semantic Fluency Using Transformers
Highly Accurate Gaze Estimation Using a Consumer RGB-D Sensor
A Formal Analysis of Enthymematic Arguments
Hierarchical Production System
User-as-Graph: User Modeling with Heterogeneous Graph Pooling for News Recommendation
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT
Contextual Negations and Reasoning with Contradictions
On the Complexity of Global Scheduling Constraints under Structural Restrictions
Ordering-Based Causal Discovery with Reinforcement Learning
DriftRemover: Hybrid Energy Optimizations for Anomaly Images Synthesis and Segmentation
Scalable Optimal Margin Distribution Machine
Who Looks like Me: Semantic Routed Image Harmonization
Case-Based Reasoning for Action Planning by Representing Situations at the Abstract Layers
Learning Subgoal Sequences for Planning
Compilation of Logical Arguments
Bridging the Gap Between Refinement and Heuristics in Abstraction
Attributed Subspace Clustering
An Introduction to Executable Modal and Temporal Logics
Automating Human Inference
COBRA: A Fast and Simple Method for Active Clustering with Pairwise Constraints
Ethical By Designer - How to Grow Ethical Designers of Artificial Intelligence (Extended Abstract)
Towards a Mathematical Theory of Program Synthesis
Knowledge-Informed Deep Learning for Irrigation Type Mapping from Remote Sensing
Information Acquisition in Minimal Window Search
Global Optimization of a Consistent Labeling
Effect-Abstraction Based Relaxation for Linear Numeric Planning
FASTUS: A Finite-state Processor for Information Extraction from Real-world Text
Cardinality Queries over DL-Lite Ontologies
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
DISPUTool - A tool for the Argumentative Analysis of Political Debates
Online Continuous-Time Tensor Factorization Based on Pairwise Interactive Point Processes
AI, Where It Has Been and Where It Is Going
Dual Enhancement in ODI Super-Resolution: Adapting Convolution and Upsampling to Projection Distortion
Using a Prolog Engine to Integrate Multiple Knowledge Sources: The KCM/Help-Desk Project
On Seeing Spaghetti: A Novel Self-Adjusting Seven Parameter Hough Space for Analyzing Flexible Extruded Objects
CiT-Net: Convolutional Neural Networks Hand in Hand with Vision Transformers for Medical Image Segmentation
Backdoors to Abduction
Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation
HSRMamba: Contextual Spatial-Spectral State Space Model for Single Hyperspectral Image Super-Resolution
Terminological Cycles in a Description Logic with Existential Restrictions
Adaptive Elicitation of Preferences under Uncertainty in Sequential Decision Making Problems
A Partitioning Algorithm for Maximum Common Subgraph Problems
Analogy in the Large
Computer Representation of the Law
Call-Graph Caching: Transforming Programs into Networks
Strategic Resource Selection with Homophilic Agents
Canadian Traveler Problem with Remote Sensing
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives
Temporal Information Design in Contests
Detecting and Correcting Errors of Omission After Explanation-Based Learning
Proceedings of the 1st International Workshop on Social Influence Analysis, SocInf 2015, co-located with 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 27, 2015
Highlighting Trend-Setters in Educational Platforms by Means of Formal Concept Analysis and Answer Set Programming
Emergent Prosociality in Multi-Agent Games Through Gifting
Exact Algorithms and Complexity of Kidney Exchange
TrafficStream: A Streaming Traffic Flow Forecasting Framework Based on Graph Neural Networks and Continual Learning
Strategies in Rigid-Variable Methods
The Roles of Knowledge and Deduction in Program Synthesis
Approximating Maximum-Entropy Ratings for Evidential Parsing and Semantic Interpretation
Detecting Ambiguity: An Example in Knowledge Evaluation
Deordering and Numeric Macro Actions for Plan Repair
Infochain: A Decentralized, Trustless and Transparent Oracle on Blockchain
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
Enhanced-alignment Measure for Binary Foreground Map Evaluation
Keeping People Active and Healthy at Home Using a Reinforcement Learning-based Fitness Recommendation Framework
Temporal Logic and Annotated Constraint Logic Programming
Efficient Query Rewriting in the Description Logic EL and Beyond
Guiding LLM-based Smart Contract Generation with Finite State Machine
NPE: Neural Personalized Embedding for Collaborative Filtering
Lyra: A Benchmark for Turducken-Style Code Generation
Collaborative Multi Agent Physical Search with Probabilistic Knowledge
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)
Learning from the Memory of Atari 2600
Color Picture Processing By Computer
Conflict-driven ASP Solving with External Sources and Program Splits
Trinocular Stereovision: Recent Results
Depth-First Memory-Limited AND/OR Search and Unsolvability in Cyclic Search Spaces
SKICAT: Sky Image Cataloging and Analysis Tool
Nonconvex Multiview Subspace Clustering Framework with Efficient Method Designs and Theoretical Analysis
Motion Invariance in Visual Environments
Deep Color Semantics for E-commerce Content-based Image Retrieval
Intervention Strategies for Increasing Engagement in Crowdsourcing: Platform, Predictions, and Experiments
Multi-view Feature Augmentation with Adaptive Class Activation Mapping
Responsibility Gap in Collective Decision Making
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents
Pay Attention to Devils: A Photometric Stereo Network for Better Details
Going Beyond Consistency: Target-oriented Multi-view Graph Neural Network
Mitigating Over-Smoothing in Graph Neural Networks via Separation Coefficient-Guided Adaptive Graph Structure Adjustment
Epistemic Equilibrium Logic
Optimal Network Security Hardening Using Attack Graph Games
Multimode Control Attacks on Elections
Proposing a Highly Accurate Hybrid Component-Based Factorised Preference Model in Recommender Systems
VecoCare: Visit Sequences-Clinical Notes Joint Learning for Diagnosis Prediction in Healthcare Data
Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner
A Multi-Granularity Clustering Approach for Federated Backdoor Defense with the Adam Optimizer
Simultaneous Prediction Intervals for Patient-Specific Survival Curves
Asynchronous Active Learning with Distributed Label Querying
A Scheme for Integrating Concrete Domains into Concept Languages
A Process Model of Cased-Based Reasoning in Problem Solving
Heuristic Search vs. Exhaustive Search
Data-Informed Knowledge and Strategies (Extended Abstract)
Human Engineering for Applied Natural Language Processing
Explaining Self-Supervised Image Representations with Visual Probing
Dual Robust Unbiased Multi-View Clustering for Incomplete and Unpaired Information
Style Fader Generative Adversarial Networks for Style Degree Controllable Artistic Style Transfer
Joint Multimodal Aspect Sentiment Analysis with Aspect Enhancement and Syntactic Adaptive Learning
An Interval-Based Representation of Temporal Knowledge
Heuristic Algorithms for Influence Maximization in Partially Observable Social Networks
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification
A Journey into Ontology Approximation: From Non-Horn to Horn
A Reasoning System for a First-Order Logic of Limited Belief
Understanding the Generalization Ability of Deep Learning Algorithms: A Kernelized Rényi's Entropy Perspective
Bayesian Tensor Inference for Sketch-Based Facial Photo Hallucination
Phragmén Rules for Degressive and Regressive Proportionality
Indirect Trust is Simple to Establish
Efficient Pruning Methods for Separate-and-Conquer Rule Learning Systems
Discriminating Animate from Inanimate Visual Stimuli
Don't Ignore Alienation and Marginalization: Correlating Fraud Detection
Student-t Variational Autoencoder for Robust Density Estimation
Inter3D: A Benchmark and Strong Baseline for Human-Interactive 3D Object Reconstruction
Generating Rules from Examples
Towards Automatic Error Recovery in Robot Programs
On the Solution of Schubert's Steamroller in Many-Sorted Logic
Unbiased Active Semi-supervised Binary Classification Models
Automated Design of Multistage Mechanisms
Experience with ROBOT in 12 Commercial, Natural Language Data Base Query Applications
Cross-Domain Collaborative Filtering over Time
Deep Text Classification Can be Fooled
Example-Based Machine Translation on Massively Parallel Processors
A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search
Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata
Learnable Surrogate Gradient for Direct Training Spiking Neural Networks
Online Multitask Relative Similarity Learning
Maximal Consistent Interpretations of Errorful Data in Hierarchically Modeled Domains
Making Markets and Democracy Work: A Story of Incentives and Computing
Robust Regression via Heuristic Hard Thresholding
Progressive Blockwise Knowledge Distillation for Neural Network Acceleration
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals
Optimal Partitions in Additively Separable Hedonic Games
Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures
Image Compression and Reconstruction Using Feature Extraction
Dataset Augmentation in Papyrology with Generative Models: A Study of Synthetic Ancient Greek Character Images
On Belief Change for Multi-Label Classifier Encodings
Problem Compilation for Multi-Agent Path Finding: a Survey
Defender (Mis)coordination in Security Games
BadFusion: 2D-Oriented Backdoor Attacks against 3D Object Detection
Toward a neuro-inspired creative decoder
Improving Multi-agent Coordination by Learning to Estimate Contention
Large Neighbourhood Search for Anytime MaxSAT Solving
Quantifying and Improving the Robustness of Trust Systems
Estimating the Rate of Web Page Updates
Hazard Function Guided Agent-Based Models: A Case Study of Return Migration from Poland to Ukraine
Semi-Supervised Optimal Transport for Heterogeneous Domain Adaptation
Concentration of Distortion: The Value of Extra Voters in Randomized Social Choice
Brain-inspired Balanced Tuning for Spiking Neural Networks
Rectified Binary Convolutional Networks for Enhancing the Performance of 1-bit DCNNs
Spectral Continuity and Eye Vergence Movement
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
Towards an Explainer-agnostic Conversational XAI
Calculating Cooking Recipe's Difficulty based on Cooking Activities
Locality Constrained Deep Supervised Hashing for Image Retrieval
Reconstructing Diffusion Networks from Incomplete Data
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
IMF: Integrating Matched Features Using Attentive Logit in Knowledge Distillation
Locality Adaptive Discriminant Analysis
Tangled Modal Logic for Spatial Reasoning
The Description And Control Of Changing Pictures.
An assessment of submissions made to the Predictive Toxicology Evaluation Challenge
Lexicographic Entailment, Syntax Splitting and the Drowning Problem
HypBO: Accelerating Black-Box Scientific Experiments Using Experts' Hypotheses
The Power of the Weisfeiler-Leman Algorithm for Machine Learning with Graphs
Refining Word Representations by Manifold Learning
Relaxed Exists-Step Plans in Planning as SMT
Temporal Planning for Compilation of Quantum Approximate Optimization Circuits
Combining Sources of Information in Vision I. Computing Shape from Shading and Motion
Stable Biclustering of Gene Expression Data with Nonnegative Matrix Factorizations
Pruning of Deep Spiking Neural Networks through Gradient Rewiring
The Fringe-Saving A* Search Algorithm - A Feasibility Study
Automated Theorem Proving for General Game Playing
Reinforcement Learning Framework for Deep Brain Stimulation Study
Cross-View Contrastive Fusion for Enhanced Molecular Property Prediction
Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning
Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues
A Forward-Chaining Information Framework
A Layered Brain Architecture for Synthetic Creatures
Evolving Ambiguous Images
Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation
Temporal Knowledge Graph Extrapolation via Causal Subhistory Identification
Towards Robust Multi-Label Learning against Dirty Label Noise
Dual Conditional GANs for Face Aging and Rejuvenation
A Tighter Error Bound for Decision Tree Learning Using PAC Learnability
Making LLMs as Fine-Grained Relation Extraction Data Augmentor
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
ADESSE: Advice Explanations in Complex Repeated Decision-Making Environments
ROME: Robust Multi-Modal Density Estimator
How to Prove Higher Order Theorems in First Order Logic
Automated Narrative Information Extraction Using Non-Linear Pipelines
On Computing Minimal Correction Subsets
Learning Global Models Based on Distributed Data Abstractions
Tango: Declarative Semantics for Multiagent Communication Protocols
Learning Strictly Orthogonal p-Order Nonnegative Laplacian Embedding via Smoothed Iterative Reweighted Method
Heuristic and Formal Methods in Automatic Program Debugging
Intelligence Without Reason
Regularizing Deep Neural Networks with an Ensemble-based Decorrelation Method
SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes
Understanding Public Perception Towards Weather Disasters Through the Lens of Metaphor
FedBFPT: An Efficient Federated Learning Framework for Bert Further Pre-training
Logistic Regression Models for a Fast CBIR Method Based on Feature Selection
A Similarity Inference Metric for RGB-Infrared Cross-Modality Person Re-identification
Correspondence-guided Synchronous Parsing of Parallel Corpora
Incorporating Extra Knowledge to Enhance Word Embedding
Evolutionary Learning Strategy using Bug-Based Search
Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search
Circumscriptive Event Calculus as Answer Set Programming
Doubly Stochastic Graph-based Non-autoregressive Reaction Prediction
Location Based Services Recommendation with Budget Constraints
A Multivariate Complexity Analysis of Determining Possible Winners Given Incomplete Votes
A Lifelike Model for Associative Relevance
Multi-Agent Election-Based Hyper-Heuristics
Non-Omniscient Belief as Context-Based Resoning
Resistance is Futile: Gradually Declining Immunity Retains the Exponential Duration of Immunity-Free Diffusion
Towards Fast Finding Optimal Short Classifiers
Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language
Disjunctive Temporal Planning with Uncertainty
SafeDrug: Dual Molecular Graph Encoders for Recommending Effective and Safe Drug Combinations
Coreference in a Frame Database
How to Handle Missing Values in Multi-Criteria Decision Aiding?
Application of Methods of Adaptive Learning to the Problem of Automatic Decision Making Under Conditions of a Priori Uncertainty
Dealing with Multiple Classes in Online Class Imbalance Learning
Joint Generative Moment-Matching Network for Learning Structural Latent Code
Symmetric Component Caching
An Approach to Abductive Reasoning in Equational Logic
Multi-Agent Intention Progression with Reward Machines
Derived Semantics for Some Programming Language Constructs
On the Convergence of Stochastic Compositional Gradient Descent Ascent Method
Controlling Question Asking in a Medical Expert System
Object-Aware Multi-Branch Relation Networks for Spatio-Temporal Video Grounding
Incorporating Expert Judgement into Bayesian Network Machine Learning
Manipulation of k-Coalitional Games on Social Networks
Ordering-Based Strategies for Horn Clauses
Forming Models Of Plane-And-Cylinder Faceled Bodies From Light Stripes
Stabilizing Holistic Semantics in Diffusion Bridge for Image Inpainting
PNAct: Crafting Backdoor Attacks in Safe Reinforcement Learning
Human-in-the-loop Active Covariance Learning for Improving Prediction in Small Data Sets
ASP for Anytime Dynamic Programming on Tree Decompositions
The Restricted Language Architecture of a Hybrid Representation System
The Use of Explanations for Similarity-based Learning
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
MASTER: A Multi-granularity Invariant Structure Clustering Scheme for Multi-view Clustering
A Gobal View of Automatic Programming
Improved MMS Approximations for Few Agent Types
On Truthful Mechanisms for Maximin Share Allocations
Adaptive Artificial Intelligence Scheduling Methods for Large-Scale, Stochastic, Industrial Applications
Likely-Occurring Itemsets for Pattern Mining
Subset Selection via Implicit Utilitarian Voting
Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
Equilibrium Refinement through Negotiation in Binary Voting
The Limits of Morality in Strategic Games
DSNet: EEG-Based Spatial Convolutional Neural Network for Detecting Major Depressive Disorder
A Methodology for Evaluating Theory Revision Systems: Results with Audrey II
A Unified View of Deep Learning for Reaction and Retrosynthesis Prediction: Current Status and Future Challenges
Bridging Saliency Detection to Weakly Supervised Object Detection Based on Self-Paced Curriculum Learning
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies
Value Function Transfer for Deep Multi-Agent Reinforcement Learning Based on N-Step Returns
VisioRed: A Visualisation Tool for Interpretable Predictive Maintenance
Transparent Intent for Explainable Shared Control in Assistive Robotics
Identifiability of Path-Specific Effects
PAnDR: Fast Adaptation to New Environments from Offline Experiences via Decoupling Policy and Environment Representations
A New Method For The Three Dimensional Container Packing Problem
Automatic Programming for Streams
Adaptation-Based Explanation: Extending Script/Frame Theory to Handle Novel Input
Predictive and proactive trustable process monitoring
AToM: An Analogical Theory of Mind
An Attention-based Regression Model for Grounding Textual Phrases in Images
Convolutional Auto-encoding of Sentence Topics for Image Paragraph Generation
On the Definition of Specialization Hierarchies for Procedures
Learning Network Embedding with Community Structural Information
Be a Leader or Become a Follower: The Strategy to Commit to with Multiple Leaders
Improving the Design of Induction Methods by Analyzing Algorithm Functionality and Data-Based Concept Complexity
Proximal Gradient Temporal Difference Learning Algorithms
Inversion of Applicative Programs
A Model for Generating Random Quantified Boolean Formulas
Behaviour Recognition in Smart Homes
A Feature-Enriched Neural Model for Joint Chinese Word Segmentation and Part-of-Speech Tagging
Using Multiple Models to Understand Data
Emotions in Argumentation: an Empirical Evaluation
A Stochastic Image Grammar for Fine-Grained 3D Scene Reconstruction
On Semantic Nets, Frames and Associations
Inductive Reasoning in Mathematics
Cross-Domain Slot Filling as Machine Reading Comprehension
Planning with Sharable Resource Constraints
Two-goal Local Search and Inference Rules for Minimum Dominating Set
Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs
Heterogeneous Database Integration Architecture Based on a Conversation Theoretic Skeleton
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs
Proportional Budget Allocations: Towards a Systematization
Towards Robust ResNet: A Small Step but a Giant Leap
Last-Branch and Speculative Pruning Algorithms for Max n
Stick-Breaking Policy Learning in Dec-POMDPs
Libra-CAM: An Activation-Based Attribution Based on the Linear Approximation of Deep Neural Nets and Threshold Calibration
Improving Context-Aware Neural Machine Translation with Source-side Monolingual Documents
DO-CoLM: Dynamic 3D Conformation Relationships Capture with Self-Adaptive Ordering Molecular Relational Modeling in Language Models
Data-Free Adversarial Knowledge Distillation for Graph Neural Networks
Answer Set Optimization
Can Abnormality be Detected by Graph Neural Networks?
Promoting Public Deliberation in Low Trust Environments: Australian Use Cases
A Human-in-the-Loop Tool for Annotating Passive Acoustic Monitoring Datasets
On the Use of a Taxonomy of Time-Frequency Morphologies for Automatic Speech Recognition
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
A Generalized Diffusion Framework with Learnable Propagation Dynamics for Source Localization
Interdependent Scheduling Games
Logic Program Derivation for a Class of First Order Logic Relations
Survey and Evaluation of Causal Discovery Methods for Time Series (Extended Abstract)
Evaluating a Decision-Theoretic Approach to Tailored Example Selection
Automated Physical Modeling
Probabilistic Rule Induction from Event Sequences with Logical Summary Markov Models
Mechanism Design for Double Auctions with Temporal Constraints
Dynamically Quantized Pyramids
Automated Machine Learning with Monte-Carlo Tree Search
Mental Tracking: A Computational Model of Spatial Development
A Collaboration Mechanism on Positive Interactions in Multi-agent Environments
A Framework for Control in Production Systems
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT
Virtual Lateral Inhibition in Parallel Activation Models of Associative Memory
Cooperative Pruning in Cross-Domain Deep Neural Network Compression
Evaluating Indirect Strategies for Chinese - Spanish Statistical Machine Translation: Extended Abstract