Sciweavers

2181 search results - page 235 / 437
» Ontologies and Description Logics
Sort
View
CIC
2004
101views Communications» more  CIC 2004»
15 years 8 months ago
Lexicons in TIL and Verb Valency Frames
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
Ales Horák, Karel Pala
CADE
2010
Springer
15 years 7 months ago
MUNCH - Automated Reasoner for Sets and Multisets
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
Ruzica Piskac, Viktor Kuncak
SOCO
2002
Springer
15 years 6 months ago
fXOR fuzzy logic networks
The study introduces a new class of fuzzy neurons and fuzzy neural networks exploiting a model of a generalized multivalued exclusive-OR (XOR) operation. The proposed neural archit...
Witold Pedrycz, Giancarlo Succi
SEFM
2009
IEEE
16 years 1 months ago
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
Davide Bresolin, Valentin Goranko, Angelo Montanar...
ECAL
2003
Springer
15 years 11 months ago
When Can We Call a System Self-Organizing?
Abstract. We do not attempt to provide yet another definition of selforganization, but explore the conditions under which we can model a system as self-organizing. These involve th...
Carlos Gershenson, Francis Heylighen