Sciweavers

2138 search results - page 28 / 428
» Logics for the Relational Syllogistic
Sort
View
EUSFLAT
2009
131views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
Preservation of Properties of Interval-Valued Fuzzy Relations
The goal of this paper is to consider properties of the composition of interval-valued fuzzy relations which were introduced by L.A. Zadeh in 1975. Fuzzy set theory turned out to b...
Barbara Pekala
DLOG
2008
13 years 10 months ago
Essential and Mandatory Part-Whole Relations in Conceptual Data Models
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
Alessandro Artale, C. Maria Keet
ICONIP
1998
13 years 9 months ago
Inducing Relational Concepts with Neural Networks via the LINUS System
This paper presents a method to induce relational concepts with neural networks using the inductive logic programming system LINUS. Some first-order inductive learning tasks taken...
Rodrigo Basilio, Gerson Zaverucha, Artur S. d'Avil...
CADE
2010
Springer
13 years 9 months ago
Decreasing Diagrams and Relative Termination
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st...
Nao Hirokawa, Aart Middeldorp
DIAGRAMS
2010
Springer
13 years 8 months ago
Fragments of Spider Diagrams of Order and Their Relative Expressiveness
Abstract. Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparis...
Aidan Delaney, Gem Stapleton, John Taylor, Simon J...