Sciweavers

2611 search results - page 67 / 523
» A Logic for Concepts and Similarity
Sort
View
EUROGP
2000
Springer
116views Optimization» more  EUROGP 2000»
15 years 5 months ago
An Extrinsic Function-Level Evolvable Hardware Approach
1 The function level evolvable hardware approach to synthesize the combinational multiple-valued and binary logic functions is proposed in rst time. The new representation of logic...
Tatiana Kalganova
98
Voted
DIAGRAMS
2004
Springer
15 years 7 months ago
Query Graphs with Cuts: Mathematical Foundations
Query graphs with cuts are inspired by Sowa’s conceptual graphs, which are in turn based on Peirce’s existential graphs. In my thesis ‘The Logic System of Concept Graphs with...
Frithjof Dau
EUSFLAT
2007
144views Fuzzy Logic» more  EUSFLAT 2007»
15 years 3 months ago
From Fuzzy - to Bipolar - Datalog
In this work we present several possible extensions of fuzzy Datalog. At first the concept of fuzzy Datalog will be summarized, then its extension for intuitionistic- and interval...
Ágnes Achs
KR
1998
Springer
15 years 5 months ago
Using an Expressive Description Logic: FaCT or Fiction?
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
Ian Horrocks
IJCAI
2007
15 years 3 months ago
A Description Logic of Change
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
Alessandro Artale, Carsten Lutz, David Toman