Sciweavers

AI
2000
Springer
13 years 11 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
AAI
2000
427views more  AAI 2000»
13 years 11 months 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
CORR
2004
Springer
191views Education» more  CORR 2004»
13 years 11 months 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
AMAI
2002
Springer
13 years 11 months 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
AMAI
2002
Springer
13 years 11 months 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
AMAI
2002
Springer
13 years 11 months ago
An Algebraic Representation of Calendars
Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia
AMAI
2002
Springer
13 years 11 months 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,...
AMAI
2002
Springer
13 years 11 months ago
Strong Conditional Independence for Credal Sets
Serafín Moral, Andrés Cano
AMAI
2002
Springer
13 years 11 months 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
AMAI
2002
Springer
13 years 11 months ago
A Qualitative Approach to Syllogistic Reasoning
Mohamed Yasser Khayata, Daniel Pacholczyk, Laurent...