Sciweavers

106 search results - page 15 / 22
» Using Arguments for Making Decisions: A Possibilistic Logic ...
Sort
View
IJCAI
1993
13 years 8 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
AGILE
2007
Springer
127views GIS» more  AGILE 2007»
14 years 1 months ago
Space-contained conflict revision, for geographic information
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...
Omar Doukari, Robert Jeansoulin
SEBD
1997
134views Database» more  SEBD 1997»
13 years 9 months ago
A Systematic Approach to Multidimensional Databases
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
Luca Cabibbo, Riccardo Torlone
CL
2000
Springer
13 years 12 months ago
The Taming of the (X)OR
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
Peter Baumgartner, Fabio Massacci
EUSFLAT
2009
187views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
Intensity Assessment of Pedestrian Collisions in City of Mashhad based on Fuzzy Probabilities
Fuzzy probabilities have been widely used in the areas of risk assessment and decision making. Here, we propose a system based on fuzzy probabilities for assessing the intensity of...
Farzaneh Tatari, Mohammad R. Akbarzadeh-Totonchi