Sciweavers

1368 search results - page 33 / 274
» Personality-Based Practical Reasoning
Sort
View
SIGMOD
1999
ACM
99views Database» more  SIGMOD 1999»
15 years 10 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 11 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 10 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
DLOG
1996
15 years 7 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
EWC
2000
87views more  EWC 2000»
15 years 5 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....