Sciweavers

2501 search results - page 20 / 501
» Logics with Rank Operators
Sort
View
64
Voted
TCS
2002
14 years 10 months ago
Logical operations and Kolmogorov complexity
Alexander Shen, Nikolai K. Vereshchagin
87
Voted
EUSFLAT
2009
124views Fuzzy Logic» more  EUSFLAT 2009»
14 years 8 months ago
Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling
Abstract
Rainer Palm, Bourhane Kadmiry, Boyko Iliev, Dimite...
82
Voted
CADE
1998
Springer
15 years 2 months ago
Rank/Activity: A Canonical Form for Binary Resolution
Abstract. The rank/activity restriction on binary resolution is introduced. It accepts only a single derivation tree from a large equivalence class of such trees. The equivalence c...
Joseph Douglas Horton, Bruce Spencer