yusuke1997/dblp-id-title huggingface dataset:
Fact-Alternating Mutex Groups for Classical Planning
Exploiting Causal Independence in Bayesian Network Inference
A Probabilistic Formalization of the Appraisal for the OCC Event-Based Emotions
Logical Hidden Markov Models
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting
Negotiating Socially Optimal Allocations of Resources
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
Pure Nash Equilibria in Resource Graph Games
Combining Constraint Programming and Machine Learning: From Current Progress to Future Opportunities
Domain and Function: A Dual-Space Model of Semantic Relations and Compositions
Structured Knowledge Representation for Image Retrieval
A Critical Assessment of Benchmark Comparison in Planning
On the Complexity of Finding Set Repairs for Data-Graphs
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
Adaptive Contract Design for Crowdsourcing Markets: Bandit Algorithms for Repeated Principal-Agent Problems
Scaling Safe Policy Improvement: Monte Carlo Tree Search and Policy Iteration Strategies
Monotone Temporal Planning: Tractability, Extensions and Applications
Active Tuples-based Scheme for Bounding Posterior Beliefs
conDENSE: Conditional Density Estimation for Time Series Anomaly Detection
Generalizing the Regret: an Analysis of Lower and Upper Bounds
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning
Refining the Execution of Abstract Actions with Learned Action Models
OPUS: An Efficient Admissible Algorithm for Unordered Search
RoxyBot-06: Stochastic Prediction and Optimization in TAC Travel
Computing Unsatisfiable Cores for LTLf Specifications
Location-Based Reasoning about Complex Multi-Agent Behavior
Declarative Approaches to Outcome Determination in Judgment Aggregation
HEBO: An Empirical Study of Assumptions in Bayesian Optimisation
Reinforcement Learning for Agents with Many Sensors and Actuators Acting in Categorizable Environments
Level-0 Models for Predicting Human Behavior in Games
Robustness and Stability in Constraint Programming under Dynamism and Uncertainty
A Survey on Transfer Learning for Multiagent Reinforcement Learning Systems
Randomized Algorithms for the Loop Cutset Problem
The Power of Modeling - a Response to PDDL2.1
Rademacher Complexity Bounds for a Penalized Multi-class Semi-supervised Algorithm
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent
Behavior Bounding: An Efficient Method for High-Level Behavior Comparison
A General Approach to Multimodal Document Quality Assessment
A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships
Jointly Improving Parsing and Perception for Natural Language Commands through Human-Robot Dialog
Bias-Driven Revision of Logical Domain Theories
The Language of Search
Space Efficiency of Propositional Knowledge Representation Formalisms
Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Shared Resources
Using Memory to Transform Search on the Planning Graph
Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments
Combining Two and Three-Way Embedding Models for Link Prediction in Knowledge Bases
Computational Logic Foundations of KGP Agents
Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence
Liability Regimes in the Age of AI: a Use-Case Driven Analysis of the Burden of Proof
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses
Spatio-Causal Patterns of Sample Growth
CIXL2: A Crossover Operator for Evolutionary Algorithms Based on Population Features
An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs
Algorithms and Applications for the Same-Decision Probability
Using Machine Translation to Provide Target-Language Edit Hints in Computer Aided Translation Based on Translation Memories
Characterizations of Decomposable Dependency Models (Research Note)
Distributed Gibbs: A Linear-Space Sampling-Based DCOP Algorithm
Belief Update within Propositional Fragments
Hedonic Games with Ordinal Preferences and Thresholds
Classifying Inconsistency Measures Using Graphs
An Ordinal Bargaining Solution with Fixed-Point Property
Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
Quantitative Results Comparing Three Intelligent Interfaces for Information Capture: A Case Study Adding Name Information into an Electronic Personal Organizer
A Survey on Lexical Simpli cation
Multi-agent Inverse Reinforcement Learning for Certain General-sum Stochastic Games
Weighted, Circular and Semi-Algebraic Proofs
The Ariadne's Clew Algorithm
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
Multimodal Distributional Semantics
Symbolic Task Inference in Deep Reinforcement Learning
The Opposite of Smoothing: A Language Model Approach to Ranking Query-Specific Document Clusters
DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction
Monitoring Teams by Overhearing: A Multi-Agent Plan-Recognition Approach
Solving Overlapping Coalition Structure Generation in Task-Based Settings
Optimal Rectangle Packing: An Absolute Placement Approach
Invariant Graph Propagation in Constraint-Based Local Search
Synthesis and Properties of Optimally Value-Aligned Normative Systems
Finite Materialisability of Datalog Programs with Metric Temporal Operators
Graph Abstraction in Real-time Heuristic Search
Improving Heuristics Through Relaxed Search - An Analysis of TP4 and HSP*a in the 2004 Planning Competition
A Divergence Critic for Inductive Proof
Automaton Plans
A Comparison of Different Machine Transliteration Models
Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length
A Minimum Relative Entropy Principle for Learning and Acting
Efficient Large-Scale Multi-Drone Delivery using Transit Networks
Distributed Constraint Optimization Problems and Applications: A Survey
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction
A Survey of Opponent Modeling in Adversarial Domains
Domain Filtering Consistencies
Complexity of Prioritized Default Logics
Answer Set Planning Under Action Costs
A Model-Based Active Testing Approach to Sequential Diagnosis
A Refined View of Causal Graphs and Component Sizes: SP-Closed Graph Classes and Beyond
On Deducing Conditional Independence from d-Separation in Causal Graphs with Feedback (Research Note)
Autotelic Agents with Intrinsically Motivated Goal-Conditioned Reinforcement Learning: A Short Survey
Querying Log Data with Metric Temporal Logic
Data-driven Conceptual Spaces: Creating Semantic Representations For Linguistic Descriptions Of Numerical Data
Multi-Document Summarization with Determinantal Point Process Attention
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
Human Activity Recognition in an Open World
How Hard Is Bribery in Elections?
Agnostic Pointwise-Competitive Selective Classification
Mean Field Methods for a Special Class of Belief Networks
A Survey on Latent Tree Models and Applications
Irrelevant and independent natural extension for sets of desirable gambles
From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning
Word vs. Class-Based Word Sense Disambiguation
A Knowledge Level Account of Forgetting
Coherent Integration of Databases by Abductive Logic Programming
Generating Approximate Solutions to the TTP using a Linear Distance Relaxation
Trust as a Precursor to Belief Revision
Collective Intelligence in Decision-Making with Non-Stationary Experts
Joint Optimization of Concave Scalarized Multi-Objective Reinforcement Learning with Policy Gradient Based Algorithm
Tractable Triangles and Cross-Free Convexity in Discrete Optimisation
A Constraint Programming Approach for Solving a Queueing Control Problem
Synthesizing Customized Planners from Specifications
Enhancing QA Systems with Complex Temporal Question Processing Capabilities
Existence of Multiagent Equilibria with Limited Agents
DIGCN: A Dynamic Interaction Graph Convolutional Network Based on Learnable Proposals for Object Detection
Using Constraint Propagation to Bound Linear Programs
General Value Function Networks
Context-based Word Acquisition for Situated Dialogue in a Virtual World
Kalman Temporal Differences
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
Data Augmentation for Time-Series Classification: An Extensive Empirical Study and Comprehensive Survey
Learning Optimal Decision Sets and Lists with SAT
Value of Information Lattice: Exploiting Probabilistic Independence for Effective Feature Subset Acquisition
Lifeworld Analysis
Linking Search Space Structure, Run-Time Dynamics, and Problem Difficulty: A Step Toward Demystifying Tabu Search
Randomized Social Choice Functions Under Metric Preferences
Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes
Strategy Graphs for Influence Diagrams
The Societal Implications of Deep Reinforcement Learning
Probabilistic Hybrid Action Models for Predicting Concurrent Percept-driven Robot Behavior
Bidirectional Heuristic Search Reconsidered
Provably Bounded-Optimal Agents
Sapa: A Multi-objective Metric Temporal Planner
Fusions of Description Logics and Abstract Description Systems
Classifier Chains: A Review and Perspectives
Computational Approach to Anaphora Resolution in Spanish Dialogues
An Empirical Analysis of Search in GSAT
Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets
Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning
Parallel Model-Based Diagnosis on Multi-Core Computers
Constrained Multiagent Markov Decision Processes: a Taxonomy of Problems and Algorithms
Further Experimental Evidence against the Utility of Occam's Razor
Convergence of a Q-learning Variant for Continuous States and Actions
Computing Repairs of Inconsistent DL-Programs over EL Ontologies
A Survey of Zero-shot Generalisation in Deep Reinforcement Learning
Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems
Online Planning Algorithms for POMDPs
The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation
Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms
Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training
Pure Nash Equilibria: Hard and Easy Games
Stackelberg vs. Nash in Security Games: An Extended Investigation of Interchangeability, Equivalence, and Uniqueness
TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure
EPINN: Enhanced Physics-Informed Neural Network for Solving Continuous Integral Equations
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches
The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule
Effective Dimensions of Hierarchical Latent Class Models
Integrative Semantic Dependency Parsing via Efficient Large-scale Feature Selection
Planning through Automatic Portfolio Configuration: The PbP Approach
Credibility-limited Base Revision: New Classes and Their Characterizations
Knowledge-Based Textual Inference via Parse-Tree Transformations
Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions
Planning Graph Heuristics for Belief Space Search
Cultural Bias in Explainable AI Research: A Systematic Analysis
A Domain-Independent Algorithm for Plan Adaptation
SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management
Reasoning about Explanations for Negative Query Answers in DL-Lite
Phase Transition for Random Quantified XOR-Formulas
Improved Regret Bounds for Bandits with Expert Advice
General Game Playing with Imperfect Information
Cross-domain Constituency Parsing by Leveraging Heterogeneous Data
Efficient Multi-Goal Reinforcement Learning via Value Consistency Prioritization
Superintelligence Cannot be Contained: Lessons from Computability Theory
Dual Modelling of Permutation and Injection Problems
Adaptive Greedy versus Non-adaptive Greedy for Influence Maximization
Preserving Fairness in AI under Domain Shift
Quantization Aware Factorization for Deep Neural Network Compression
Reinforcement Learning: A Survey
Preferences Single-Peaked on a Tree: Multiwinner Elections and Structural Results
DSAC: Distributional Soft Actor-Critic for Risk-Sensitive Reinforcement Learning
Image Captioning using Facial Expression and Attention
Automatic Language Identification in Texts: A Survey
Causes of Ineradicable Spurious Predictions in Qualitative Simulation
Price Prediction in a Trading Agent Competition
Planning for Contingencies: A Decision-based Approach
Exact Phase Transitions in Random Constraint Satisfaction Problems
On Sparse Discretization for Graphical Games
Representing and Reasoning with Qualitative Preferences for Compositional Systems
Statistical Feature Combination for the Evaluation of Game Positions
The Tractability of CSP Classes Defined by Forbidden Patterns
Graduality in Argumentation
An MRP Formulation for Supervised Learning: Generalized Temporal Difference Learning Models
Computational Machine Ethics: A Survey
Integrating Learning from Examples into the Search for Diagnostic Policies
How to Do Things with Words: A Bayesian Approach
Visually Grounded Models of Spoken Language: A Survey of Datasets, Architectures and Evaluation Techniques
Generating Streamlining Constraints with Large Language Models
Asimovian Adaptive Agents
Planning by Rewriting
Automated Dynamic Algorithm Configuration
Conflict-Directed Backjumping Revisited
Expert-Guided Subgroup Discovery: Methodology and Application
Coalition Structure Generation over Graphs
Scheduling Conservation Designs for Maximum Flexibility via Network Cascade Optimization
Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs
Scalable Online Planning for Multi-Agent MDPs
The Application of Machine Learning Techniques for Predicting Match Results in Team Sport: A Review
Multi-Modal Attentive Prompt Learning for Few-shot Emotion Recognition in Conversations
Conceptual Modeling of Explainable Recommender Systems: An Ontological Formalization to Guide Their Design and Development
Counterfactual Situation Testing: From Single to Multidimensional Discrimination
Marvin: A Heuristic Search Planner with Online Macro-Action Learning
Mapping the landscape of Artificial Intelligence applications against COVID-19
Distributed Bayesian: A Continuous Distributed Constraint Optimization Problem Solver
Adversarial Attacks on Crowdsourcing Quality Control
Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings
A Complexity Approach for Core-Selecting Exchange under Conditionally Lexicographic Preferences
Eliciting Single-Peaked Preferences Using Comparison Queries
Tree-Width and the Computational Complexity of MAP Approximations in Bayesian Networks
Generalizing Boolean Satisfiability II: Theory
A Review of Inference Algorithms for Hybrid Bayesian Networks
A Survey on Temporal Reasoning for Temporal Information Extraction from Text
Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators
Reconnection with the Ideal Tree: A New Approach to Real-Time Search
ATTac-2000: An Adaptive Autonomous Bidding Agent
A Monte-Carlo AIXI Approximation
Engineering a Conformant Probabilistic Planner
Cooperative Search with Concurrent Interactions
Principles for Responsible AI Consciousness Research
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios
Dynamic Local Search for the Maximum Clique Problem
A Multiagent Approach to Autonomous Intersection Management
Efficient Planning under Uncertainty with Macro-actions
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability
Learning Sentence-internal Temporal Relations
Contrastive Explanations of Plans through Model Restrictions
A Compositional Framework for Grounding Language Inference, Generation, and Acquisition in Video
The 2^k Neighborhoods for Grid Path Planning
Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision
Iterated Belief Change Due to Actions and Observations
Computational Benefits of Intermediate Rewards for Goal-Reaching Policy Learning
Efficient XAI: A Low-Cost Data Reduction Approach to SHAP Interpretability
Intrusion Detection using Continuous Time Bayesian Networks
Planning with Durative Actions in Stochastic Domains
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
Solving the Watchman Route Problem with Heuristic Search
A Probabilistic Framework for Learning Kinematic Models of Articulated Objects
Ordinal Maximin Share Approximation for Goods
Inducing Interpretable Voting Classifiers without Trading Accuracy for Simplicity: Theoretical Results, Approximation Algorithms, and Experiments
Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics
Learning Semantic Definitions of Online Information Sources
Solving #SAT and MAXSAT by Dynamic Programming
Bounds on the Size of PC and URC Formulas
Evolutionary Dynamics of Multi-Agent Learning: A Survey
Combining Evaluation Metrics via the Unanimous Improvement Ratio and its Application to Clustering Tasks
Using Meta-mining to Support Data Mining Workflow Planning and Optimization
Collective Belief Revision
Visually Grounded Language Learning: A Review of Language Games, Datasets, Tasks, and Models
Probabilistic Inference in Credal Networks: New Complexity Results
AI Methods in Algorithmic Composition: A Comprehensive Survey
Image Captioning as an Assistive Technology: Lessons Learned from VizWiz 2020 Challenge
Proximity-Based Non-uniform Abstractions for Approximate Planning
Multi-scale Hierarchical Residual Network for Dense Captioning
Verification of Distributed Epistemic Gossip Protocols
Symbol Grounding Association in Multimodal Sequences with Missing Elements
Modeling Belief in Dynamic Systems, Part II: Revision and Update
Banal Deception and Human-AI Ecosystems: A Study of People's Perceptions of LLM-generated Deceptive Behaviour
News Across Languages - Cross-Lingual Document Similarity and Event Tracking
Bilingual Distributed Word Representations from Document-Aligned Comparable Data
Towards Green Automated Machine Learning: Status Quo and Future Directions
Optimal Partial-Order Plan Relaxation via MaxSAT
A Tutorial on Dual Decomposition and Lagrangian Relaxation for Inference in Natural Language Processing
Simple Regret Optimization in Online Planning for Markov Decision Processes
Taking Principles Seriously: A Hybrid Approach to Value Alignment in Artificial Intelligence
Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks
CPM-based Hierarchical Text Classification
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
The Good Old Davis-Putnam Procedure Helps Counting Models
Mechanisms for Multi-unit Combinatorial Auctions with a Few Distinct Goods
Acquiring Correct Knowledge for Natural Language Generation
Neural Natural Language Generation: A Survey on Multilinguality, Multimodality, Controllability and Learning
The IBaCoP Planning System: Instance-Based Configured Portfolios
ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols
Rumor Detection with Adaptive Data Augmentation and Adversarial Training
RWNE: A Scalable Random-Walk based Network Embedding Framework with Personalized Higher-order Proximity Preserved
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning
Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference
Monitoring Teams of AI Agents
New Inference Rules for Max-SAT
Planning for Hybrid Systems via Satisfiability Modulo Theories
IDL-Expressions: A Formalism for Representing and Parsing Finite Languages in Natural Language Processing
Proof Theory and Decision Procedures for Deontic STIT Logics
Asymptotics of K-Fold Cross Validation
Get out of the BAG! Silos in AI Ethics Education: Unsupervised Topic Modeling Analysis of Global AI Curricula
Blind Spot Detection for Safe Sim-to-Real Transfer
Learning to Order BDD Variables in Verification
Grounding the Lexical Semantics of Verbs in Visual Perception using Force Dynamics and Event Logic
Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects
The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models
Improved Heterogeneous Distance Functions
Narrative Planning: Balancing Plot and Character
Learning in Real-Time Search: A Unifying Framework
Trends in Integration of Vision and Language Research: A Survey of Tasks, Datasets, and Methods
Fair Division of Indivisible Goods for a Class of Concave Valuations
Drake: An Efficient Executive for Temporal Plans with Choice
Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem
AI Governance in the GCC States: A Comparative Analysis of National AI Strategies
Domain Adaptation for Statistical Classifiers
Large-Scale Optimization for Evaluation Functions with Minimax Search
Optimal and Approximate Q-value Functions for Decentralized POMDPs
Multi-Agent Path Finding: A New Boolean Encoding
Prioritised Planning: Completeness, Optimality, and Complexity
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
Computing Hierarchical Finite State Controllers With Classical Planning
Expected 1.x Makespan-Optimal Multi-Agent Path Finding on Grid Graphs in Low Polynomial Time
Asymmetric Distributed Constraint Optimization Problems
On Similarities between Inference in Game Theory and Machine Learning
The Ceteris Paribus Structure of Logics of Game Forms
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
Learning and Reasoning with Action-Related Places for Robust Mobile Manipulation
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference
Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality
Predicting Twitter User Demographics using Distant Supervision from Website Traffic Data
Robust Local Search for Solving RCPSP/max with Durational Uncertainty
On the Use of Automatically Acquired Examples for All-Nouns Word Sense Disambiguation
CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization
Introduction to the Special Track on Artificial Intelligence and COVID-19
The PETLON Algorithm to Plan Efficiently for Task-Level-Optimal Navigation
An Expressive Language and Efficient Execution System for Software Agents
General Policies, Subgoal Structure, and Planning Width
An approximative inference method for solving ∃∀SO satisfiability problems
Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem
CoLLIE: Continual Learning of Language Grounding from Language-Image Embeddings
Two-phase Multi-document Event Summarization on Core Event Graphs
Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs
P-SyncBB: A Privacy Preserving Branch and Bound DCOP Algorithm
Ontology Reasoning with Deep Neural Networks
Multilingual Part-of-Speech Tagging: Two Unsupervised Approaches
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
A Model-Theoretic View on Qualitative Constraint Reasoning
Doubly Robust Crowdsourcing
Generating Models of a Matched Formula With a Polynomial Delay
Acquiring Word-Meaning Mappings for Natural Language Interfaces
Distributed Evaluation of Nonmonotonic Multi-context Systems