yusuke1997/dblp-id-title huggingface dataset:
Reasoning about State Constraints in the Situation Calculus
Case Retrieval through Multiple Indexing and Heuristic Search
Discriminative Sample Generation for Deep Imbalanced Learning
Multi-Source Iterative Adaptation for Cross-Domain Classification
LG-FGAD: An Effective Federated Graph Anomaly Detection Framework
A Multi-Level Perception Approach to Reading Cursive Script
Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena
The Classification, Detection and Handling of Imperfect Theory Problems
Constraint Satisfaction with Delayed Evaluation
Planning Games
An Intelligent Robot with Cognition and Decision-Making Ability
Decision Generalisation from Game Logs in No Limit Texas Hold'em
A Novel Sparse Active Online Learning Framework for Fast and Accurate Streaming Anomaly Detection Over Data Streams
AI in Recruiting. Multi-agent Systems Architecture for Ethical and Legal Auditing
A Hole in Goal Trees: Some Guidance from Resolution Theory
Dynamic Multi-Task Learning with Convolutional Neural Network
Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification
Counterfactual Resimulation for Causal Analysis of Rule-Based Models
DiffStega: Towards Universal Training-Free Coverless Image Steganography with Diffusion Models
Active Learning within Constrained Environments through Imitation of an Expert Questioner
Multi-objective Optimization-based Selection for Quality-Diversity by Non-surrounded-dominated Sorting
Mixture of GANs for Clustering
Relevance Feedback between Web Search and the Semantic Web
Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping
From Non-Convex Aggregates to Monotone Aggregates in ASP
Generating Natural Counterfactual Visual Explanations
An Ensemble of Bayesian Networks for Multilabel Classification
A Simple yet Effective Method for Graph Classification
Understanding Neural Networks via Rule Extraction
Change Detection in Multivariate Datastreams: Likelihood and Detectability Loss
Uncertainty, Belief, and Probability
Measuring the Feasibility of Analogical Transfer using Complexity
Guaranteeing Maximin Shares: Some Agents Left Behind
LRGR: Self-Supervised Incomplete Multi-View Clustering via Local Refinement and Global Realignment
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
Diversifying Training Pool Predictability for Zero-shot Coordination: A Theory of Mind Approach
Phase Transitions of Bounded Satisfiability Problems
Collapsed Variational Dirichlet Process Mixture Models
Game-Tree Search with Combinatorially Large Belief States
Resolving Over-Constrained Conditional Temporal Problems Using Semantically Similar Alternatives
A Computational Model for the Alignment of Hierarchical Scene Representations in Human-Robot Interaction
Learn Continuously, Act Discretely: Hybrid Action-Space Reinforcement Learning For Optimal Execution
Causal Inference in Time Series via Supervised Learning
Weakly Supervised Local-Global Relation Network for Facial Expression Recognition
Approval-Based Elections and Distortion of Voting Rules
Efficient Kernel Selection via Spectral Analysis
Fair Pairwise Exchange among Groups
Guarantees for Sound Abstractions for Generalized Planning
DL-LITER in the Light of Propositional Logic for Decentralized Data Management
Item Response Theory to Evaluate Speech Synthesis: Beyond Synthetic Speech Difficulty
Noise Doesn't Lie: Towards Universal Detection of Deep Inpainting
Can Large Models Teach Student Models to Solve Mathematical Problems Like Human Beings? A Reasoning Distillation Method via Multi-LoRA Interaction
The Dipmeter Advisor System - A Case Study in Commercial Expert System Development
Wrapped Partial Label Dimensionality Reduction via Dependence Maximization
Resolving Plan Ambiguity for Cooperative Response Generation
The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System
SAHAY: Multimodal, Privacy-Preserving AI for Suicide Risk Detection and Intervention in India
Mining Complex Patterns across Sequences with Gap Requirements
A Fast Neural Architecture Search Method for Multi-Modal Classification via Knowledge Sharing
Allocation and Scheduling for MPSoCs via decomposition and no-good generation
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks
A Region-Analysis Subsystem For Interactive Scene Analysis
A Characterization of n-Player Strongly Monotone Scheduling Mechanisms
CFDONEval: A Comprehensive Evaluation of Operator-Learning Neural Network Models for Computational Fluid Dynamics
Moral Compass: A Data-Driven Benchmark for Ethical Cognition in AI
Training Feedforward Neural Networks Using Genetic Algorithms
A Problem Reduction Model for Non-Independent Subproblems
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method
Test Case Generation using KBS Strategy
Sybil-proof Answer Querying Mechanism
ProNE: Fast and Scalable Network Representation Learning
The Use of a Domain Model in Understanding Informal Process Descriptions
Transport Robot With Network Control System
On the Kernelization of Global Constraints
A Logic Program Characterization of Causal Theories
Ms. Maloprop, A Language Comprehension Program
A Theory for the Complete Mechanization of a GPS-Type Problem Solver
Topic Modelling Meets Deep Neural Networks: A Survey
Generalized Clustergrams for Overlapping Biclusters
Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases
Data Sparseness in Linear SVM
Transfer Learning in Spatial Reasoning Puzzles
SEM: a System for Enumerating Models
A Two-Stage Overlapping Community Detection Based on Structure and Node Attributes in Online Social Networks
GraspSnooker: Automatic Chinese Commentary Generation for Snooker Videos
A Theory of the Origami World
The Rules of Constraint Modelling
Strategic Campaign Management in Apportionment Elections
Motif-Preserving Temporal Network Embedding
Harnessing the Vulnerability of Latent Layers in Adversarially Trained Models
Enumerating Potential Maximal Cliques via SAT and ASP
Accelerating Diffusion Models for Inverse Problems through Shortcut Sampling
Contrastive Representation Learning for Self-Supervised Taxonomy Completion
Cluster Attack: Query-based Adversarial Attacks on Graph with Graph-Dependent Priors
Multi-Agent Soft Constraint Aggregation via Sequential Voting
Making Robots Proactive through Equilibrium Maintenance
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)
Understanding PII Leakage in Large Language Models: A Systematic Survey
Parallel Subtrajectory Alignment over Massive-Scale Trajectory Data
Learning Schemata for Natural Language Processing
BDI Agent Architectures: A Survey
Streamflow Prediction with Uncertainty Quantification for Water Management: A Constrained Reasoning and Learning Approach
Steady-State Policy Synthesis for Verifiable Control
Determining the Loci of Anomalies Using Minimal Causal Models
Admissible Pruning Strategies based on plan minimality for Plan-Space Planning
Hybrid Frequency Modulation Network for Image Restoration
UMRAO: A Chess Endgame Tutor
Multi-Agent Path Finding with Deadlines
Prediction of Probability of Survival in Critically Ill Patients Optimizing the Area under the ROC Curve
Constraint Partitioning for Solving Planning Problems with Trajectory Constraints and Goal Preferences
Corpus-Based Knowledge Representation
Three-Dimensional Shape From Line Drawings
Context-Aware Image Inpainting with Learned Semantic Priors
A Regularized Opponent Model with Maximum Entropy Objective
DVPE: Divided View Position Embedding for Multi-View 3D Object Detection
Automatic Programming From Data Types Decomposition Patterns
Using Contextual Bandits with Behavioral Constraints for Constrained Online Movie Recommendation
Multitask Coactive Learning
Formal Trust Model for Multiagent Systems
Learning Finite Beta-Liouville Mixture Models via Variational Bayes for Proportional Data Clustering
Social Pressure in Opinion Games
AudioQR: Deep Neural Audio Watermarks For QR Code
Lexical-Constraint-Aware Neural Machine Translation via Data Augmentation
Case-based Learning from Proactive Communication
Towards Fairness with Limited Demographics via Disentangled Learning
Synthesizing Robotic Handwriting Motion by Learning from Human Demonstrations
Truncating Shortest Path Search for Efficient Map-Matching
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations
Statistically Significant Concept-based Explanation of Image Classifiers via Model Knockoffs
Defeasible Inheritance-Based Description Logics
Proceedings of the Workshop on AI Evaluation Beyond Metrics co-located with the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 25th, 2022
AdaLinUCB: Opportunistic Learning for Contextual Bandits
On Structural Properties of MDPs that Bound Loss Due to Shallow Planning
A Recognition System Using Probabilistic Decisions Based on Extracted Features
A Knowledge-Based Simulation Framework for Decision Support in Brazilian National Cancer Institute
Entity Alignment for Cross-lingual Knowledge Graph with Graph Convolutional Networks
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks
Estimating 3-0 Movement of a Rigid Object: Experimental Results
Learning Conversational Systems that Interleave Task and Non-Task Content
Constrained Preference Embedding for Item Recommendation
Incremental Phi*: Incremental Any-Angle Path Planning on Grids
Teaching Robots to Interact with Humans in a Smart Environment
Machine Perception of Linear Structure
Out-of-Distribution Detection by Regaining Lost Clues (Abstract Reprint)
Multi-Modal Word Synset Induction
A Region-Based Stereo Algorithm
GATES: Cost-aware Dynamic Workflow Scheduling via Graph Attention Networks and Evolution Strategy
A Centrality-based Graph Learning Framework
Model-Based Optimization of Testing through Reduction of Stimuli
Pessimistic Leader-Follower Equilibria with Multiple Followers
A Deep Modular RNN Approach for Ethos Mining
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases
Learning and Applying Case Adaptation Rules for Classification: An Ensemble Approach
Duce, An Oracle-based Approach to Constructive Induction
Reliable Multi-class Classification based on Pairwise Epistemic and Aleatoric Uncertainty
A Self-explaining Neural Architecture for Generalizable Concept Learning
Towards Understanding Color Ocular Fundus Images
Learning from Logical Constraints with Lower- and Upper-Bound Arithmetic Circuits
Interpretable Tensor Fusion
GTR: A Grafting-Then-Reassembling Framework for Dynamic Scene Graph Generation
Theoretical Analysis of Evolutionary Algorithms with Quality Diversity for a Classical Path Planning Problem
Protecting Neural Networks with Hierarchical Random Switching: Towards Better Robustness-Accuracy Trade-off for Stochastic Defenses
DiPRA: Distributed Practical Reasoning Architecture
Some Frills for the Modal Tic-Tac-Toe of Davies and Isard: Semantics of Predicate Complement Constructions
Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate? (poster)
Contexts: Dynamic Identification of Common Parameters in Distributed Analysis of Complex Devices
Learning from the Report-writing Behavior of Individuals
Planning with Resources and Concurrency: A Forward Chaining Approach
A Uniform Abstraction Framework for Generalized Planning
Fair Division of Time: Multi-layered Cake Cutting
Exploiting Multiple Secondary Reinforcers in Policy Gradient Reinforcement Learning
Mechanism Design and Implementation for Lung Exchange
Market Clearability
TFWT: Tabular Feature Weighting with Transformer
Computer Assisted Reasoning with MIZAR
A Logic of Intention
Qualitative Reasoning of Bayesian Belief Using Meta-knowledge
Anytime Belief Revision
Search-based Reinforcement Learning through Bandit Linear Optimization
Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse
Social Trust Prediction Using Rank-k Matrix Recovery
Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much!
Learn from Concepts: Towards the Purified Memory for Few-shot Learning
StockFormer: Learning Hybrid Trading Machines with Predictive Coding
Protecting Split Learning by Potential Energy Loss
Approximability of Constant-horizon Constrained POMDP
Joint Link Prediction and Network Alignment via Cross-graph Embedding
AVA: Adversarial Vignetting Attack against Visual Recognition
Improving Performance of Transfer-Driven Machine Translation with Extra-Linguistic Informatioon from Context, Situation and Environment
An Achievement Test for Knowledge-Based Systems: QUEM
A Knowledge-Based Program Editor
Deep-Deep Neural Network Language Models for Predicting Mild Cognitive Impairment
Nominal Schema Absorption
Regularising Knowledge Transfer by Meta Functional Learning
Compound: A Program that Understands Noun Compounds
Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems
An Active Learning Approach to Coreference Resolution
A New Node Centroid Algorithm for Bandwidth Minimization
Human Values and Digital Patterns in Physical Exercise (Extended Abstract)
Incentivizing Reliability in Demand-Side Response
Situation Recognition: Representation and Algorithms
Planning Considerations for a Roving Robot with Arm
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions
Solving Checkers
Active Learning with Multi-Label SVM Classification
Reinforcement mechanism design
Language Generation: The Linguistics Component
Learning Driving Behavior by Timed Syntactic Pattern Recognition
AI-Olympics: Exploring the Generalization of Agents through Open Competitions
Principal Component Analysis in the Local Differential Privacy Model
Equality for Prolog
Automatically Gating Multi-Frequency Patterns through Rectified Continuous Bernoulli Units with Theoretical Principles
The Ins and Outs of Critiquing
Asynchronous Credit Assignment for Multi-Agent Reinforcement Learning
SeeDRec: Sememe-based Diffusion for Sequential Recommendation
An Efficient Vector-Based Representation for Coalitional Games
PD-GAN: Adversarial Learning for Personalized Diversity-Promoting Recommendation
Copy Motion From One to Another: Fake Motion Video Generation
Aesthetic Visual Quality Evaluation of Chinese Handwritings
Transductive Optimization of Top k Precision
SPARC: An AI-Based Speech Processing and Real-Time Correction System
A Causal Time Ontology for Qualitative Reasoning
Semi-Supervised Regression for Evaluating Convenience Store Location
Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming
Online Roommate Allocation Problem
BARNet: Bilinear Attention Network with Adaptive Receptive Fields for Surgical Instrument Segmentation
Lossy Compression of Pattern Databases Using Acyclic Random Hypergraphs
A Call Admission Control Scheme Using NeuroEvolution Algorithm in Cellular Networks
Source Update Capture in Information Agents
Continuous Time Particle Filtering
Inferring Degrees from Incomplete Networks and Nonlinear Dynamics
Positive Unlabeled Leaning for Time Series Classification
Sensitivity Direction Learning with Neural Networks Using Domain Knowledge as Soft Shape Constraints
Reducing Underflow in Mixed Precision Training by Gradient Scaling
AdaptPFL: Unlocking Cross-Device Palmprint Recognition via Adaptive Personalized Federated Learning with Feature Decoupling
Learning Concise Representations of Users' Influences through Online Behaviors
The First Proven Performance Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) on a Combinatorial Optimization Problem
Automated Reasoning for City Infrastructure Maintenance Decision Support
Interactive Teaching Algorithms for Inverse Reinforcement Learning
Fast Image Alignment Using Anytime Algorithms
Inductive Learning from Good Examples
Rethinking Image Aesthetics Assessment: Models, Datasets and Benchmarks
Proceedings of the 6th International Workshop "What can FCA do for Artificial Intelligence"? co-located with International Joint Conference on Artificial Intelligence and European Conference on Artificial Intelligence (IJCAI/ECAI 2018), Stockholm, Sweden, July 13, 2018
Contamination Budget: Trade-offs Between Breadth, Depth and Difficulty
The Dynamics of Action Selection
Unified Image Aesthetic Prediction via Scanpath-Guided Feature Aggregation Network
Natural Language Access To A Large Data Base: An Engineering Approach
Using Constraint Programming to solve a Cryptanalytic Problem
Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility Levels
Goal-Oriented Chatbot Dialog Management Bootstrapping with Transfer Learning
Two Influence Maximization Games on Graphs Made Temporal
Context-Aware Recommendation Based On Review Mining
Stratified Strategy Selection for Unit Control in Real-Time Strategy Games
Comparing image-based localization methods
Keep the Decision Tree and Estimate the Class Probabilities Using its Decision Boundary
A semantic framework for multimedia document adaptation
Control Of A PCB Drilling Machine By Visual Feedback
Recognition of Handprinted Alphanumerics, Symbols and "Katakana" Characters
Learning to Classify Observed Motor Behavior
Browsing in Large Data Bases
Domain Generalization under Conditional and Label Shifts via Variational Bayesian Inference
Active Agent Oriented Multimodal Interface System
A Learning Algorithm for Web Page Scoring Systems
Learning a Ground Truth Ranking Using Noisy Approval Votes
Smart Contract Vulnerability Detection: From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion
A Sequential Convolution Network for Population Flow Prediction with Explicitly Correlation Modelling
Feature Statistics Guided Efficient Filter Pruning
Undecidability in Epistemic Planning
Integrating Information to Bootstrap Information Extraction from Web Sites
Improving Multi-agent Reinforcement Learning with Stable Prefix Policy
Modeling the Homophily Effect between Links and Communities for Overlapping Community Detection
Cross-Lingual Dataless Classification for Many Languages
Causal Embeddings for Recommendation: An Extended Abstract
HygMap: Representing All Types of Map Entities via Heterogeneous Hypergraph
Streaming and Learning the Personal Context
A Two-level Reinforcement Learning Algorithm for Ambiguous Mean-variance Portfolio Selection Problem
Concerning Referring Expressions in Query Answers
Hidden Parameter Markov Decision Processes: A Semiparametric Regression Approach for Discovering Latent Task Parametrizations
Characterizing and Automatically Finding Primary Effects in Planning
Peptide Vaccine Design by Evolutionary Multi-Objective Optimization
Structure Learning for Safe Policy Improvement
A Decidable First-Order Logic for Knowledge Representation
Cause-Effect Knowledge Acquisition and Neural Association Model for Solving A Set of Winograd Schema Problems
Dependency Relationship Based Decision Combination in Multiple Classifier Systems
Discriminative Semi-Supervised Feature Selection via Manifold Regularization
To Learn or Not do Learn
Applying Adaptive Algorithms to Epistatic Domains
Manifold-Aware Self-Training for Unsupervised Domain Adaptation on Regressing 6D Object Pose
Multi-Agent Influence Diagrams for Representing and Solving Games
Efficient Screen Content Image Compression via Superpixel-based Content Aggregation and Dynamic Feature Fusion
VideoHumanMIB: Unlocking Appearance Decoupling for Video Human Motion In-betweening
Reassessing Evaluation Functions in Algorithmic Recourse: An Empirical Study from a Human-Centered Perspective
Instability Prediction in Power Systems using Recurrent Neural Networks
Maximizing the Spread of an Opinion in Few Steps: Opinion Diffusion in Non-Binary Networks
Learning Cooperative Policy among Self-Driving Vehicles to Relieve Traffic Jams
Learning to Represent Codons: A Challenge Problem for Constructive Induction
Self-adaptive Extreme Penalized Loss for Imbalanced Time Series Prediction
TUCH: Turning Cross-view Hashing into Single-view Hashing via Generative Adversarial Nets
Modeling Users' Dynamic Preference for Personalized Recommendation
Large-Scale Temporal Data Bases for Planning in Complex Domains
Misrepresentation in District Voting
Contrastive Cross-Course Knowledge Tracing via Concept Graph Guided Knowledge Transfer
City-Level Foreign Direct Investment Prediction with Tabular Learning on Judicial Data
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
GPL4SRec: Graph Multi-Level Aware Prompt Learning for Streaming Recommendation
Moral Planning Agents with LTL Values
Monte Carlo Filtering Objectives
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds
Predict Cellular Network Traffic with Markov Logic
Agent-Oriented Incremental Team and Activity Recognition
Distinctions and Confusions: A Catalogue Raisonne
Manifold Alignment Preserving Global Geometry
Constructive Visual Imagery And Perception
Expressive Rule-Based Stream Reasoning
An Adaptive Fuzzy Model-Based Controller
Predicting Web Information Content
Handling Overlaps When Lifting Gaussian Bayesian Networks
Incentivizing Evaluation with Peer Prediction and Limited Access to Ground Truth (Extended Abstract)
Story Embedding: Learning Distributed Representations of Stories based on Character Networks (Extended Abstract)
Generative Diffusion Models on Graphs: Methods and Applications
Unsupervised Monocular Visual-inertial Odometry Network
The Fewer the Merrier: Pruning Preferred Operators with Novelty
Reframing Spatial Reasoning Evaluation in Language Models: A Real-World Simulation Benchmark for Qualitative Reasoning
Semi-Supervised Learning for Surface EMG-based Gesture Recognition
A Model of Planning for Plan Efficiency: Taking Advantage of Operator Overlap
Learning with Labeled and Unlabeled Multi-Step Transition Data for Recovering Markov Chain from Incomplete Transition Data
The SG Family: Extensions of Simple Conceptual Graphs
Reinforcement Learning for Hybrid Charging Stations Planning and Operation Considering Fixed and Mobile Chargers
Robust Front-End for Multi-Channel ASR using Flow-Based Density Estimation
A Multimodal AI Dialogue System for Unified Document, Visual, and Audio Interaction
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs
RAMer: Reconstruction-based Adversarial Model for Multi-party Multi-modal Multi-label Emotion Recognition
Efficient Algorithms for Spanning Tree Centrality
Fine-grained Event Categorization with Heterogeneous Graph Convolutional Networks
An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts
Evaluating Brush Movements for Chinese Calligraphy: A Computer Vision Based Approach
Graph Sampling-based Meta-Learning for Molecular Property Prediction
Predicting the Visual Focus of Attention in Multi-Person Discussion Videos
Confusion Graph: Detecting Confusion Communities in Large Scale Image Classification
Best Arm Identification with Retroactively Increased Sampling Budget for More Resource-Efficient HPO
Adversarial Attacks on Both Face Recognition and Face Anti-spoofing Models
A Comparsion of Three Problem-Solving Methods
Learning in Markets: Greed Leads to Chaos but Following the Price is Right
An Analysis of the Use of Tags in a Blog Recommender System
Selecting the Most Conflicting Pair of Candidates
Tradformer: A Transformer Model of Traditional Music Transcriptions
How Should We Vote? A Comparison of Voting Systems within Social Networks
Advances of the DBLearn System for Knowledge Discovery in Large Databases
AdaR: An Adaptive Gradient Method with Cyclical Restarting of Moment Estimations
Towards Empathic Deep Q-Learning
Towards a White Box Approach to Automated Algorithm Design
Learning from Long-Tailed Noisy Data with Sample Selection and Balanced Loss
A Theoretic Framework of K-Means-Based Consensus Clustering
PEORL: Integrating Symbolic Planning and Hierarchical Reinforcement Learning for Robust Decision-Making
MB-DPOP: A New Memory-Bounded Algorithm for Distributed Optimization