yusuke1997/dblp-id-title huggingface dataset:
Randomized Greedy Search for Structured Prediction: Amortized Inference and Learning
Meaning and the Mental Lexicon
Detecting & Avoiding Interference Between Goals in Intelligent Agents
DP-matching: With or Without Phonemes?
Learning Semantic Annotations for Tabular Data
Towards Robust Incremental Learning Under Ambiguous Supervision
Inverse Reinforcement Learning for Team Sports: Valuing Actions and Players
Evaluation Techniques and Systems for Answer Set Programming: a Survey
Non-Determinism and the Dynamics of Knowledge
Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems
Bayesian Extreme Components Analysis
Macau: A Basis for Evaluating Reputation Systems
Domain Shifts in Reinforcement Learning: Identifying Disturbances in Environments
Lie on the Fly: Iterative Voting Center with Manipulative Voters
Early Prediction on Time Series: A Nearest Neighbor Approach
A Restart-based Rank-1 Evolution Strategy for Reinforcement Learning
Ranking Preserving Hashing for Fast Similarity Search
Unsupervised Voice-Face Representation Learning by Cross-Modal Prototype Contrast
A System for Fuzzy Reasoning
Regional Concept Drift Detection and Density Synchronized Drift Adaptation
Knowledge Aware Semantic Concept Expansion for Image-Text Matching
On the Complexity of Extending Ground Resolution with Symmetry Rules
Bipartite Matching for Crowd Counting with Point Supervision
Locally Consistent Bayesian Network Scores for Multi-Relational Data
Multimodal Fake News Detection: MFND Dataset and Shallow-Deep Multitask Learning
Modeling Precomputation In Games Played Under Computational Constraints
Single-Node Trigger Backdoor Attacks in Graph-Based Recommendation Systems
Question Answering via Integer Programming over Semi-Structured Knowledge
Expert System as an Intelligent Assistant for Computer Users
Introducing Actions into Qualitative Simulation
Shading-Based Two-View Matching
Corpus-Based Chinese-Korean Abstracting Translation System
NLP-driven IR: Evaluating Performances over a Text Classification task
Tolerating Outliers: Gradient-Based Penalties for Byzantine Robustness and Inclusion
Narrative Complexity Based on Summarization Algorithms
Modeling Source Syntax and Semantics for Neural AMR Parsing
Bias in Algorithm Portfolio Performance Evaluation
Classification with Rejection: Scaling Generative Classifiers with Supervised Deep Infomax
Basic Issues on Fuzzy Rules and Their Application to Fuzzy Control
Merge-and-Shrink Task Reformulation for Classical Planning
APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms
A Graphical and Attentional Framework for Dual-Target Cross-Domain Recommendation
Beyond Word Attention: Using Segment Attention in Neural Relation Extraction
An Integrated Multilevel Learning Approach to Multiagent Coalition Formation
Towards a Theoretical Framework for Ensemble Classification
Words Over Pixels? Rethinking Vision in Multimodal Large Language Models
CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders
Coordination of Action and Perception in a Surveillance Robot
The Evolutionay Process of Randomly Growing Mutated Digital Structures as a Model of Evolution of the First Living Organisms
Protocol Conformance for Logic-based Agents
Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis
A Simple Convolutional Neural Network for Accurate P300 Detection and Character Spelling in Brain Computer Interface
GSPL: A Succinct Kernel Model for Group-Sparse Projections Learning of Multiview Data
Nonparametric Online Machine Learning with Kernels
Computing Factored Value Functions for Policies in Structured MDPs
A Theorem Prover for Prioritized Circumscription
A Comparative Study of Logic Programs with Preference
A General Semantic Analyser for Data Base Access
Identifying vulnerabilities in trust and reputation systems
Design and Implementation of a Disambiguity Framework for Smart Voice Controlled Devices
Networked Distributed POMDPs: A Synergy of Distributed Constraint Optimization and POMDPs
From Generation to Suppression: Towards Effective Irregular Glow Removal for Nighttime Visibility Enhancement
Large Language Models for Time Series: A Survey
Robust Subset Selection by Greedy and Evolutionary Pareto Optimization
The Shapley Value as a Function of the Quota in Weighted Voting Games
A Comparison of String Distance Metrics for Name-Matching Tasks
Intelligent Web Navigation Using Virtual Assistants (short paper)
The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations
Imprecise Oracles Impose Limits to Predictability in Supervised Learning (Extended Abstract)
Conditions for Avoiding Node Re-expansions in Bounded Suboptimal Search
Angular Decomposition
Shaping Shared Languages: Human and Large Language Models' Inductive Biases in Emergent Communication
Achieving Coordination in Multi-Agent Systems by Stable Local Conventions under Community Networks
Multiple Indefinite Kernel Learning for Feature Selection
Program Synthesis as Dependency Quantified Formula Modulo Theory
Sequentially finding the N-Best List in Hidden Markov Models
A Timestep-Adaptive Frequency-Enhancement Framework for Diffusion-based Image Super-Resolution
Don't Touch What Matters: Task-Aware Lipschitz Data Augmentation for Visual Reinforcement Learning
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics
Fast and Fine-grained Autoscaler for Streaming Jobs with Reinforcement Learning
Detecting Rumors from Microblogs with Recurrent Neural Networks
Learn Smart with Less: Building Better Online Decision Trees with Fewer Training Examples
Finding Communities with Hierarchical Semantics by Distinguishing General and Specialized topics
Bernoulli Random Forests: Closing the Gap between Theoretical Consistency and Empirical Soundness
Maintenance of Case Bases: Current Algorithms after Fifty Years
Feasibility of Inconspicuous GAN-generated Adversarial Patches against Object Detection
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Optimal Decision Trees For Interpretable Clustering with Constraints
Sorting and Hypergraph Orientation under Uncertainty with Predictions
ALEPS: The Automated Logistics Element Planning System
Bundle Design in Robust Combinatorial Auction Protocol against False-name Bids
Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness
Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process
DictBERT: Dictionary Description Knowledge Enhanced Language Model Pre-training via Contrastive Learning
A Survey on Representation Learning for User Modeling
Learning Cluster Causal Diagrams: An Information-Theoretic Approach
The Inferential Complexity of Bayesian and Credal Networks
Quantified Constraint Satisfaction Problems: From Relaxations to Explanations
Planning with Task-Oriented Knowledge Acquisition for a Service Robot
Real-Time UAV Maneuvering via Automated Planning in Simulations
Complexity of Nested Circumscription and Abnormality Theories
Region Deformer Networks for Unsupervised Depth Estimation from Unconstrained Monocular Videos
DGExplainer: Explaining Dynamic Graph Neural Networks via Relevance Back-propagation
Abstraction by Interchangeability in Resource Allocation
Open-World Probabilistic Databases: An Abridged Report
Knowledge Based Error Recovery in Industrial Robots
Switching Poisson Gamma Dynamical Systems
Pairwise-Ranking based Collaborative Recurrent Neural Networks for Clinical Event Prediction
Automatic Construction of a Knowledge Base by Analysing Texts in Natural Language
Deep View-Aware Metric Learning for Person Re-Identification
An Atari Model Zoo for Analyzing, Visualizing, and Comparing Deep Reinforcement Learning Agents
Admissible Abstractions for Near-optimal Task and Motion Planning
FedCG: Leverage Conditional GAN for Protecting Privacy and Maintaining Competitive Performance in Federated Learning
Using Partial Global Plans to Coordinate Distributed Problem Solvers
Sparse Multi-Relational Graph Convolutional Network for Multi-type Object Trajectory Prediction
A Survey on the Feedback Mechanism of LLM-based AI Agents
Generalization Bounds for Adversarial Metric Learning
A Multi-player Game for Studying Federated Learning Incentive Schemes
Logistic Markov Decision Processes
Memory-Bounded Dynamic Programming for DEC-POMDPs
Trading-Off Cost of Deployment Versus Accuracy in Learning Predictive Models
Anytime Inference in Probabilistic Logic Programs with Tp-Compilation
Two Sides of the Same Coin: Belief Revision and Enforcing Arguments
Large Human-Machine Information Spaces
Duplicate Avoidance in Depth-First Search with Applications to Treewidth
Intelligent Warning Systems: 'Nudges' as a Form of User Control for Internet of Things Data Collection and Use
Description Logic in Practice: A CLASSIC Application
Competitive-Cooperative Multi-Agent Reinforcement Learning for Auction-based Federated Learning
Recognition of Psychologically Relevant Aspects of Context on the Basis of Features of Speech
RePFormer: Refinement Pyramid Transformer for Robust Facial Landmark Detection
Probabilistic Contrastive Learning for Domain Adaptation
Dynamic Item Block and Prediction Enhancing Block for Sequential Recommendation
Epistemological Problems of Artificial Intelligence
The Devil is in Fine-tuning and Long-tailed Problems: A New Benchmark for Scene Text Detection
A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems
Experiments on using Yahoo! categories to describe documents
Doubly Aligned Incomplete Multi-view Clustering
Dynamic Network Discovery via Infection Tracing
CADET: Calibrated Anomaly Detection for Mitigating Hardness Bias
Artificial Intelligence and Legal Responsibility
Learning Heuristically-Selected and Neurally-Guided Feature for Age Group Recognition Using Unconstrained Smartphone Interaction
A Conceptual Framework of Intelligent Management Control System for Higher Education
The Layered Architecture of a System for Reasoning about Programs
Planning with graded fluents and actions
Stepwise Nearest Neighbor Discriminant Analysis
Improving Group Decision-Making by Artificial Intelligence
Can FCA Provide a Framework for Artificial General Intelligence?
Decision-Making Under Uncertainty in Multi-Agent and Multi-Robot Systems: Planning and Learning
Hierarchical Reinforcement Learning for Point of Interest Recommendation
Evaluating and Complementing Vision-to-Language Technology for People who are Blind with Conversational Crowdsourcing
Circumscribing Equality
Lambda Depth-First Proof Number Search and Its Application to Go
A Computer Model for Certain Classes of Verbal Behavior
Commitment Semantics for Sequential Decision Making under Reward Uncertainty
Solving Continuous Control with Episodic Memory
Towards Architecture-Agnostic Neural Transfer: a Knowledge-Enhanced Approach
Mobility Profiling for User Verification with Anonymized Location Data
Is Nonparametric Learning Practical in Very High Dimensional Spaces?
On the Importance of Word and Sentence Representation Learning in Implicit Discourse Relation Classification
Experiments with Massively Parallel Constraint Solving
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus
Bayesian Experience Reuse for Learning from Multiple Demonstrators
Knowledge Base Compilation
A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios
YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia: Extended Abstract
Distributed Breakout: Beyond Satisfaction
Marathon Race Planning: A Case-Based Reasoning Approach
The 3D MOSAIC Scene Understanding System
Semantical Considerations on Nonmonotonic Logic
A Diffusion Model with Contrastive Learning for ICU False Arrhythmia Alarm Reduction
The Analysis and Synthesis of Jazz by Computer
Cross-Domain Recommendation: An Embedding and Mapping Approach
Multi-view Unsupervised Graph Representation Learning
Value Refinement Network (VRN)
Noise-Resilient Similarity Preserving Network Embedding for Social Networks
A Kernel Method for Market Clearing
Semi-Supervised Deep Hashing with a Bipartite Graph
Models and Algorithms for Probabilistic and Bayesian Logic
Parameterized Complexity of Hotelling-Downs with Party Nominees
CoCoG: Controllable Visual Stimuli Generation Based on Human Concept Representations
Rating-Boosted Latent Topics: Understanding Users and Items with Ratings and Reviews
Symmetry Breaking in Quantified Boolean Formulae
Synthesizing Union Tables from the Web
Counterfactual Thinking Driven Emotion Regulation for Image Sentiment Recognition
Graph-Augmented Code Summarization in Computational Notebooks
SKOPE: A connectionist/symbolic architecture of spoken Korean processing
Optimizing Propositional Networks
Metadata-driven Task Relation Discovery for Multi-task Learning
NanoAdapt: Mitigating Negative Transfer in Test Time Adaptation with Extremely Small Batch Sizes
Capturing an Evader in a Polygonal Environment with Obstacles
Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates
Wikispeedia: An Online Game for Inferring Semantic Distances between Concepts
Deterministic, Strategyproof, and Fair Cake Cutting
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks
Dual Personalization on Federated Recommendation
Breaking the Self-Evaluation Barrier: Reinforced Neuro-Symbolic Planning with Large Language Models
Heterogeneous Domain Adaptation Using Manifold Alignment
Game-Theoretic Question Selection for Tests
Opponent Models with Uncertainty for Strategic Argumentation
Reduced Cost Fixing for Maximum Satisfiability
Resource intensity for menu items: how much land is required to provide for each dish?
Bounded Suboptimal Multi-Agent Path Finding Using Highways
Understanding Drawings by Compositional Analogy
Bayesian Reinforcement Learning with Behavioral Feedback
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners
Context-Aware Feature Selection and Classification
Complexity Results for Planning
Multi-Agent Intention Progression with Black-Box Agents
Better Embedding and More Shots for Few-shot Learning
Time-Domain, Digital Segmentation Of Connected Natural Speech
Concept Formation From Very Large Training Sets
Case-Based Multilabel Ranking
Questimator: Generating Knowledge Assessments for Arbitrary Topics
Generalized Latent Factor Models for Social Network Analysis
Towards Finding Optimal Solutions with Non-Admissible Heuristics: A New Technique
Cascaded Low Rank and Sparse Representation on Grassmann Manifolds
FakeTables: Using GANs to Generate Functional Dependency Preserving Tables with Bounded Real Data
CIMON: Towards High-quality Hash Codes
Augmented Transition Networks as Psychological Models of Sentence Comprehension
Stratified Negation in Limit Datalog Programs
Recognizing 3-D Motion
Computing Semantic Relatedness Using Wikipedia-based Explicit Semantic Analysis
Planning under Partial Observability by Classical Replanning: Theory and Experiments
An Empirical Comparison of ID3 and Back-propagation
HA-SCN: Learning Hierarchical Aligned Subtree Convolutional Networks for Graph Classification
Automatic learning of domain model for personalized hypermedia applications
The FOPHO Speech Recognition Project
Deep Ordinal Regression Based on Data Relationship for Small Datasets
Artificial Intelligence Application for Crude Distillation Unit: An Overview
Retrieval Guided Music Captioning via Multimodal Prefixes
CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization (Abstract Reprint)
Optimality Guarantees for Particle Belief Approximation of POMDPs (Abstract Reprint)
Integrating Graphical Support with Reasoning in a Methodology for Ontology Evolution
SketchAgent: Generating Structured Diagrams from Hand-Drawn Sketches
Do We Need Many-valued Logics for Incomplete Information?
Boosting Cross-Lingual Knowledge Linking via Concept Annotation
Accelerating Convolutional Networks via Global & Dynamic Filter Pruning
Data Communication Assistance via Swarm Robotic: A Behaviour Creation Comparison
A Domain-Independent Production-Rule System for Consultation Programs
Searching for Programmatic Policies in Semantic Spaces
The Semantics of Intention Maintenance for Rational Agents
Stochastic Fractional Hamiltonian Monte Carlo
Propagating Logical Combinations of Constraints
Interactive Learning and Decision Making: Foundations, Insights & Challenges
Multi-level Generative Models for Partial Label Learning with Non-random Label Noise
A Heuristic Approach to Program Verification
The Commercialization of AI: Part 1. The User Viewpoint (Panel)
Generalized Taxonomy-Guided Graph Neural Networks
Plato's Cave in the Dempster-Shafer land-the Link between Pignistic and Plausibility Transformations
Building Large Compressed PDBs for the Sliding Tile Puzzle
A Visual Approach to Sketched Symbol Recognition
Agent-based Modeling for Transportation Planning: A Method for Estimating Parking Search Time Based on Demand and Supply
A Distributed Approach for the Analysis of Discussions in Twitter
Inferring Substitutable Products with Deep Network Embedding
Adaptive Wizard for Removing Cross-Tier Misconfigurations in Active Directory
A Model for Perception of Structural Image Feature
Long-term Spatio-Temporal Forecasting via Dynamic Multiple-Graph Attention
Web Page Cleaning for Web Mining through Feature Weighting
Learning Term Embeddings for Hypernymy Identification
RoxyBot-06: An (SAA)2 TAC Travel Agent
Modeling Bias Reduction Strategies in a Biased Agent
Surface-Normals from Closed Paths
Accountability and Responsibility of Artificial Intelligence Decision-making Models in Indian Policy Landscape
Where to Prune: Using LSTM to Guide End-to-end Pruning
Sophia: A novel approach for Textual Case-based Reasoning
A CLP-Based, Diagnosticity-Driven System for Concept Combinations
Importance-Aware Semantic Segmentation for Autonomous Driving System
Maximum A Posteriori Path Estimation with Input Trace Perturbation: Algorithms and Application to Credible Rating of Human Routines
Specificity and Inheritance in Default Reasoning
SitNet: Discrete Similarity Transfer Network for Zero-shot Hashing
A Survey on User Behavior Modeling in Recommender Systems
Extracting Dialog Structure and Latent Beliefs from Dialog Corpus
Uncovering the Formation of Triadic Closure in Social Networks
An Admissible HTN Planning Heuristic
Acquiring Agent-Based Models of Conflict from Event Data
Accelerated Incremental Gradient Descent using Momentum Acceleration with Scaling Factor
Symbolic Dynamic Programming for First-Order MDPs
Collective AI: context awareness via communication
Fast Planning with Iterative Macros
Learning deep structured network for weakly supervised change detection
Robust Approximation and Incremental Elicitation in Voting Protocols
Using Reasoning Patterns to Help Humans Solve Complex Games
Reinforcement Learning for Athletic Intelligence: Lessons from the 1st "AI Olympics with RealAIGym" Competition
Skip-Timeformer: Skip-Time Interaction Transformer for Long Sequence Time-Series Forecasting
Reasoning about Plans
Remote-Brained Robots
Dynamicity-aware Social Bot Detection with Dynamic Graph Transformers
A Survey on Bandit Learning in Matching Markets
An Inductive Database for Mining Temporal Patterns in Event Sequences
Differentially Private Partial Set Cover with Applications to Facility Location
Temporal Heterogeneous Information Network Embedding
On Evaluating Decision Procedures for Modal Logic
Cooperating Reasoning Processes: More than Just the Sum of Their Parts
Fast Combinatorial Algorithm for Optimizing the Spread of Cascades
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
Expert System Validation through Knowledge Base Refinement
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning
Scalable ML Methods to Optimize KPIs in Real-World Manufacturing Processes
Fairness-Aware Neural Rényi Minimization for Continuous Features
DiRe Committee : Diversity and Representation Constraints in Multiwinner Elections
The Graph-based Mutual Attentive Network for Automatic Diagnosis
Knowledge Transfer on Hybrid Graph
Discourse as a Knowledge Resource for Sentence Disambiguation
E-QGen: Educational Lecture Abstract-based Question Generation System
ExplainIt!: A Tool for Computing Robust Attributions of DNNs
Expanding the Category of Classifiers with LLM Supervision
Preference Moore Machines for Neural Fuzzy Integration
Is My Object in This Video? Reconstruction-based Object Search in Videos
The Geometry Tutor
Forgetting and Compacting data in Concept Learning
Measurement-Theoretic Frameworks for Fuzzy Set Theory
Toward Consistent Descriptions in Vision Systems
Reasoning about Consensus when Opinions Diffuse through Majority Dynamics
Effective Planning with More Expressive Languages
Predicting Knowledge in an Ontology Stream
Representing Diagnostic Knowledge for Probabilistic Horn Abduction
Automated Essay Scoring: Recent Successes and Future Directions
Survey on Feature Transformation Techniques for Data Streams
Multimodal News Article Analysis
Adaptive Sequential Recommendation Using Context Trees
ANTLIMA - A Listener Model with Mental Images
No Pizza for You: Value-based Plan Selection in BDI Agents
CHARADE: A Rule System Learning System
Hierarchical Decompositions and Termination Analysis for Generalized Planning (Abstract Reprint)
Implicit Knowledge Completion Using Relevance Calculation of Distributed Word Representations
Faster Smarter Proof by Induction in Isabelle/HOL
Synthesizing Pattern Programs from Examples
Improving representation learning in autoencoders via multidimensional interpolation and dual regularizations
On Wu's Method for Proving Constructive Geometric Theorems
A Datalog Rewriting Algorithm for Warded Ontologies
Proactive Data-driven Scheduling of Business Processes
Popular and Dominant Matchings with Uncertain and Multimodal Preferences
A Constrained Mechanism for Procedural Learning
Six Topics in Search of a Parser: An Overview of AI Language Research
Fine-grained Image Classification by Visual-Semantic Embedding
Combinatorial Routing for Neural Trees
Shared Autonomy Systems with Stochastic Operator Models
Improving Goal-Oriented Visual Dialog Agents via Advanced Recurrent Nets with Tempered Policy Gradient
Coevolution, Memory and Balance
Fast Incremental Square Root Information Smoothing
Targeting Minimal Rare Itemsets from Transaction Databases
Learning Accurate and Interpretable Decision Trees (Extended Abstract)
Adaptive Sparse ViT: Towards Learnable Adaptive Token Pruning by Fully Exploiting Self-Attention
Thinking of Images as What They Are: Compound Matrix Regression for Image Classification
Efficient HPSG Parsing with Supertagging and CFG-Filtering
Improved Approximation of Weighted MMS Fairness for Indivisible Chores
Understanding Behavior Using Consolidation
Towards Facilitating Empathic Conversations in Online Mental Health Support: A Reinforcement Learning Approach (Extended Abstract)
Explainable Fashion Recommendation: A Semantic Attribute Region Guided Approach
Cross-Domain Few-Shot Classification via Adversarial Task Augmentation
Topological Uncertainty: Monitoring Trained Neural Networks through Persistence of Activation Graphs
Cold Start Purchase Prediction with Budgets Constraints
Resolving Ambiguities to Create a Natural Computer-Based Sketching Environment
Hyperparameter Optimization Can Even Be Harmful in Off-Policy Learning and How to Deal with It
Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs
Applying Attention Mechanism and Deep Neural Network for Medical Object Segmentation and Classification in X-Ray Fluoroscopy Images
A Distributed Case-Based Query Rewriting
Towards Accurate Video Text Spotting with Text-wise Semantic Reasoning
Enhancing Scalability of Metric Differential Privacy via Secret Dataset Partitioning and Benders Decomposition
Managing Efficiently Temporal Relations Through Indexed Spanning Trees
Proceedings of the 7th International Joint Conference on Artificial Intelligence, IJCAI '81, Vancouver, BC, Canada, August 24-28, 1981