| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 7 of 7
reviews
|
|
|
 |
|
|
|
|
 Relational constructions in Goguen Categories
Winter M. Relational Methods in Computer Science (Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science,Oct 16-21, 2001) 212-227, 2002. Type: Proceedings
Fuzzy relation algebras were introduced as an algebraic formalization of mathematical structures formed by fuzzy relations; these algebras are equipped with a semi-scalar product on the unit interval that is able to characterize when a...
|
Aug 3 2004 |
|
|
|
|
|
|
From rough sets to rough knowledge bases
Vitória A., Damásio C., Maluszyński J. Fundamenta Informaticae 57(2-4): 215-246, 2003. Type: Article
A language for knowledge representation with vague concepts is introduced in this paper, based on the formalism of rough sets, and a semantics borrowed from the logic programming community, namely, paraconsistent stable models of exten...
|
Jul 8 2004 |
|
|
|
|
|
|
Eliminating definitions and Skolem functions in first-order logic
Avigad J. ACM Transactions on Computational Logic 4(3): 402-415, 2003. Type: Article
When working with a first-order theory, it is customary to use definitions and Skolem functions to clarify the specification of the given theory; this is usual practice, for instance, in first-order theorem proving. The problem arises ...
|
Nov 13 2003 |
|
|
|
|
|
|
Abductive reasoning and measures of similitude in the presence of fuzzy rules
Mellouli N., Bouchon-Meunier B. Fuzzy Sets and Systems 137(1): 177-188, 2003. Type: Article
Uncertainty and imprecision play a leading role in human reasoning, therefore it is worth devoting some effort to the study of reasoning methods under uncertain data. On the other hand, abductive reasoning is an important component of ...
|
Oct 15 2003 |
|
|
|
|
|
|
The marriage of effects and monads
Wadler P., Thiemann P. ACM Transactions on Computational Logic 4(1): 1-32, 2003. Type: Article
A unified approach to two previous lines of research based on the study of computational effects is presented in this paper. These lines are, respectively, the use of effect typing and the use of monads....
|
Mar 13 2003 |
|
|
|
|
|
|
Towards a mechanically checked theory of computation
Moore J. In Logic-based artificial intelligence. Norwell, MA: Kluwer Academic Publishers, 2000. Type: Book Chapter
This chapter discusses a computational logic for applicative common Lisp (ACL2), which is both a logic, and a theorem prover for that logic. The system can be more generally considered to be in the group of so-called “proof-...
|
Feb 4 2003 |
|
|
|
|
|
|
Fixpoint semantics for logic programming a survey
Fitting M. Theoretical Computer Science 278(1-2): 25-51, 2002. Type: Article, Reviews: (2 of 2)
In this survey paper, the reader is guided through a number of different fixpoint-based semantics, ranging from the usual Apt-van Emden-Kowalski semantics to metric approaches, and also considering the stable models semantics. As stat...
|
Nov 25 2002 |
|
|
|
|
|
| |
|
|
| |
|
|
