3658 search results - page 361 / 732 » The logic of proofs, semantically |
150
click to vote
MLQ
2002
15 years 7 months ago
2002
In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivale...
181
click to vote
VLDB
1991
ACM
15 years 11 months ago
1991
ACM
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniqu...
189
click to vote
IJIS
2008
15 years 7 months ago
2008
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...
304
click to vote
CADE
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
206
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...