Sciweavers

29908 search results - page 150 / 5982
» On the Complexity of
Sort
View
IJCAI
2001
15 years 7 months ago
Computational Complexity of Planning with Temporal Goals
In the last decade, there has been several studies on the computational complexity of planning. These studies normally assume that the goal of planning is to make a certain fluent...
Chitta Baral, Vladik Kreinovich, Raul Trejo
ISTA
2001
15 years 7 months ago
Methodology of distributed technological complex system simulation
: The simulation of technological process in the oil pipelines system is considered in the paper. The solution of the task meets a number of difficulties originating during control...
Oye Fedorovich, A. V. Prohorov, Thomas Ramirez
AAAI
1997
15 years 7 months ago
Complex Goal Criteria and Its Application in Design-to-Criteria Scheduling
Difficult real-time AI problems require a means for expressing multi-dimensional and dynamic goal criteria and a principled model for satisficing to best meet the criteria. In the...
Thomas Wagner, Alan Garvey, Victor R. Lesser
AAAI
1996
15 years 7 months ago
A Complexity Analysis of Space-Bounded Learning Algorithms for the Constraint Satisfaction Problem
Learning during backtrack search is a space-intensive process that records information (such as additional constraints) in order to avoid redundant work. In this paper, we analyze...
Roberto J. Bayardo Jr., Daniel P. Miranker
CADE
2010
Springer
15 years 7 months ago
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
We propose an extension of the syntactic restriction for complex role inclusion axioms in the description logic SROIQ. Like the original restriction in SROIQ, our restrictions can ...
Yevgeny Kazakov