Sciweavers

9145 search results - page 294 / 1829
» Description Logic Systems
Sort
View
EUSFLAT
2009
212views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
An Interval Type-2 Fuzzy Distribution Network
Abstract-- Planning resources for a supply chain is a major factor determining its success or failure. In this paper we introduce an Interval Type-2 Fuzzy Logic model of a distribu...
Simon Miller, Viara Popova, Robert John, Mario A. ...
BIRTHDAY
2010
Springer
15 years 7 months ago
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs
The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems...
Martin Grohe
IJSYSC
2006
127views more  IJSYSC 2006»
15 years 6 months ago
Backlash compensation of nonlinear systems using fuzzy logic
: A backlash compensator is designed for nonlinear systems using the fuzzy logic. The classification property of fuzzy logic systems makes them a natural candidate for the rejectio...
Jun Oh Jang, Gi Joon Jeon
APIN
1999
110views more  APIN 1999»
15 years 6 months ago
The Connectionist Inductive Learning and Logic Programming System
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
Artur S. d'Avila Garcez, Gerson Zaverucha
ICALP
2007
Springer
15 years 10 months ago
Affine Systems of Equations and Counting Infinitary Logic
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
Albert Atserias, Andrei A. Bulatov, Anuj Dawar