yusuke1997/dblp-id-title huggingface dataset:
Learning to Play Using Low-Complexity Rule-Based Policies: Illustrations through Ms. Pac-Man
On Efficient Reinforcement Learning for Full-length Game of StarCraft II
A Semantic Characterization ASP Base Revision
Understanding Algorithm Performance on an Oversubscribed Scheduling Application
Viewpoint: AI as Author - Bridging the Gap Between Machine Learning and Literary Theory
LexRank: Graph-based Lexical Centrality as Salience in Text Summarization
Push and Rotate: a Complete Multi-agent Pathfinding Algorithm
Join-Graph Propagation Algorithms
A Framework for Kernel-Based Multi-Category Classification
Generalized Biwords for Bitext Compression and Translation Spotting
Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess
Policy Invariance under Reward Transformations for General-Sum Stochastic Games
The AI Liability Puzzle and A Fund-Based Work-Around
Least Generalizations and Greatest Specializations of Sets of Clauses
Avoiding and Escaping Depressions in Real-Time Heuristic Search
On the Online Coalition Structure Generation Problem
Scalable and Efficient Bayes-Adaptive Reinforcement Learning Based on Monte-Carlo Tree Search
Visualizing the Implicit Model Selection Tradeoff
Conformant Planning via Symbolic Model Checking
Collision Avoiding Max-Sum for Mobile Sensor Teams
An Approach to Temporal Planning and Scheduling in Domains with Predictable Exogenous Events
Human-in-the-Loop Reinforcement Learning: A Survey and Position on Requirements, Challenges, and Opportunities
Cost-Based Goal Recognition in Navigational Domains
Pac-learning Recursive Logic Programs: Negative Results
Game-Theoretic Patrolling with Dynamic Execution Uncertainty and a Case Study on a Real Transit System
Learning over No-Preferred and Preferred Sequence of Items for Robust Recommendation
Axiomatic Characterization of Game-Theoretic Centrality
Learning When Training Data are Costly: The Effect of Class Distribution on Tree Induction
GIB: Imperfect Information in a Computationally Challenging Game
A Principled Approach Towards Symbolic Geometric Constraint Satisfaction
A Core Method for the Weak Completion Semantics with Skeptical Abduction
Laplace-HDC: Understanding the Geometry of Binary Hyperdimensional Computing
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints
Toward Supervised Anomaly Detection
Cause Identification from Aviation Safety Incident Reports via Weakly Supervised Semantic Lexicon Construction
Annotator Rationales for Labeling Tasks in Crowdsourcing
Preference Tuning with Human Feedback on Language, Speech, and Vision Tasks: A Survey
Methods for Recovering Conditional Independence Graphs: A Survey
Planning over Chain Causal Graphs for Variables with Domains of Size 5 Is NP-Hard
Multi-fidelity Gaussian Process Bandit Optimisation
Efficient HEX-Program Evaluation Based on Unfounded Sets
Wrapper Maintenance: A Machine Learning Approach
Ranking Sets of Objects: The Complexity of Avoiding Impossibility Results
Agent-Based Markov Modeling for Improved COVID-19 Mitigation Policies
On the Phase Transition of the Euclidean Travelling Salesman Problem with Time Windows
Certified Knowledge Compilation with Application to Formally Verified Model Counting
A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering
Iterative Optimization and Simplification of Hierarchical Clusterings
Association Discovery and Diagnosis of Alzheimer's Disease with Bayesian Multiview Learning
Opening the Analogical Portal to Explainability: Can Analogies Help Laypeople in AI-assisted Decision Making?
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
Entrenchment-Based Horn Contraction
Cached Sufficient Statistics for Efficient Machine Learning with Large Datasets
Synthetic Treebanking for Cross-Lingual Dependency Parsing
Non-Crossing Anonymous MAPF for Tethered Robots
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization
Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation
Asynchronous Forward Bounding for Distributed COPs
On Polynomial Sized MDP Succinct Policies
Defining Relative Likelihood in Partially-Ordered Structures
Structure in Deep Reinforcement Learning: A Survey and Open Problems
Finding Optimal Solutions for Voting Game Design Problems
Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework
Generating Natural Language Descriptions from OWL Ontologies: the NaturalOWL System
Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving
Boolean Observation Games
The Computational Complexity of Understanding Binary Classifier Decisions
Learning to Design Fair and Private Voting Rules
Regression Conformal Prediction with Nearest Neighbours
A Unifying Framework for Causal Modeling With Infinitely Many Variables
Removing Bias and Incentivizing Precision in Peer-grading
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
Additive Pattern Database Heuristics
Solving Limited Memory Influence Diagrams
Point at the Triple: Generation of Text Summaries from Knowledge Base Triples
Anytime Point-Based Approximations for Large POMDPs
Symmetric Subgame-Perfect Equilibria in Resource Allocation
Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation
Proactive Dynamic Distributed Constraint Optimization Problems
Solving Multiclass Learning Problems via Error-Correcting Output Codes
On the Subexponential-Time Complexity of CSP
Correct Explanations and How to Define Them: Properties and Metrics for Measuring Correctness of Three Forms of ML Model Input/Output Behaviour Explanations
Measuring the Occupational Impact of AI: Tasks, Cognitive Abilities and AI Benchmarks
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks
DL-Lite Contraction and Revision
Probabilistic Inference from Arbitrary Uncertainty using Mixtures of Factorized Generalized Gaussians
Fair Allocation with Diminishing Differences
Popular Ensemble Methods: An Empirical Study
On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study
SCREEN: Learning a Flat Syntactic and Semantic Spoken Language Analysis Using Artificial Neural Networks
Truncating Temporal Differences: On the Efficient Implementation of TD(lambda) for Reinforcement Learning
A System for Induction of Oblique Decision Trees
Adaptive Load Balancing: A Study in Multi-Agent Learning
Dynamic Controllability of Temporal Plans in Uncertain and Partially Observable Environments
Probabilistic Relational Planning with First Order Decision Diagrams
Rule-based Machine Learning Methods for Functional Prediction
Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms
Partial-Order Planning with Concurrent Interacting Actions
AND/OR Branch-and-Bound on a Computational Grid
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration
Conditional Simple Temporal Networks with Uncertainty and Resources
First-Order Stable Model Semantics and First-Order Loop Formulas
Towards Knowledgeable Supervised Lifelong Learning Systems
Wrap-Up: a Trainable Discourse Module for Information Extraction
Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming
Computationally Feasible VCG Mechanisms
The Rediscovery Hypothesis: Language Models Need to Meet Linguistics
Planning High-Level Paths in Hostile, Dynamic, and Uncertain Environments
Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision
Lazy Model Expansion: Interleaving Grounding with Search
Properties of Bethe Free Energies and Message Passing in Gaussian Models
Cooperative, Dynamics-based, and Abstraction-Guided Multi-robot Motion Planning
Infinite-Horizon Policy-Gradient Estimation
Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning
Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems
Towards Flexible Teamwork
Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning
Competitive Safety Analysis: Robust Decision-Making in Multi-Agent Systems
NLP Methods for Extraction of Symptoms from Unstructured Data for Use in Prognostic COVID-19 Analytic Models
Trust-Based Mechanisms for Robust and Efficient Task Allocation in the Presence of Execution Uncertainty
Encoding Domain Transitions for Constraint-Based Planning
On the Behavior of Convolutional Nets for Feature Extraction
ZERO++: Harnessing the Power of Zero Appearances to Detect Anomalies in Large-Scale Data Sets
Reasoning About the Transfer of Control
Closed-Loop Learning of Visual Control Policies
Computing Convex Coverage Sets for Faster Multi-objective Coordination
Natural Events
OptStream: Releasing Time Series Privately
An Efficient Algorithm for Estimating State Sequences in Imprecise Hidden Markov Models
Solving Transition Independent Decentralized Markov Decision Processes
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning
Computing Pareto-Optimal and Almost Envy-Free Allocations of Indivisible Goods
Viewpoint: Ethical By Designer - How to Grow Ethical Designers of Artificial Intelligence
On Overfitting and Asymptotic Bias in Batch Reinforcement Learning with Partial Observability
Restricted Value Iteration: Theory and Algorithms
AutoFolio: An Automatically Configured Algorithm Selector
Perturbation Training for Human-Robot Teams
Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity
Revisiting Counting Solutions for the Global Cardinality Constraint
Improving Simulated Annealing for Clique Partitioning Problems
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints
Towards Robust Offline-to-Online Reinforcement Learning via Uncertainty and Smoothness
On Expected Value Strong Controllability
Saturated Cost Partitioning for Optimal Classical Planning
Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems
The FF Planning System: Fast Plan Generation Through Heuristic Search
Sharing Rewards in Cooperative Connectivity Games
Topic and Role Discovery in Social Networks with Experiments on Enron and Academic Email
AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions
Rethinking Fairness: An Interdisciplinary Survey of Critiques of Hegemonic ML Fairness Approaches
Aggregation over Metric Spaces: Proposing and Voting in Elections, Budgeting, and Legislation
Mining ℰℒ⊥ Bases with Adaptable Role Depth
A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
On the Complexity of Learning a Class Ratio from Unlabeled Data
Estimating Agent Skill in Continuous Action Domains
To Regulate or Not: A Social Dynamics Analysis of an Idealised AI Race
Logics of Common Ground
Defeasible Inclusions in Low-Complexity DLs
Set Intersection and Consistency in Constraint Networks
Implicit Abstraction Heuristics
Modelling Mixed Discrete-Continuous Domains for Planning
KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner
On the Equivalence between Logic Programs and Bipolar Argumentation Frameworks
Complexity of Strategic Behavior in Multi-Winner Elections
Scalable Neural-Probabilistic Answer Set Programming
Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video
Identifying Aspects for Web-Search Queries
Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints
COLIN: Planning with Continuous Linear Numeric Change
A Survey of Learning Criteria Going Beyond the Usual Risk
Adaptive Parallel Iterative Deepening Search
The Force Awakens: Artificial Intelligence for Consumer Law
Completeness and Performance Of The APO Algorithm
From "Identical" to "Similar": Fusing Retrieved Lists Based on Inter-Document Similarities
Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks
Incremental Learning Methodologies for Addressing Catastrophic Forgetting: Analysis and Experimental Evaluation
Information-Theoretic Multi-view Domain Adaptation: A Theoretical and Empirical Study
AltAltp: Online Parallelization of Plans with Heuristic State Search
Causal Graphs and Fairness in Machine Learning: Addressing Practical Challenges in Causal Fairness Evaluation
Defensive Alliances in Signed Networks
On the Testability of BDI Agent Systems
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm
Adaptive Stochastic Resource Control: A Machine Learning Approach
Tie-Breaking Strategies for Cost-Optimal Best First Search
BDD Ordering Heuristics for Classical Planning
Type-aware Convolutional Neural Networks for Slot Filling
Most Relevant Explanation in Bayesian Networks
HTN Planning as Heuristic Progression Search
Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms
Lifted Reasoning for Combinatorial Counting
PHA*: Finding the Shortest Path with A* in An Unknown Physical Environment
Substructure Discovery Using Minimum Description Length and Background Knowledge
Benchmark and Survey of Automated Machine Learning Frameworks
Robustness Distributions in Neural Network Verification
Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes
Prosociality in Microtransit
Neural Machine Translation: A Review
Identifying the Class of Maxi-Consistent Operators in Argumentation
Qualitative Spatial Logics for Buffered Geometries
Undominated Groves Mechanisms
Dynamic Repositioning to Reduce Lost Demand in Bike Sharing Systems
Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks
The State of Computer Vision Research in Africa
On the Intertranslatability of Argumentation Semantics
A General Theory of Additive State Space Abstractions
The Difficulties of Learning Logic Programs with Cut
Prime Implicates and Prime Implicants: From Propositional to Modal Logic
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
Viewpoint: The Future of Human-Centric Explainable Artificial Intelligence (XAI) is not Post-Hoc Explanations
The Logical Difference for the Lightweight Description Logic EL
Planning with Noisy Probabilistic Relational Rules
Soft Goals Can Be Compiled Away
A Probabilistic Approach for Maintaining Trust Based on Evidence
Propositional Independence: Formula-Variable Independence and Forgetting
Decision-Theoretic Planning: Structural Assumptions and Computational Leverage
Leveraging Online User Feedback to Improve Statistical Machine Translation
Module Extraction in Expressive Ontology Languages via Datalog Reasoning
Integrative Windowing
Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies
Control by Adding or Deleting Edges in Graph-Restricted Weighted Voting Games
Constructing Reference Sets from Unstructured, Ungrammatical Text
Mechanisms for Making Crowds Truthful
Set-to-Sequence Methods in Machine Learning: A Review
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
Bayesian Optimization in a Billion Dimensions via Random Embeddings
Human-Machine Collaborative Optimization via Apprenticeship Scheduling
Community Structure in Industrial SAT Instances
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Improved Separations of Regular Resolution from Clause Learning Proof Systems
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Decision-Theoretic Planning with non-Markovian Rewards
Induction of First-Order Decision Lists: Results on Learning the Past Tense of English Verbs
A Coupled Operational Semantics for Goals and Commitments
An Anytime Algorithm for Optimal Coalition Structure Generation
Out of Context: A New Clue for Context Modeling of Aspect-based Sentiment Analysis
Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation
Complexity of Computing the Shapley Value in Partition Function Form Games
Unsupervised Sub-tree Alignment for Tree-to-Tree Translation
Goal Recognition through Goal Graph Analysis
Context Vectors are Reflections of Word Vectors in Half the Dimensions
A Temporal Description Logic for Reasoning about Actions and Plans
The Length of Shortest Vertex Paths in Binary Occupancy Grids Compared to Shortest r-Constrained Ones
Detecting Generative Model Inversion Attacks for Protecting Intellectual Property of Deep Neural Networks
Learning Content Selection Rules for Generating Object Descriptions in Dialogue
Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search
Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations
Spatial Aggregation: Theory and Applications
Optimal Strategies for Simultaneous Vickrey Auctions with Perfect Substitutes
MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees
On Inductive Abilities of Latent Factor Models for Relational Learning
Viewpoint: Human-in-the-loop Artificial Intelligence
Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning
PDDL2.1 - The Art of the Possible? Commentary on Fox and Long
Wikipedia-based Semantic Interpretation for Natural Language Processing
On the Distortion Value of Elections with Abstention
The GRT Planning System: Backward Heuristic Construction in Forward State-Space Planning
Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search
From Word To Sense Embeddings: A Survey on Vector Representations of Meaning
Learning the Language of Software Errors
Truth-tracking with Non-expert Information Sources
Decision Making with Dynamic Uncertain Events
Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP
Practical Parallel Algorithms for Non-Monotone Submodular Maximization
Breaking Instance-Independent Symmetries In Exact Graph Coloring
Fair Influence Maximization in Large-scale Social Networks Based on Attribute-aware Reverse Influence Sampling
Robust Text Classification under Confounding Shift
Can We Automate Scientific Reviewing?
Incremental Clustering and Expansion for Faster Optimal Planning in Dec-POMDPs
The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality
Socially Responsible AI Algorithms: Issues, Purposes, and Challenges
Redistribution Mechanisms for Assignment of Heterogeneous Objects
Teleo-Reactive Programs for Agent Control
A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference
FFCI: A Framework for Interpretable Automatic Evaluation of Summarization
Actor Prioritized Experience Replay
Towards Adjustable Autonomy for the Real World
Reasoning within Fuzzy Description Logics
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics
Jointly Learning Environments and Control Policies with Projected Stochastic Gradient Ascent
Unsupervised Methods for Determining Object and Relation Synonyms on the Web
The Deterministic Part of IPC-4: An Overview
Domain Adaptation and Multi-Domain Adaptation for Neural Machine Translation: A Survey
Accelerating Reinforcement Learning through Implicit Imitation
Inapproximability of Treewidth and Related Problems
Mechanisms for Multi-Unit Auctions
Content Modeling Using Latent Permutations
mGPT: A Probabilistic Planner Based on Heuristic Search
On Centralized Critics in Multi-Agent Reinforcement Learning
Scaling up Heuristic Planning with Relational Decision Trees
Sequential Diagnosis by Abstraction
Technical Paper Recommendation: A Study in Combining Multiple Information Sources
Decentralized Anti-coordination Through Multi-agent Learning
Admissible and Restrained Revision
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains
Equivalence in Argumentation Frameworks with a Claim-centric View: Classical Results with Novel Ingredients
Combination Strategies for Semantic Role Labeling
Solving Multi-agent Path Finding on Strongly Biconnected Digraphs
A Variational Inference Procedure Allowing Internal Structure for Overlapping Clusters and Deterministic Constraints
Knowledge Forgetting in Answer Set Programming
Training a Multilingual Sportscaster: Using Perceptual Context to Learn Language
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
Exploiting Contextual Target Attributes for Target Sentiment Classification
Uncertainty in Soft Temporal Constraint Problems: A General Framework and Controllability Algorithms forThe Fuzzy Case
MallobSat: Scalable SAT Solving by Clause Sharing
Natural Language Inference for Arabic Using Extended Tree Edit Distance with Subtrees
Learning Discrete Bayesian Networks from Continuous Data
Topological Value Iteration Algorithms
Supervised Visual Attention for Simultaneous Multimodal Machine Translation
The Fast Downward Planning System
Transductive Rademacher Complexity and its Applications
AI Generality and Spearman's Law of Diminishing Returns
Game Plan: What AI can do for Football, and What Football can do for AI
An Empirical Evaluation of Ranking Measures With Respect to Robustness to Noise
Optimal Any-Angle Pathfinding In Practice
Coordinating Measurements in Uncertain Participatory Sensing Settings
Performative Ethics From Within the Ivory Tower: How CS Practitioners Uphold Systems of Oppression
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences
MDD Propagation for Sequence Constraints
Tractability of Theory Patching
A Smooth Transition from Powerlessness to Absolute Power
Column Generation Algorithms for Constrained POMDPs
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI
Cutset Sampling for Bayesian Networks
Learning to Resolve Social Dilemmas: A Survey
Does CLIP Know My Face?
Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming
Knowledge Derived From Wikipedia For Computing Semantic Relatedness
Cognitive Principles in Robust Multimodal Interpretation
Potential-Based Shaping and Q-Value Initialization are Equivalent
Reasoning about Minimal Belief and Negation as Failure
Probabilistic Inference Techniques for Scalable Multiagent Decision Making
Explicit Document Modeling through Weighted Multiple-Instance Learning
Prediction of Social Dynamic Agents and Long-Tailed Learning Challenges: A Survey
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models
A Heuristic Search Approach to Planning with Continuous Resources in Stochastic Domains
ICE: An Expressive Iterative Combinatorial Exchange
Graphical Model Inference in Optimal Control of Stochastic Multi-Agent Systems
Scalable Distributed Algorithms for Size-Constrained Submodular Maximization in the MapReduce and Adaptive Complexity Models
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning
The Complexity of Pure Maxmin Strategies in Two-Player Extensive-Form Games
Flexible Bayesian Nonlinear Model Configuration
Single Network Relational Transductive Learning
Enhancing Statement Evaluation in Argumentation via Multi-labelling Systems
Chain: A Dynamic Double Auction Framework for Matching Patient Agents
Speeding Up Iterative Ontology Alignment using Block-Coordinate Descent
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
Preference-Based Inconsistency Management in Multi-Context Systems
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4
LabelCoRank: Revolutionizing Long Tail Multi-Label Classification with Co-Occurrence Reranking
On Mitigating the Utility-Loss in Differentially Private Learning: A New Perspective by a Geometrically Inspired Kernel Approach
Exact Algorithms for MRE Inference
Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management
A Unified Perspective on Value Backup and Exploration in Monte-Carlo Tree Search