5378 search results - page 354 / 1076 » Base Logics in Argumentation |
213
click to vote
ICCAD
2002
IEEE
16 years 17 days ago
2002
IEEE
The paper describes the folding method of logic functions to reduce the size of memories for keeping the functions. The folding is based on the relation of fractions of logic func...
177
click to vote
ERSHOV
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
177
click to vote
KI
1999
Springer
15 years 12 months ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, it can, for instance, be u...
220
click to vote
FTP
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
222
click to vote
ILP
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present a logical approach to graph theoretical learning that is based on using alphabetic substitutions for modelling graph morphisms. A classi ed graph is represente...