2432 search results - page 39 / 487 » Cryptographic logical relations |
COLING
1994
14 years 11 months ago
1994
We discuss some consequence relations in DRT useful to discourse semantics. We incorporate some consequence relations into DRT using sequent calculi. We also show some connections...
ISMVL
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
105
click to vote
EUSFLAT
2009
14 years 7 months ago
2009
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...
DLOG
2008
15 years 8 days ago
2008
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...
ICONIP
1998
14 years 11 months ago
1998
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...