yusuke1997/dblp-id-title huggingface dataset:
Effectiveness of Automatic Translations for Cross-Lingual Ontology Mapping
A Sufficient Statistic for Influence in Structured Multiagent Environments
Proofs and Certificates for Max-SAT
CluMo: Cluster-based Modality Fusion Prompt for Continual Learning in Visual Question Answering
Reasoning about Action: An Argumentation - Theoretic Approach
A Complexity-Theoretic Analysis of Majority Illusion in Social Networks
Distributional Correspondence Indexing for Cross-Lingual and Cross-Domain Sentiment Classification
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning
Integrating Rules and Dictionaries from Shallow-Transfer Machine Translation into Phrase-Based Statistical Machine Translation
Transition-Based Neural Word Segmentation Using Word-Level Features
The Case for Durative Actions: A Commentary on PDDL2.1
Properties of Switch-List Representations of Boolean Functions
Temporal Planning using Subgoal Partitioning and Resolution in SGPlan
Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling
Generating Extractive Summaries of Scientific Paradigms
On CNF Conversion for SAT and SMT Enumeration
AAN+: Generalized Average Attention Network for Accelerating Neural Transformer
Exploiting Subgraph Structure in Multi-Robot Path Planning
Epistemic Argumentation Framework: Theory and Computation
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection
A Uniform Framework for Concept Definitions in Description Logics
On the Evolvability of Monotone Conjunctions with an Evolutionary Mutation Mechanism
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics
Acceptable Planning: Influencing Individual Behavior to Reduce Transportation Energy Expenditure of a City
The TOAD System for Totally Ordered HTN Planning
Deep Reinforcement Learning: A State-of-the-Art Walkthrough
Complexity of Judgment Aggregation
Graph Collaborative Filtering Model Combining Time Factor and Attention Mechanism
DSTL: Solution to Limitation of Small Corpus in Speech Emotion Recognition
A Feature Subset Selection Algorithm Automatic Recommendation Method
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
Query-time Entity Resolution
Maximisation of Admissible Multi-Objective Heuristics
Towards a Robust Persistence Diagram via Data-dependent Kernel
A New Technique for Combining Multiple Classifiers using The Dempster-Shafer Theory of Evidence
Graphmax for Text Generation
Actively Estimating Crowd Annotation Consensus
Effectiveness of Tree-based Ensembles for Anomaly Discovery: Insights, Batch and Streaming Active Learning
A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs
The Generalized A* Architecture
Point-Based Value Iteration for Finite-Horizon POMDPs
Improving Label Error Detection and Elimination with Uncertainty Quantification
MCTS-Minimax Hybrids with State Evaluations
EpidemiOptim: A Toolbox for the Optimization of Control Policies in Epidemiological Models
Combinatorial Multi-armed Bandits for Real-Time Strategy Games
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity
Iterative Train Scheduling under Disruption with Maximum Satisfiability
Optimizing Dialogue Management with Reinforcement Learning: Experiments with the NJFun System
Resolving Over-Constrained Temporal Problems with Uncertainty through Conflict-Directed Relaxation
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases
Representative Committees of Peers
On the Evaluation of (Meta-)solver Approaches
Planning with Critical Section Macros: Theory and Practice
Applying GSAT to Non-Clausal Formulas (Research Note)
The Human in Interactive Machine Learning: Analysis and Perspectives for Ambient Intelligence
AIS-BN: An Adaptive Importance Sampling Algorithm for Evidential Reasoning in Large Bayesian Networks
Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks
AI for All: Identifying AI incidents Related to Diversity and Inclusion
Safe Exploration of State and Action Spaces in Reinforcement Learning
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
Metric-Distortion Bounds under Limited Information
Policy Recognition in the Abstract Hidden Markov Model
Predicting Strategic Behavior from Free Text
Grounding Language for Transfer in Deep Reinforcement Learning
Zone pAth Construction (ZAC) based Approaches for Effective Real-Time Ridesharing
Efficient and Fair Healthcare Rationing
Intelligence in Strategic Games
Visualisation and 'Diagnostic Classifiers' Reveal How Recurrent and Recursive Neural Networks Process Hierarchical Structure
Mechanisms for Automated Negotiation in State Oriented Domains
On Graphical Modeling of Preference and Importance
USN: A Robust Imitation Learning Method against Diverse Action Noise
A Map of Diverse Synthetic Stable Matching Instances
A Survey on Understanding and Representing Privacy Requirements in the Internet-of-Things
Iterative Local Voting for Collective Decision-making in Continuous Spaces
Reasoning with PCP-Nets
Variational Cumulant Expansions for Intractable Distributions
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
Decision-Theoretic Foundations for Causal Reasoning
Topic-Based Dissimilarity and Sensitivity Models for Translation Rule Selection
Grounding FO and FO(ID) with Bounds
Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
Finding Approximate POMDP solutions Through Belief Compression
Induction and Exploitation of Subgoal Automata for Reinforcement Learning
Towards an Ontology-Driven Approach to Document Bias
Combining Lexical and Syntactic Features for Detecting Content-Dense Texts in News
Interactive Cost Configuration Over Decision Diagrams
Unifying System Health Management and Automated Decision Making
Text Relatedness Based on a Word Thesaurus
Efficient Mechanism Design for Online Scheduling
On the Consistency between Belief Revision and Belief Update
Exploring the Tradeoff Between System Profit and Income Equality Among Ride-hailing Drivers
On the Semantics and Complexity of Probabilistic Logic Programs
Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency
Cloning in Elections: Finding the Possible Winners
sEMG-Based Upper Limb Movement Classifier: Current Scenario and Upcoming Challenges
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+
A Survey of Computational Treatments of Biomolecules by Robotics-Inspired Methods Modeling Equilibrium Structure and Dynamic
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation
M-DPOP: Faithful Distributed Implementation of Efficient Social Choice Problems
Adapting Behavior via Intrinsic Reward: A Survey and Empirical Study
Cycles and Intractability in a Large Class of Aggregation Rules
Searching for the M Best Solutions in Graphical Models
Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs
A Principled Distributional Approach to Trajectory Similarity Measurement and its Application to Anomaly Detection
Modeling and Planning with Macro-Actions in Decentralized POMDPs
Agentic Large Language Models, a Survey
Scheduling Bipartite Tournaments to Minimize Total Travel Distance
Reviewing Autoencoders for Missing Data Imputation: Technical Trends, Applications and Outcomes
Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery
Reasoning over Streams of Events with Delayed Effects
Complexity Results and Approximation Strategies for MAP Explanations
Vision-Based Road Detection in Automotive Systems: A Real-Time Expectation-Driven Approach
Principles for Assumptions Generation in Enthymeme-Based Dialogue
C-Face: Using Compare Face on Face Hallucination for Low-Resolution Face Recognition
Clustering what Matters: Optimal Approximation for Clustering with Outliers
Ordered Landmarks in Planning
Interactive Execution Monitoring of Agent Teams
Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model
Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation
Software Agents: Completing Patterns and Constructing User Interfaces
Evaluating Strategic Structures in Multi-Agent Inverse Reinforcement Learning
The Sixth Answer Set Programming Competition
On Planning while Learning
Heuristic Search When Time Matters
VHPOP: Versatile Heuristic Partial Order Planner
Text-Based Twitter User Geolocation Prediction
A Procedural Characterization of Solution Concepts in Games
Reasoning with Very Expressive Fuzzy Description Logics
Flaw Selection Strategies For Partial-Order Planning
Constraint-based Diversification of JOP Gadgets
Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones
Policy-based Primal-Dual Methods for Concave CMDP with Variance Reduction
Strategic Abstention based on Preference Extensions: Positive Results and Computer-Generated Impossibilities
Fairness in Forecasting of Observations of Linear Dynamical Systems
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
A Novel SAT-Based Approach to Model Based Diagnosis
Multilingual Machine Translation: Deep Analysis of Language-Specific Encoder-Decoders
Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots
Robust Average-Reward Reinforcement Learning
Convergence of Iterative Scoring Rules
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function
Properties and Applications of Programs with Monotone and Convex Constraints
Hybrid-order Network Consensus for Distributed Multi-agent Systems
Deterministic Oversubscription Planning as Heuristic Search: Abstractions and Reformulations
Where Are the Hard Manipulation Problems?
Analysis of Watson's Strategies for Playing Jeopardy!
Non-Deterministic Policies in Markovian Decision Processes
The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
FlexiBO: A Decoupled Cost-Aware Multi-Objective Optimization Approach for Deep Neural Networks
Sliding-Window Thompson Sampling for Non-Stationary Settings
Learning How to Vote with Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks
Using Collective Behavior of Coupled Oscillators for Solving DCOP
Viewpoint: A Critical View on Smart Cities and AI
Optimizing SPARQL Query Answering over OWL Ontologies
Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML
Learning First-Order Definitions of Functions
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Multi-Issue Negotiation with Deadlines
Forgetting in Abstract Argumentation: Limits and Possibilities
Determining Possible and Necessary Winners Given Partial Orders
Satisfiability Modulo User Propagators
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
Analogical Dissimilarity: Definition, Algorithms and Two Experiments in Machine Learning
sunny-as2: Enhancing SUNNY for Algorithm Selection
Connectionist Theory Refinement: Genetically Searching the Space of Network Topologies
Axiomatising Incomplete Preferences through Sets of Desirable Gambles
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence
A COP Model For Graph-Constrained Coalition Formation
Confronting Abusive Language Online: A Survey from the Ethical and Human Rights Perspective
Labeled Bipolar Argumentation Frameworks
Viewpoint: Artificial Intelligence Government (Gov. 3.0): The UAE Leading Model
On the Expressiveness of Levesque's Normal Form
Exploring the Decision Forest: An Empirical Investigation of Occam's Razor in Decision Tree Induction
Semantic Similarity Measures Applied to an Ontology for Human-Like Interaction
Belief Tracking for Planning with Sensing: Width, Complexity and Approximations
Better Decision Heuristics in CDCL through Local Search and Target Phases
Safe Multi-Agent Pathfinding with Time Uncertainty
Scrubbing During Learning In Real-time Heuristic Search
Exact Query Reformulation over Databases with First-order and Description Logics Ontologies
From Support Propagation to Belief Propagation in Constraint Programming
Learning to Coordinate Efficiently: A Model-based Approach
Practical Methods for Proving Termination of General Logic Programs
Best-First Heuristic Search for Multicore Machines
QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer
Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective
Learning Concept Graphs from Online Educational Data
Selfishly Prepaying in Financial Credit Networks
Asynchronous Partial Overlay: A New Algorithm for Solving Distributed Constraint Satisfaction Problems
Nash Stable Outcomes in Fractional Hedonic Games: Existence, Efficiency and Computation
Robust Agent Teams via Socially-Attentive Monitoring
Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition
Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis
From Knowledge to Action: Logics of Permitted and Obligatory Announcements
Efficient Markov Network Structure Discovery Using Independence Tests
Algorithms for Argumentation Semantics: Labeling Attacks as a Generalization of Labeling Arguments
Learning Geometrically-Constrained Hidden Markov Models for Robot Navigation: Bridging the Topological-Geometrical Gap
From Feature To Paradigm: Deep Learning In Machine Translation
Digraph k-Coloring Games: New Algorithms and Experiments
AntNet: Distributed Stigmergetic Control for Communications Networks
A Survey on the Explainability of Supervised Machine Learning
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms
Online Speedup Learning for Optimal Planning
Comparative Evaluation of Link-Based Approaches for Candidate Ranking in Link-to-Wikipedia Systems
SHOP2: An HTN Planning System
CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements
Chance-constrained Static Schedules for Temporally Probabilistic Plans
From Expert Systems to Generative Artificial Experts: A New Concept for Human-AI Collaboration in Knowledge Work
Competitive Coevolution through Evolutionary Complexification
Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer
How Translation Alters Sentiment
Global Continuous Optimization with Error Bound and Fast Convergence
Introduction to the Special Issue on Cross-Language Algorithms and Applications
A Comprehensive Trainable Error Model for Sung Music Queries
Improving Statistical Machine Translation for a Resource-Poor Language Using Related Resource-Rich Languages
Negotiable Votes
Flexibly Instructable Agents
Semantic Visualization with Neighborhood Graph Regularization
Value-Function Approximations for Partially Observable Markov Decision Processes
Quantum Computing and Phase Transitions in Combinatorial Search
Towards Understanding and Harnessing the Potential of Clause Learning
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems
FLECS: Planning with a Flexible Commitment Strategy
Probabilistic Reasoning with Abstract Argumentation Frameworks
What is this Article about? Extreme Summarization with Topic-aware Convolutional Neural Networks
A Neural Probabilistic Structured-Prediction Method for Transition-Based Natural Language Processing
Learning Explanatory Rules from Noisy Data
An Improved Search Algorithm for Optimal Multiple-Sequence Alignment
Promoting the Responsible Development of Speech Datasets for Mental Health and Neurological Disorders Research
Confidence Decision Trees via Online and Active Learning for Streaming Data
Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR
TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
Variational Bayes In Private Settings (VIPS)
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms
IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree
Policy Iteration for Decentralized Control of Markov Decision Processes
Optimality Guarantees for Particle Belief Approximation of POMDPs
Modular Reuse of Ontologies: Theory and Practice
Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings
Optimal Decision Trees for Interpretable and Constrained Clustering
The 3rd International Planning Competition: Results and Analysis
Negative Human Rights as a Basis for Long-term AI Safety and Regulation
Efficiently Adapt to New Dynamic via Meta-Model
The Gn, m Phase Transition is Not Hard for the Hamiltonian Cycle Problem
Exploiting Single-Cycle Symmetries in Continuous Constraint Problems
False-Name Manipulations in Weighted Voting Games
Query-driven Qualitative Constraint Acquisition
An Online Mechanism for Multi-Unit Demand and its Application to Plug-in Hybrid Electric Vehicle Charging
Plan-based Policies for Efficient Multiple Battery Load Management
Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks
Optimal Value of Information in Graphical Models
A Rigorously Bayesian Beam Model and an Adaptive Full Scan Model for Range Finders in Dynamic Environments
Efficiency and Envy-freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity
From Frequency to Meaning: Vector Space Models of Semantics
Complexity of n-Queens Completion
Learning Symbolic Models of Stochastic Domains
Grounded Semantic Composition for Visual Scenes
Inferring Team Task Plans from Human Meetings: A Generative Modeling Approach with Logic-Based Prior
Your Prompt is My Command: On Assessing the Human-Centred Generality of Multimodal Models
An External Knowledge Enhanced Graph-based Neural Network for Sentence Ordering
ParamILS: An Automatic Algorithm Configuration Framework
Fine-grained Prediction of Political Leaning on Social Media with Unsupervised Deep Learning
An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information
Belief Change with Uncertain Action Histories
A Sampling Approach for Proactive Project Scheduling under Generalized Time-dependent Workability Uncertainty
Maximal Combinations of Fairness Definitions
Efficient Multi-Start Strategies for Local Search Algorithms
Some Inapproximability Results of MAP Inference and Exponentiated Determinantal Point Processes
A Knowledge Compilation Map
Finding Strategyproof Social Choice Functions via SAT Solving
Decision-Theoretic Planning Under Anonymity in Agent Populations
Qualitative Numeric Planning: Reductions and Complexity
Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases
A Case-Based Reasoning Framework to Choose Trust Models for Different E-Marketplace Environments
The Complexity of Reasoning about Spatial Congruence
Using Linguistic Cues for the Automatic Recognition of Personality in Conversation and Text
Deep Dialog Act Recognition using Multiple Token, Segment, and Context Information Representations
Understanding What Affects the Generalization Gap in Visual Reinforcement Learning: Theory and Empirical Evidence
Knowledge Representation in Probabilistic Spatio-Temporal Knowledge Bases
The Design and Experimental Analysis of Algorithms for Temporal Reasoning
Cooperative Monitoring to Diagnose Multiagent Plans
On Prediction Using Variable Order Markov Models
ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization
Finding a Path is Harder than Finding a Tree
A Case of Pathology in Multiobjective Heuristic Search
Impact of Imputation Strategies on Fairness in Machine Learning
A Theoretical Perspective on Hyperdimensional Computing
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board
Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators
Quadratization and Roof Duality of Markov Logic Networks
Low-Rank Representation of Reinforcement Learning Policies
On the Computational Complexity of Non-Dictatorial Aggregation
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition
Using Qualitative Hypotheses to Identify Inaccurate Data
Inferring Strategies for Sentence Ordering in Multidocument News Summarization
Adaptive Few-Shot Class-Incremental Learning via Latent Variable Models
Multi-Robot Adversarial Patrolling: Facing a Full-Knowledge Opponent
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
A Market-Inspired Approach for Intersection Management in Urban Road Traffic Networks
The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables
Complex Question Answering: Unsupervised Learning Approaches and Experiments
On Hash-Based Work Distribution Methods for Parallel Best-First Search
Cox's Theorem Revisited (technical addendum)
Cost-Sensitive Classification: Empirical Evaluation of a Hybrid Genetic Decision Tree Induction Algorithm
A Unified Linear Speedup Analysis of Federated Averaging and Nesterov FedAvg
Inferring Shallow-Transfer Machine Translation Rules from Small Parallel Corpora
Learning to Make Predictions In Partially Observable Environments Without a Generative Model
The Complexity Landscape of Outcome Determination in Judgment Aggregation
Datalog+- Ontology Consolidation
Learning Membership Functions in a Function-Based Object Recognition System
Cross-Lingual Bridges with Models of Lexical Borrowing
Markov Localization for Mobile Robots in Dynamic Environments
CTL Model Update for System Modifications
Exploiting Contextual Independence In Probabilistic Inference
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
Empirical Game Theoretic Analysis: A Survey
Solving Large Problems with Heuristic Search: General-Purpose Parallel External-Memory Search
Riffled Independence for Efficient Inference with Partial Rankings
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
Combining Knowledge- and Corpus-based Word-Sense-Disambiguation Methods
Anytime Heuristic Search
The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models
Solving Factored MDPs with Hybrid State and Action Variables
Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis
PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
Communication-Aware Local Search for Distributed Constraint Optimization
Unifying Class-Based Representation Formalisms
Total-Order and Partial-Order Planning: A Comparative Analysis
The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks
Modeling the Lifespan of Discourse Entities with Application to Coreference Resolution
Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability
On the Cluster Admission Problem for Cloud Computing
Ignorability in Statistical and Probabilistic Inference
Semi-supervised Learning with Induced Word Senses for State of the Art Word Sense Disambiguation
Learning by Observation of Agent Software Images
Compressed Pattern Databases