Sciweavers

AI
2000
Springer
15 years 9 days 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
302
Voted
AAI
2000
427views more  AAI 2000»
15 years 9 days ago
Applying Artificial Intelligence to Virtual Reality: Intelligent Virtual Environments
Reearch into virtual environments on the one hand and artificial intelligence and artificial life on the other has largely been carried out by two different groups of people with ...
Michael Luck, Ruth Aylett
148
Voted
CORR
2004
Springer
191views Education» more  CORR 2004»
15 years 9 days ago
Artificial Intelligence and Systems Theory: Applied to Cooperative Robots
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
Pedro U. Lima, Luís M. M. Custódio
91
Voted
AMAI
2002
Springer
15 years 9 days ago
Nonmonotonicity and Compatibility Relations in Belief Structures
: We concern ourselves with the situation Here we investigate an extension of the basic concept of in which we use the Dempster-Shafer belief structure to a compatibility relation ...
Ronald R. Yager
82
Voted
AMAI
2002
Springer
15 years 9 days ago
Quantum Mereotopology
: Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality wh...
Barry Smith, Berit Brogaard
80
Voted
AMAI
2002
Springer
15 years 9 days ago
An Algebraic Representation of Calendars
Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia
81
Voted
AMAI
2002
Springer
15 years 9 days ago
An Empirical Test of Patterns for Nonmonotonic Inference
: It is claimed that human inferential apparatus offers interesting ground in order to consider the intuitions of artificial intelligence researchers about the inference patterns a...
Rui Da Silva Neves, Jean-François Bonnefon,...
77
Voted
AMAI
2002
Springer
15 years 9 days ago
Strong Conditional Independence for Credal Sets
Serafín Moral, Andrés Cano
92
Voted
AMAI
2002
Springer
15 years 9 days ago
Probabilistic Argumentation Systems and Abduction
Probabilistic argumentation systems are based on assumption-based reasoning for obtaining arguments supporting hypotheses and on probability theory to compute probabilities of sup...
Jürg Kohlas, Dritan Berzati, Rolf Haenni
80
Voted
AMAI
2002
Springer
15 years 9 days ago
A Qualitative Approach to Syllogistic Reasoning
Mohamed Yasser Khayata, Daniel Pacholczyk, Laurent...