yusuke1997/dblp-id-title huggingface dataset:
Formulation and application of certain primal and mixed finite element models of finite deformations of elastic bodies
Mosaic C: An Experimental Fine-Grain Multicomputer
Finite elements method in aerospace engineering problems
Quelques méthodes d'éléments finis pour le problème d'une plaque encastrée
Application de la méthode des éléments finis à la résolution d'un problème de domaine optimal
Conception, simulation, opimisation d'un filtre à l'aide d'un ordinateur
Adaption de la méthode du gradient à un problème d'identification de domaine
Some contributions to non-linear solid mechanics
Gestion optimale des réservoirs d'une vallée hydraulique
One-sided approximation and plate bending
Etude numérique du champ magnétique dans un alternateur tétrapolaire par la méthode des éléments finis
Time for Concurrency
Une nouvelle méthode d'analyse numérique des problèriaux de filtration dans les matériaux poreux
An Efficient Implementation of the Spectral Partitioning Algorithm on Connection Machine Systems
Numerical methods for stiff systems of differential equations related with transistors, tunnel diodes, etc.
Algtorithmes de calcul de modèles Markoviens pour fonctions aléatoires
Control Software for Virtual-Circuit Switches: Call Processing
Neural Computing and Stochastic Optimization
Horizons of Parallel Computation
Time-optimal Control Synthesis for Non-Linear Systems. A Flight Dynamic Example
Simulation numérique de la fabrication et du comportement des dispositifs semiconducteurs
System Dependability
Some superconvergence results for an H 1 - Galerkin procedure for the heat equation
What is Knowledge Representation, and Where is it Going?
Analog and Digital Computing
Digital HDTV: A Technical Challenge
Differential-Geometric Methods: A Powerful Set of New Tools for Optimal Control
Factors Influencing the Perceived Meaningfulness of System Responses in Conversational Recommendation
Leveraging Large Language Models for Recommendation and Explanation
Proceedings of the 11th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems co-located with 18th ACM Conference on Recommender Systems (RecSys 2024), Hybrid Event, Bari, Italy, October 18, 2024
Designing and Personalising Hybrid Multi-Modal Health Explanations for Lay Users
Proceedings of the 10th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2023) co-located with 17th ACM Conference on Recommender Systems (RecSys 2023), Hybrid Event, Singapore, September 18, 2023
Bridging the Transparency Gap: Exploring Multi-Stakeholder Preferences for Targeted Advertisement Explanations
Social Circle-Enhanced Fashion Recommendations System
What Are We Optimizing For? A Human-centric Evaluation of Deep Learning-based Movie Recommenders
The Importance of Cognitive Biases in the Recommendation Ecosystem: Evidence of Feature-Positive Effect, Ikea Effect, and Cultural Homophily
Intended Movie Experience: Linking Elicited Emotions to Eudaimonic and Hedonic Characteristics
Designing and Evaluating an Educational Recommender System with Different Levels of User Control
Designing an Interpretable Interface for Contextual Bandits
Comparative Explanations for Recommendation: Research Directions
The Effect of Relational versus Anecdotal Explanations in Movie Domain Recommendations
Integrating the Mechanisms of Critiquing-based Recommendation into Constraint Solving
The Interplay between Food Knowledge, Nudges, and Preference Elicitation Methods Determines the Evaluation of a Recipe Recommender System
Using Visual and Linguistic Framing to Support Sustainable Decisions in an Online Store
Concentrating on the Impact: Consequence-based Explanations in Recommender Systems
Comparing User Interfaces for Customizing Multi-Objective Recommender Systems
Uncertainty Quantification and Calibration of Imitation Learning Policy in Autonomous Driving
Modelling Agent Policies with Interpretable Imitation Learning
Consensus for Collaborative Creation of Risk Maps for COVID-19
Two to Trust: AutoML for Safe Modelling and Interpretable Deep Learning for Robustness
Transparent Adaptation in Deep Medical Image Diagnosis
Underestimation Bias and Underfitting in Machine Learning
Hybrid AI: The Way Forward in AI by Developing Four Dimensions
A Causal Framework for Understanding Optimisation Algorithms
Towards Utilitarian Combinatorial Assignment with Deep Neural Networks and Heuristic Algorithms
Value-Alignment Equilibrium in Multiagent Systems
Trustworthy AI - Integrating Learning, Optimization and Reasoning - First International Workshop, TAILOR 2020, Virtual Event, September 4-5, 2020, Revised Selected Papers
Towards Certifying Trustworthy Machine Learning Systems
Interactive Natural Language Technology for Explainable Artificial Intelligence
Safe Learning and Optimization Techniques: Towards a Survey of the State of the Art
Semi-supervised Co-ensembling for AutoML
Lab Conditions for Research on Explainable Automated Decisions
Synthesising Reinforcement Learning Policies Through Set-Valued Inductive Rule Learning
Assessment of Manifold Unfolding in Trained Deep Neural Network Classifiers
AI-Supported Innovation Monitoring
Process-To-Text: A Framework for the Quantitative Description of Processes in Natural Language
An Analysis of Regularized Approaches for Constrained Machine Learning
Guided-LORE: Improving LORE with a Focused Search of Neighbours
Election Manipulation on Social Networks with Messages on Multiple Candidates Extended Abstract
Towards Automated GDPR Compliance Checking
Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information
Composite Temporal Events in Active Databases: A Formal Semantics
Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987
Using Temporal Constructs in Temporal Databases
Evaluating the Completeness of TSQL2
Planning in Time
Temporal Connectives versus Explicit Timestamps in Temporal Query Languages
TSQL: A Language Interface for History Databases
Managing Time in GIS: An Event-Oriented Approach
"Temporal" Integrity Constraints in Temporal Databases
Modeling Temporal Semantics
On the Representation of Temporal Knowledge in Office Systems
A Framework for the Conceptual Modeling of Discrete Dynamic Systems
Foundations of Temporal Integrity Monitoring
Databases and Temporal Constraints: Semantics and Complexity
Access Methods for Bi-Temporal Databases
Design of Temporal Relational Databases Based on Dynamic and Temporal Functional Dependencies
Temporal Databases and Natural Language
Time is Just Another Attribute - Or At Least, Just Another Dimension
TRA: A Model for a Temporal Relational Algebra
Design Requirements for Temporally Oriented Information Systems
Dynamic Database Snapshots, Albums and Movies
A Simple, General Structure for Temporal Domains
Querying Historical Data in IBM DB2 C/S DBMS Using Recursive SQL
Behavioural Aspects of Intelligent Knowledge-Based Information Systems
On Temporal Grouping
A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification
A Temporal Foundation of Video Databases
Transaction Support in a Temporal DBMS
Recent Advances in Temporal Databases, Proceedings of the International Workshop on Temporal Databases, Zürich, Switzerland, 17-18 September 1995
Panel: The State-of-the-Art in Temporal Data Management: Perspectives from the Research and Financial Applications Communities
Timestamping in Virtual Time Systems
On Schema Versioning in Temporal Databases
Experience Using TSQL2 in a Natural Language Interface
Language Concepts for Versioned Hierarchical Objects
Management of Temporal Constraints for Factory Scheduling
Panel: Whither TSQL3?
Time Series, A Neglected Issue in Temporal Database Research?
Multi-Objective Optimization in a Job Shop with Energy Costs through Hybrid Evolutionary Techniques
Blind Decision Making: Reinforcement Learning with Delayed Observations
Testing Incremental Adaptation
Flow-Based Heuristics for Optimal Planning: Landmarks and Merges
Online Planning for a Material Control System for Liquid Crystal Display Manufacturing
UPMurphi: A Tool for Universal Planning on PDDL+ Problems
Computing Robust Plans in Continuous Domains
Learning Macro-Actions for Arbitrary Planners and Domains
A Mixed-initiative Framework for Robust Plan Sketching
Multi-Goal Planning for an Autonomous Blasthole Drill
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework
Solving Stochastic Planning Problems with Large State and Action Spaces
Optimal Search with Inadmissible Heuristics
Discovery of Optimal Solution Horizons in Non-Stationary Markov Decision Processes with Unbounded Rewards
Planning Curtailment of Renewable Generation in Power Grids
Design Tradeoffs in Partial Order (Plan space) Planning
Approximate Planning (Extended Abstract)
Don't Split, Try To Work It Out: Bypassing Conflicts in Multi-Agent Pathfinding
Distance-Based Goal-Ordering Heuristics for Graphplan
Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010
State-Regularized Policy Search for Linearized Dynamical Systems
Quality and Utility - Towards a Generalization of Deadline and Anytime Scheduling
A Hybrid Relaxed Planning Graph'LP Heuristic for Numeric Planning Domains
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches
On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach
Learning Actions Models from Plan Examples with Incomplete Knowledge
Integrating Knowledge Compilation with Reinforcement Learning for Routes
New Results about LCGP, a Least Committed GraphPlan
Representation and Control in IxTeT, a Temporal Planner
The Provable Virtue of Laziness in Motion Planning
Acquisition of Object-Centred Domain Models from Planning Examples
Solving Scheduling Problems with Setup Times and Alternative Resources
Strategic Planning for Setting Up Base Stations in Emergency Medical Systems
A New Approach to Temporal Planning with Rich Metric Temporal Properties
Delaying Variable Binding Commitments in Planning
Using Hierarchical Constraints to Avoid Conflicts in Multi-Agent Pathfinding
Planning and Control of Marine Floats in the Presence of Dynamic, Uncertain Currents
Online Saturated Cost Partitioning for Classical Planning
Planning for Partial Observability by SAT and Graph Constraints
OMCoRP: An Online Mechanism for Competitive Robot Prioritization
Learning User Plan Preferences Obfuscated by Feasibility Constraints
Comparing Heuristic, Evolutionary and Local Search Approaches to Scheduling
On Using Action Inheritance and Modularity in PDDL Domain Modelling
Genetic Planning Using Variable Length Chromosomes
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), June 3-7 2004, Whistler, British Columbia, Canada
Optimal STRIPS Planning by Maximum Satisfiability and Accumulative Learning
Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings
Abstractions for Planning with State-Dependent Action Costs
Flexible Execution of Plans with Choice
Plan Representation for Robotic Agents
Robust Metric Hybrid Planning in Stochastic Nonlinear Domains Using Mathematical Optimization
Scheduling Meetings at Trade Events with Complex Preferences
Incremental Lower Bounds for Additive Cost Planning Problems
The Complexity of Partial-Order Plan Viability Problems
Using Simple Incentives to Improve Two-Sided Fairness in Ridesharing Systems
Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach
Understanding Natural Language in Context
Anytime Dynamic A*: An Anytime, Replanning Algorithm
Adapting Novelty to Classical Planning as Heuristic Search
Unifying the Causal Graph and Additive Heuristics
On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption between Manufacturing Operations
Observation Decoding with Sensor Models: Recognition Tasks via Classical Planning
Mars On-Site Shared Analytics Information and Computing
A Multi-Heuristic GA for Schedule Repair in Precast Plant Production
OBDD-Based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains
Distributed Fair Scheduling for Information Exchange in Multi-Agent Systems
Resolving Uncontrollable Conditional Temporal Problems Using Continuous Relaxations
Ensemble Monte-Carlo Planning: An Empirical Study
Analyzing the Efficacy of Flexible Execution, Replanning, and Plan Optimization for a Planetary Lander
Breadth-First Heuristic Search
Using Alternative Suboptimality Bounds in Heuristic Search
Approximately-Optimal Queries for Planning in Reward-Uncertain Markov Decision Processes
A General Approach for Configuring PDDL Problem Models
On the Pathological Search Behavior of Distributed Greedy Best-First Search
A Novel Lookahead Strategy for Delete Relaxation Heuristics in Greedy Best-First Search
Path-Adaptive A* for Incremental Heuristic Search in Unknown Terrain
Online Repositioning in Bike Sharing Systems
Monte-Carlo Planning for Agile Legged Locomotion
Resolving Misconceptions about the Plans of Agents via Theory of Mind
Plan Generation for GUI Testing
PROST: Probabilistic Planning Based on UCT
The Joy of Forgetting: Faster Anytime Search via Restarting
A Best-First Search Algorithm for FOND Planning and Heuristic Functions to Optimize Decompressed Solution Size
Structuring techniques for knowledge-based planning systems in environmental impact assessment
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains
Model-Based Autonomous Systems in the New Millenium
Limits for Compact Representation of Plans
Optimizing Plans through Analysis of Action Dependencies and Independencies
Decentralized Multi-Robot Cooperation with Auctioned POMDPs
Plan Repair for Resource Constrained Tasks via Numeric Macro Actions
Robust and Adaptive Planning under Model Uncertainty
Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty
A Generic Method to Guide HTN Progression Search with Classical Heuristics
Complete, consistent goal sets: Controlling the research within non-linear plan generation
PSIPLAN: Open World Planning with y-Forms
Explanation-Based Acquisition of Planning Operators
ZAC: A Zone Path Construction Approach for Effective Real-Time Ridesharing
Cell Design and Routing of Jobs in a Multisite Make-to-Order Enterprise
Using Loops in Decision-Theoretic Refinement Planners
Discovering Planning Invariants as Anomalies in State Descriptions
Multi-Agent Online Planning with Communication
Elevator Control as a Planning Problem
Reactive and Automatic Behavior in Plan Execution
RADAR-X: An Interactive Mixed Initiative Planning Interface Pairing Contrastive Explanations and Revised Plan Suggestions
POMDP + Information-Decay: Incorporating Defender's Behaviour in Autonomous Penetration Testing
Plan-Time Multi-Model Switching for Motion Planning
PARIS: A Polynomial-Time, Risk-Sensitive Scheduling Algorithm for Probabilistic Simple Temporal Networks with Uncertainty
Planning with Incomplete Information as Heuristic Search in Belief Space
Performance Modelling of Planners from Homogeneous Problem Sets
What Can I Not Do? Towards an Architecture for Reasoning about and Learning Affordances
Modeling Probabilistic Actions for Practical Decision-Theoretic Planning
Execution Monitoring with Quantitative Temporal Dynamic Bayesian Networks
Scalable, Parallel Best-First Search for Optimal Sequential Planning
Exploiting N-Gram Analysis to Predict Operator Sequences
The Complexity of Optimal Monotonic Planning: The Bad, The Good, and The Causal Graph
Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions
Planning in Interplanetary Space: Theory and Practice
Fast Distributed Multi-agent Plan Execution with Dynamic Task Assignment and Scheduling
Special Track on Continuous Planning
Algorithms and Conditional Lower Bounds for Planning Problems
Task-Aware Waypoint Sampling for Robotic Planning
Thinking Ahead in Real-Time Search
Sensor Synthesis for POMDPs with Reachability Objectives
Beyond Pairwise Reasoning in Multi-Agent Path Finding
New Perspectives on Flexibility in Simple Temporal Planning
Friends or Foes? An AI Planning Perspective on Abstraction and Search
Timed Partial Order Inference Algorithm
An Evolutionary Metaheuristic Based on State Decomposition for Domain-Independent Satisficing Planning
Unsupervised Grounding of Plannable First-Order Logic Representation from Images
Embedding Automated Planning within Urban Traffic Management Operations
An Empirical Study of Perfect Potential Heuristics
Compact Policies for Fully Observable Non-Deterministic Planning as SAT
Temporal Planning with Preferences and Time-Dependent Continuous Costs
A Unified Dynamic Approach for Dealing with Temporal Uncertainty and Conditional Planning
On Adversarial Policy Switching with Experiments in Real-Time Strategy Games
A Conditional Scheduling Approach to Designing Real-Time Systems
Metatheoretic Plan Summarization and Comparison
Exploring Context-Free Languages via Planning: The Case for Automating Machine Learning
The Logic of Reachability
Suboptimal and Anytime Heuristic Search on Multi-Core Machines
Optimally Scheduling Small Numbers of Identical Parallel Machines
Linear Relaxation Techniques for Task Management in Uncertain Settings
Moving Trains like Pebbles: A Feasibility Study on Tree Yards
Angelic Hierarchical Planning: Optimal and Online Algorithms
Solving Large-Scale Planning Problems by Decomposition and Macro Generation
Translations from Discretised PDDL+ to Numeric Planning
Coping with Large Traffic Volumes in Schedule-Driven Traffic Signal Control
Resource Contention Metrics for Oversubscribed Scheduling Problems
Knowledge based strategic planning system
Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs
Cross-Domain Action-Model Acquisition for Planning via Web Search
Hierarchical Linearly-Solvable Markov Decision Problems
Anticipatory On-Line Planning
New Optimization Functions for Potential Heuristics
Solving the Test Laboratory Scheduling Problem with Variable Task Grouping
Multiagent Online Planning with Nested Beliefs and Dialogue
Robotic Agents for Disaster Response Robotics
Relaxation Heuristics for Multiagent Planning
Guiding Planner Backjumping Using Verifier Traces
Using FastMap to Solve Graph Problems in a Euclidean Space
Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs
Beam Search: Faster and Monotonic
Explicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior
Approximate Solutions to Factored Markov Decision Processes via Greedy Search in the Space of Finite State Controllers
Incremental Search Algorithms for Real-time Decision Making
Path Planning for Multiple Agents under Uncertainty
External Memory Value Iteration
LP-Based Heuristics for Cost-Optimal Planning
A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds
The Influence of k- Dependence on the Complexity of Planning
Temporal Brittleness Analysis of Task Networks for Planetary Rovers
Knowledge-based planning systems: An engineering perspective
Multi-Agent Sensor Data Collection with Attrition Risk
The Manpower Allocation Problem with Time Windows and Job-Teaming Constraints
Partially Grounded Planning as Quantified Boolean Formula
Automatic Synthesis and Use of Generic Types in Planning
Planning and reasoning with processes
MS-Lite: A Lightweight, Complementary Merge-and-Shrink Method
A Constraint Satisfaction Approach to Makespan Scheduling
A Min-Flow Algorithm for Minimal Critical Set Detection in Resource Constrained Project Scheduling
An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming
TempAMLSI: Temporal Action Model Learning Based on STRIPS Translation
Optimal Mixed Strategies for Cost-Adversarial Planning Games
Rationale-Based Monitoring for Planning in Dynamic Environments
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022
Linear Fitted-Q Iteration with Multiple Reward Functions
The Mathematics of Dispatchability Revisited
Symbolic Plans as High-Level Instructions for Reinforcement Learning
Cost Splitting for Multi-Objective Conflict-Based Search
Computing Trace Alignment against Declarative Process Models through Planning
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021
Landmark-Based Plan Distance Measures for Diverse Planning
Online Algorithms for the Linear Tape Scheduling Problem
Interactive planning system design, a model and an application
Encoding HTN Planning in Propositional Logic
A Reformulation for the Problem of Scheduling Unrelated Parallel Machines with Sequence and Machine Dependent Setup Times
Timed Automata as an Underlying Model for Planning and Scheduling
A Practical Framework for Robust Decision-Theoretic Planning and Execution for Service Robots
Optimal Route Planning under Uncertainty
Activity Planning for the Mars Exploration Rovers
Multi-UAV Monitoring with Priorities and Limited Energy Resources
Policy Generation for Continuous-time Stochastic Domains with Concurrency
Learning Planning Operators in Real-World, Partially Observable Environments
Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming
Using Physics- and Sensor-based Simulation for High-Fidelity Temporal Projection of Realistic Robot Behavior
EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations
Complete Decentralized Method for On-Line Multi-Robot Trajectory Planning in Well-formed Infrastructures
Becoming Increasingly Reliable
S*: A Heuristic Information-Based Approximation Framework for Multi-Goal Path Finding
An End-to-End Automatic Cache Replacement Policy Using Deep Reinforcement Learning
A Conformant Planner with Explicit Disjunctive Representation of Belief States
Change the Plan - How Hard Can That Be?
Optimal Rectangle Packing: New Results
Theoretical Aspects of Scheduling Coupled-Tasks in the Presence of Compatibility Graph
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems
Efficiently Handling Temporal Knowledge in an HTN Planner
Fault Tolerant Planning: Toward Probabilistic Uncertainty Models in Symbolic Non-Deterministic Planning
Deep Reinforcement Learning for a Multi-Objective Online Order Batching Problem
Combining Knowledge Compilation and Search for Conformant Probabilistic Planning
Applying Inductive Program Synthesis to Macro Learning
Resource and activity simulation in a knowledge-based planning system
Planning with Failure
A Logical Semantics for PDDL+
Multi-Agent Path Finding with Temporal Jump Point Search
Generalised Domain Model Acquisition from Action Traces
Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach
Choosing Objectives in Over-Subscription Planning
Rank-Dependent Probability Weighting in Sequential Decision Problems under Uncertainty
Computing Parameter Domains as an Aid to Planning
Conditional Linear Planning
Trading Places: How to Schedule More in a Multi-Resource Oversubscribed Scheduling Problem
A Compilation Based Approach to Finding Centroids and Minimum Covering States in Planning
A Lookahead Strategy for Heuristic Search Planning
Decentralized Refinement Planning and Acting
Incrementally Solving STNs by Enforcing Partial Path Consistency
Adaptation and Communication in Human-Robot Teaming to Handle Discrepancies in Agents' Beliefs about Plans
Short-Sighted Stochastic Shortest Path Problems
Translating Totally Ordered HTN Planning Problems to Classical Planning Problems Using Regular Approximation of Context-Free Languages
A*pex: Efficient Approximate Multi-Objective Search on Graphs
A Planning Fully Based on Linear Time Logic
UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning
Complexity of Concurrent Temporal Planning