Sciweavers

1368 search results - page 33 / 274
» Personality-Based Practical Reasoning
Sort
View
120
Voted
SIGMOD
1999
ACM
99views Database» more  SIGMOD 1999»
15 years 6 months ago
Belief Reasoning in MLS Deductive Databases
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
Hasan M. Jamil
KES
2004
Springer
15 years 7 months ago
Commonsense Reasoning in and Over Natural Language
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
Hugo Liu, Push Singh
CADE
1998
Springer
15 years 5 months ago
Extensional Higher-Order Resolution
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
Christoph Benzmüller, Michael Kohlhase
99
Voted
DLOG
1996
15 years 3 months ago
Object-Oriented Programming Support for CLASSIC
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
Ralf Möller
86
Voted
EWC
2000
87views more  EWC 2000»
15 years 1 months ago
Evolutionary Computation in Structural Design
Evolutionary computation is emerging as a new engineering computational paradigm, which may significantly change the present structural design practice. For this reason, an extens...
Krzysztof Murawski, Tomasz Arciszewski, Kenneth A....