1549 search results - page 213 / 310 » On the rules of intermediate logics |
VLDB
1990
ACM
13 years 12 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
AUSAI
2006
Springer
13 years 11 months ago
2006
Springer
This paper introduces Fuzzy Neural Network controller to increase the ability of a mobile robot in reacting to the dynamic environments. States of robot and environment, for exampl...
FSKD
2006
Springer
13 years 11 months ago
2006
Springer
Data mining tools generally deal with highly structured and precise data. However, classical methods fail to handle imprecise or uncertain information. This paper proposes a neuro-...
ICCS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...