Sciweavers

96 search results - page 12 / 20
» Extending Fuzzy Constraint Satisfaction Problems
Sort
View
SARA
2009
Springer
14 years 2 months ago
Integrating Constraint Models for Sequential and Partial-Order Planning
Classical planning deals with finding a (shortest) sequence of actions transferring the world from its initial state to a state satisfying the goal condition. Traditional planning...
Roman Barták, Daniel Toropila
ICTAI
2002
IEEE
14 years 18 days ago
On Temporal Planning as CSP
(Appears as a regular paper in the proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Computer Society, Washington D.C. Nov. 2002, p...
Amol Dattatraya Mali
AUSAI
2007
Springer
13 years 11 months ago
Branching Rules for Satisfiability Analysed with Factor Analysis
Factor analysis is a statistical technique for reducing the number of factors responsible for a matrix of correlations to a smaller number of factors that may reflect underlying va...
Richard J. Wallace, Stuart Bain
TPLP
2008
89views more  TPLP 2008»
13 years 7 months ago
Theory of finite or infinite trees revisited
We present in this paper a first-order axiomatization of an extended theory T of finite or infinite trees, built on a signature containing an infinite set of function symbols and ...
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Fr&uum...
ECSQARU
2005
Springer
14 years 1 months ago
Possibility Theory for Reasoning About Uncertain Soft Constraints
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...