yusuke1997/dblp-id-title huggingface dataset:
Embarrassingly Parallel Search in Constraint Programming
Viewpoint: Artificial Intelligence Accidents Waiting to Happen?
Finding Consensus Bayesian Network Structures
The Computational Complexity of Dominance and Consistency in CP-Nets
Efficient Heuristic Hypothesis Ranking
A Logical Study of Partial Entailment
Constraint and Satisfiability Reasoning for Graph Coloring
Improving Resource Allocations by Sharing in Pairs
Predicting the Performance of IDA* using Conditional Distributions
Generic Constraint-based Block Modeling using Constraint Programming
The Latent Relation Mapping Engine: Algorithm and Experiments
On the Equivalence between Assumption-Based Argumentation and Logic Programming
A Divide, Align and Conquer Strategy For Program Synthesis
Approximating Weighted and Priced Bribery in Scoring Rules
Extensible Knowledge Representation: the Case of Description Reasoners
Learning Optimal Bayesian Networks: A Shortest Path Perspective
Sequence-Oriented Diagnosis of Discrete-Event Systems
Solving #SAT and Bayesian Inference with Backtracking Search
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation
Generalizing Group Fairness in Machine Learning via Utilities
Automatically Finding the Right Probabilities in Bayesian Networks
Efficient Retrieval of Matrix Factorization-Based Top-k Recommendations: A Survey of Recent Approaches
Differentially Private Neural Tangent Kernels (DP-NTK) for Privacy-Preserving Data Generation
BnB-ADOPT: An Asynchronous Branch-and-Bound DCOP Algorithm
Perseus: Randomized Point-based Value Iteration for POMDPs
Qualitative Order of Magnitude Energy-Flow-Based Failure Modes and Effects Analysis
Improved Use of Continuous Attributes in C4.5
Steady-State Planning in Expected Reward Multichain MDPs
Integrated Offline and Online Decision Making under Uncertainty
Preference-based Search using Example-Critiquing with Suggestions
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective
Controlling Complexity in Part-of-Speech Induction
On the Satisfiability Problem for SPARQL Patterns
Planning Through Stochastic Local Search and Temporal Action Graphs in LPG
The Complexity of Integer Bound Propagation
An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem
Communication-Based Decomposition Mechanisms for Decentralized MDPs
Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis
Bound Propagation
Automatic Aggregation by Joint Modeling of Aspects and Values
Improving and Understanding the Power of Satisfaction-Driven Clause Learning
Cue Phrase Classification Using Machine Learning
Planning with Perspectives - Decomposing Epistemic Planning using Functional STRIPS
FluCaP: A Heuristic Search Planner for First-Order MDPs
A Selective Under-Sampling (SUS) Method for Imbalanced Regression
Compressing Optimal Paths with Run Length Encoding
Learning to Reach Agreement in a Continuous Ultimatum Game
Graphical Model Market Maker for Combinatorial Prediction Markets
Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)
Weighted Electoral Control
Horn Clause Contraction Functions
Variable Elimination in Binary CSPs
Corpus-Level Fine-Grained Entity Typing
Marginal Distance and Hilbert-Schmidt Covariances-Based Independence Tests for Multivariate Functional Data
Subset Selection Via Implicit Utilitarian Voting
A Metric Space for Point Process Excitations
Adopting the Cascade Model in Ad Auctions: Efficiency Bounds and Truthful Algorithmic Mechanisms
Topic Segmentation and Labeling in Asynchronous Conversations
A Unified Model of Structural Organization in Language and Music
Simulating Offender Mobility: Modeling Activity Nodes from Large-Scale Human Activity Data
Improved High Dimensional Discrete Bayesian Network Inference using Triplet Region Construction
Output Space Entropy Search Framework for Multi-Objective Bayesian Optimization
Resource-bounded Norm Monitoring In Multi-agent Systems
Automatic Description Generation from Images: A Survey of Models, Datasets, and Evaluation Measures
Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results
Some Properties of Batch Value of Information in the Selection Problem
TOOLTANGO: Common sense Generalization in Predicting Sequential Tool Interactions for Robot Plan Synthesis
Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones
Neural Character-Level Syntactic Parsing for Chinese
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities
Data-Driven Revision of Conditional Norms in Multi-Agent Systems
Text Rewriting Improves Semantic Role Labeling
Automated Conjecturing II: Chomp and Reasoned Game Play
Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes
Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis
Embedding Projection for Targeted Cross-lingual Sentiment: Model Comparisons and a Real-World Study
Interpretable Local Concept-based Explanation with Human Feedback to Predict All-cause Mortality
Identifying Hierarchical Structure in Sequences: A linear-time algorithm
The Search for Stability: Learning Dynamics of Strategic Publishers with Initial Documents
Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions
Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies
Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization
An Analysis of Phase Transition in NK Landscapes
A Scoping Study on AI Affordances in Early Childhood Education: Mapping the Global Landscape, Identifying Research Gaps, and Charting Future Research Directions
Learning From Labeled And Unlabeled Data: An Empirical Study Across Techniques And Domains
Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
Variable Forgetting in Reasoning about Knowledge
Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH
HC-Search: A Learning Framework for Search-based Structured Prediction
Iterative Plan Construction for the Workflow Satisfiability Problem
SMOTE for Learning from Imbalanced Data: Progress and Challenges, Marking the 15-year Anniversary
Cross-lingual Annotation Projection for Semantic Roles
Individual and Domain Adaptation in Sentence Planning for Dialogue
Lilotane: A Lifted SAT-based Approach to Hierarchical Planning
Constraining Information Sharing to Improve Cooperative Information Gathering
A Hierarchy of Tractable Subsets for Computing Stable Models
AMP Chain Graphs: Minimal Separators and Structure Learning Algorithms
Learning the Past Tense of English Verbs: The Symbolic Pattern Associator vs. Connectionist Models
Contract Scheduling with Predictions
Towards Unsupervised Learning of Temporal Relations between Events
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms
Hierarchical Decompositions and Termination Analysis for Generalized Planning
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Relations Between Spatial Calculi About Directions and Orientations
Regret Analysis for Randomized Gaussian Process Upper Confidence Bound
A Comprehensive Survey on Deep Graph Representation Learning Methods
Generalization of Clauses under Implication
A Hybrid Intelligence Method for Argument Mining
Cooperation between Top-Down and Bottom-Up Theorem Provers
Evolutionary Dynamics and Phi-Regret Minimization in Games
Optimizing for Interpretability in Deep Neural Networks with Tree Regularization
Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models
Individual Fairness, Base Rate Tracking and the Lipschitz Condition
Approximate Implication for Probabilistic Graphical Models
New Polynomial Classes for Logic-Based Abduction
Robust Reward Design for Markov Decision Processes
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC
Clause Elimination for SAT and QSAT
REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
Multi-Label Classification Neural Networks with Hard Logical Constraints
Resource Allocation Among Agents with MDP-Induced Preferences
ConSCompF: Consistency-focused Similarity Comparison Framework for Generative Large Language Models
An Application of Reinforcement Learning to Dialogue Strategy Selection in a Spoken Dialogue System for Email
Identification of Pleonastic It Using the Web
Multi-objective Reinforcement Learning through Continuous Pareto Manifold Approximation
Learning to Predict from Textual Data
Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach
A Set of Recommendations for Assessing Human-Machine Parity in Language Translation
A New Regret-analysis Framework for Budgeted Multi-Armed Bandits
Your College Dorm and Dormmates: Fair Resource Sharing with Externalities
Continuing Plan Quality Optimisation
Objective Bayesian Nets for Integrating Consistent Datasets
Measuring Fairness Under Unawareness of Sensitive Attributes: A Quantification-Based Approach
Effective Heuristics for Suboptimal Best-First Search
Multi-Organ Exchange
Undesirable Biases in NLP: Addressing Challenges of Measurement
Short and Long Supports for Constraint Propagation
Identifying Mislabeled Training Data
Algorithms for Closed Under Rational Behavior (CURB) Sets
Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan
SATzilla: Portfolio-based Algorithm Selection for SAT
Using Pivot Consistency to Decompose and Solve Functional CSPs
Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling
A Differential Privacy Mechanism that Accounts for Network Effects for Crowdsourcing Systems
A Survey of Methods for Automated Algorithm Configuration
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
FactGen: Faithful Text Generation by Factuality-aware Pre-training and Contrastive Ranking Fine-tuning
Extended RDF as a Semantic Foundation of Rule Markup Languages
Autonomous Target Search with Multiple Coordinated UAVs
Monotonicity and Persistence in Preferential Logics
Inductive Logic Programming At 30: A New Introduction
Graph Kernels: A Survey
Using Local Alignments for Relation Recognition
An Exhaustive DPLL Algorithm for Model Counting
SAlign: A Graph Neural Attention Framework for Aligning Structurally Heterogeneous Networks
Protecting Moving Targets with Multiple Mobile Resources
Inverting Cryptographic Hash Functions via Cube-and-Conquer
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series
Achieving Goals Quickly Using Real-time Search: Experimental Results in Video Games
Goal Recognition for Deceptive Human Agents through Planning and Gaze
Pattern Matching and Discourse Processing in Information Extraction from Japanese Text
Amortized Variational Inference: A Systematic Review
Multi-Agent Advisor Q-Learning
SMOTE: Synthetic Minority Over-sampling Technique
Soft Constraints of Difference and Equality
On the Compilability and Expressive Power of Propositional Planning Formalisms
An Architectural Approach to Ensuring Consistency in Hierarchical Execution
The Automatic Inference of State Invariants in TIM
Computational Short Cuts in Infinite Domain Constraint Satisfaction
Improving the Effectiveness and Efficiency of Stochastic Neighbour Embedding with Isolation Kernel
Budgeted Optimization with Constrained Experiments
Trustworthy Transfer Learning: A Survey
Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time
The Bottleneck Simulator: A Model-Based Deep Reinforcement Learning Approach
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures
Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems
Causal Explanations for Sequential Decision Making
Logical Foundations of RDF(S) with Datatypes
Monte Carlo Sampling Methods for Approximating Interactive POMDPs
Lightweight Random Indexing for Polylingual Text Classification
Residual-Guided Look-Ahead in AND/OR Search for Graphical Models
Speeding Up the Convergence of Value Iteration in Partially Observable Markov Decision Processes
A Bilinear Programming Approach for Multiagent Planning
A New Literature Review of 3D Object Detection on Autonomous Driving
Hiding Satisfying Assignments: Two are Better than One
Detecting Change Intervals with Isolation Distributional Kernel
Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities
Protecting Privacy through Distributed Computation in Multi-agent Decision Making
The Goal after Tomorrow: Offline Goal Reasoning with Norms
First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
An Integrated Framework for Learning and Reasoning
Conservative Extensions in Horn Description Logics with Inverse Roles
Efficient Learning of Interpretable Classification Rules
Representing and Reasoning About the Rules of General Games With Imperfect Information
Computational Complexity of Computing Symmetries in Finite-Domain Planning
Change in Abstract Argumentation Frameworks: Adding an Argument
Creating Relational Data from Unstructured and Ungrammatical Data Sources
Relational Dynamic Bayesian Networks
Closure and Consistency In Logic-Associated Argumentation
Spectrum of Variable-Random Trees
Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games
Regret Bounds for Reinforcement Learning via Markov Chain Concentration
Multiagent Learning in Large Anonymous Games
Decentralized Markets versus Central Control: A Comparative Study
Distributed Reasoning for Multiagent Simple Temporal Problems
Solving Set Constraint Satisfaction Problems using ROBDDs
Efficient Solution Algorithms for Factored MDPs
Belief Integration and Source Reliability Assessment
Issues in Stacked Generalization
Against The Achilles' Heel: A Survey on Red Teaming for Generative Models
Predicting Behavior in Unstructured Bargaining with a Probability Distribution
From Single-Objective to Bi-Objective Maximum Satisfiability Solving
K-Implementation
Multiattribute Auctions Based on Generalized Additive Independence
The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach
Generalizing Boolean Satisfiability III: Implementation
Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features
Experiments with Infinite-Horizon, Policy-Gradient Estimation
Interpretable Charge Prediction for Criminal Cases with Dynamic Rationale Attention
Simulating Counterfactuals
FlexiBERT: Are Current Transformer Architectures too Homogeneous and Rigid?
How to DP-fy ML: A Practical Guide to Machine Learning with Differential Privacy
Core Challenges in Embodied Vision-Language Planning
Efficient Informative Sensing using Multiple Robots
Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems
A Complete Classification of Tractability in RCC-5
Squeaky Wheel Optimization
On the Qualitative Comparison of Decisions Having Positive and Negative Features
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases
Semiring Reasoning Frameworks in AI and Their Computational Complexity
Distributed Heuristic Forward Search for Multi-agent Planning
Cost-optimal Planning, Delete Relaxation, Approximability, and Heuristics
Convexity Arguments for Efficient Minimization of the Bethe and Kikuchi Free Energies
Mean Field Theory for Sigmoid Belief Networks
On Monte Carlo Tree Search and Reinforcement Learning
PDDL 2.1: Representation vs. Computation
A Framework for Belief-based Programs and Their Verification
On Minimum Representations of Matched Formulas
Predicting Decisions in Language Based Persuasion Games
Belief change and 3-valued logics: Characterization of 19, 683 belief change operators
Ordinal and Probabilistic Representations of Acceptance
Approximate Counting of Linear Extensions in Practice
Goal Recognition Design in Deterministic Environments
Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework
Imperfect Match: PDDL 2.1 and Real Applications
An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems
Qualitative System Identification from Imperfect Data
Risk-Sensitive Reinforcement Learning Applied to Control under Constraints
Translation of Pronominal Anaphora between English and Spanish: Discrepancies and Evaluation
Information Lattice Learning
The Role of Macros in Tractable Planning
Towards Continual Reinforcement Learning: A Review and Perspectives
The Strategy-Proofness Landscape of Merging
Lifted Variable Elimination: Decoupling the Operators from the Constraint Language
Concurrent Auctions Across The Supply Chain
Probabilistic Temporal Networks with Ordinary Distributions: Theory, Robustness and Expected Utility
Survey and Evaluation of Causal Discovery Methods for Time Series
Evolutionary Algorithms for Reinforcement Learning
The Price of Anarchy in Auctions
Computational Argumentation-based Chatbots: A Survey
A Utility-Theoretic Approach to Privacy in Online Services
A Survey of Cross-lingual Word Embedding Models
Pitfalls and Best Practices in Algorithm Configuration
Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach
Transforming Graph Data for Statistical Relational Learning
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning
Sentence Compression as Tree Transduction
On the Computation of Fully Proportional Representation
A Game Theoretic Analysis of the Adversarial Retrieval Setting
Possible and Necessary Winners of Partial Tournaments
Compositionality Decomposed: How do Neural Networks Generalise?
A Formal Framework for Speedup Learning from Problems and Solutions
Regarding Goal Bounding and Jump Point Search
Optimal Implementation of Watched Literals and More General Techniques
Confidence-based Estimators for Predictive Performance in Model Monitoring
Linear Satisfiability Preserving Assignments
A Constraint Solver for Flexible Protein Model
On Reachability, Relevance, and Resolution in the Planning as Satisfiability Approach
ITSAT: An Efficient SAT-Based Temporal Planner
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning
Learning Bayesian Network Equivalence Classes with Ant Colony Optimization
Kernel Contraction and Base Dependence
Variational Probabilistic Inference and the QMR-DT Network
Committee-Based Sample Selection for Probabilistic Classifiers
Storing and Indexing Plan Derivations through Explanation-based Analysis of Retrieval Failures
Program Synthesis with Best-First Bottom-Up Search
A Survey on Data Selection for LLM Instruction Tuning
Coherent Predictive Inference under Exchangeability with Imprecise Probabilities
Demand Side Energy Management via Multiagent Coordination in Consumer Cooperatives
Logical Foundations of Linked Data Anonymisation
Semantic Similarity in a Taxonomy: An Information-Based Measure and its Application to Problems of Ambiguity in Natural Language
Decidability and Undecidability Results for Propositional Schemata
Automatic Induction of Bellman-Error Features for Probabilistic Planning
Select and Augment: Enhanced Dense Retrieval Knowledge Graph Augmentation
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
On Non-Cooperativeness in Social Distance Games
A New Look at BDDs for Pseudo-Boolean Constraints
Use of Markov Chains to Design an Agent Bidding Strategy for Continuous Double Auctions
Two-facility Location Games with Minimum Distance Requirement
Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty
Fault Tolerant Boolean Satisfiability
Diagnosis of Deep Discrete-Event Systems
When Gravity Fails: Local Search Topology
Translating between Horn Representations and their Characteristic Models
PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime
Automatic Wordnet Development for Low-Resource Languages using Cross-Lingual WSD
The Complexity of Circumscription in DLs
Prime Implicate Generation in Equational Logic
A Selective Macro-learning Algorithm and its Application to the NxN Sliding-Tile Puzzle
SAS+ Planning as Satisfiability
A Word Selection Method for Producing Interpretable Distributional Semantic Word Vectors
Scalable Planning with Deep Neural Network Learned Transition Models
Watching and Acting Together: Concurrent Plan Recognition and Adaptation for Human-Robot Teams
Robust Multi-Agent Path Finding and Executing
Solving Highly Constrained Search Problems with Quantum Computers
New Islands of Tractability of Cost-Optimal Planning
Gradient-based Learning Methods Extended to Smooth Manifolds Applied to Automated Clustering
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis
MADRaS : Multi Agent Driving Simulator
On a Practical, Integer-Linear Programming Model for Delete-Free Tasks and its Use as a Heuristic for Cost-Optimal Planning
Subgoaling Techniques for Satisficing and Optimal Numeric Planning
A Decidable Extension of SROIQ with Complex Role Chains and Unions
Dynamic Backtracking
Asymmetric Action Abstractions for Planning in Real-Time Strategy Games
The Arcade Learning Environment: An Evaluation Platform for General Agents
A Survey of Multi-Objective Sequential Decision-Making
An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems
A Logic of East and West
The Impact of Treewidth on Grounding and Solving of Answer Set Programs
Learning from Disagreement: A Survey
Stackelberg Security Games with Contagious Attacks on a Network: Reallocation to the Rescue
Modular Structures and Atomic Decomposition in Ontologies
Generative Prior Knowledge for Discriminative Classification
Policy Iteration Based on Stochastic Factorization
Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning
Finding Minimal Plan Reductions Using Classical Planning
Learning Neural Audio Embeddings for Grounding Semantics in Auditory Perception
Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents
MiniMaxSAT: An Efficient Weighted Max-SAT solver
Sampling Based Approaches for Minimizing Regret in Uncertain Markov Decision Processes (MDPs)
Using Machine Learning for Decreasing State Uncertainty in Planning
Tutorial on Structured Continuous-Time Markov Processes
Adaptive Problem-solving for Large-scale Scheduling Problems: A Case Study
Verification of Agent-Based Artifact Systems
Towards Generalist Robot Learning from Internet Video: A Survey
Description Logic Knowledge and Action Bases
Efficient Reinforcement Learning Using Recursive Least-Squares Methods
Recency-Weighted Temporally-Segmented Ensemble for Time Series Modeling
Model-Based Diagnosis using Structured System Descriptions
Algorithms and Limits for Compact Plan Representations
Parameterized Complexity Results for Exact Bayesian Network Structure Learning
Conservative Inference Rule for Uncertain Reasoning under Incompleteness
Resource-Driven Mission-Phasing Techniques for Constrained Agents in Stochastic Environments
Chamberlin-Courant Rule with Approval Ballots: Approximating the MaxCover Problem with Bounded Frequencies in FPT Time
On Partially Controlled Multi-Agent Systems
Second-Order Consistencies
Time and Space Bounds for Planning
The Ultrametric Constraint and its Application to Phylogenetics
Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement
Cooperative Games with Overlapping Coalitions
Optiplan: Unifying IP-based and Graph-based Planning
The Complexity of Planning Problems With Simple Causal Graphs
An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem