Sciweavers

11436 search results - page 124 / 2288
» Modeling Real Reasoning
Sort
View
170
Voted
VLDB
2007
ACM
161views Database» more  VLDB 2007»
15 years 9 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
108
Voted
ECAI
2004
Springer
15 years 8 months ago
Focusing Reasoning Through Emotional Mechanisms
Abstract. In concrete environments, where uncertainty and dynamism are pervasive and time and resources are limited, reasoning and decision-making processes raise important problem...
Luís Morgado, Graça Gaspar
152
Voted
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
15 years 7 months ago
SD2: A Sound and Complete Diagrammatic Reasoning System
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
John Howse, Fernando Molina, John Taylor
151
Voted
VL
1999
IEEE
164views Visual Languages» more  VL 1999»
15 years 7 months ago
Reasoning with Spider Diagrams
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
John Howse, Fernando Molina, John Taylor, Stuart K...
125
Voted
ATAL
2008
Springer
15 years 4 months ago
Combining Cognitive with Computational Trust Reasoning
We propose a concept that combines the cognitive with the computational approaches to experience-based trust reasoning. We emphasize that a cognitive component is vital for computa...
Eugen Staab, Thomas Engel