AI*IA 2003: Advances in Artificial Intelligence

DOI10.1007/B13658MaRDI QIDQ5897333zbMATH OpenOpenAlexFDO

Authors Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni

Publication date 5 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b13658

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• Linear logic as a tool for planning under temporal uncertainty
• scientific article; zbMATH DE number 1950254
• Planning under uncertainty as G<scp>OLOG</scp>programs
• scientific article; zbMATH DE number 1302385
• Planning with Concurrency under Resources and Time Uncertainty
• From Uncertainty Data to Robust Policies for Temporal Logic Planning
• Linear temporal logic as an executable semantics for planning languages
• On Linear Logic Planning and Concurrency

Cited in

(20)

• The dynamic logic of policies and contingent planning
• On the nature and role of modal truth criteria in planning
• How to (plan to) meet a deadline between \textit{now} and \textit{then}
• COLIN: planning with continuous linear numeric change
• Planning with Concurrency under Resources and Time Uncertainty
• scientific article; zbMATH DE number 67470 (Why is no real title available?)
• scientific article; zbMATH DE number 1301748 (Why is no real title available?)
• scientific article; zbMATH DE number 1302385 (Why is no real title available?)
• scientific article; zbMATH DE number 1950254 (Why is no real title available?)
• Planning under uncertainty as G<scp>OLOG</scp>programs
• From Uncertainty Data to Robust Policies for Temporal Logic Planning
• Phase transitions of contingent planning problem
• Planning with effectively propositional logic
• On transformation of conditional, conformant and parallel planning to linear programming
• Human-aware contingent planning
• Linear logic as a tool for planning under temporal uncertainty
• scientific article; zbMATH DE number 5201473 (Why is no real title available?)
• scientific article; zbMATH DE number 2242893 (Why is no real title available?)
• Contingent planning under uncertainty via stochastic satisfiability
• Conformant plans and beyond: principles and complexity

This page was built for publication: AI*IA 2003: Advances in Artificial Intelligence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897333)