Sciweavers

1614 search results - page 34 / 323
» Planning as Temporal Reasoning
Sort
View
115
Voted
LPAR
2010
Springer
14 years 11 months ago
Relentful Strategic Reasoning in Alternating-Time Temporal Logic
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
FLAIRS
2006
15 years 3 months ago
On-line Qualitative Temporal Reasoning with Explanation
This work is a confluence of three problems in constraint reasoning: qualitative temporal reasoning (QTR), incremental reasoning, and explanation generation. Our primary objective...
Debasis Mitra, Florent Launay
ECAI
1992
Springer
15 years 6 months ago
Deductive Planning and Plan Reuse in a Command Language Environment
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...
Susanne Biundo, Dietmar Dengler, Jana Koehler
AI
2000
Springer
15 years 1 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza
RIDE
1999
IEEE
15 years 6 months ago
Specification of Cooperative Constraints in Virtual Enterprise Workflow
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
Anne H. H. Ngu