|
|
|
|
|
Francisco Miguel García-Olmedo, Jesús García-Miranda and Pedro González-Rodelas
The conjunctive normal form (CNF) algorithm is one of the best known and most widely used algorithms in classical logic and its applications. In its algebraic approach, it makes use in a loop of a certain well-defined operation related to the ?distributi...
ver más
|
|
|
|
|
|
|
|
|
|
|
Adrian Groza and Ioan Alfred Letia
Sensor networks are estimated to drive the formation of the future Internet, with stream reasoning responsible for analysing sensor data. Stream reasoning is defined as real time logical reasoning on large, noisy, heterogeneous data streams, aiming to su...
ver más
|
|
|
|
|
|
|
|
|
|
|
Fatma Kaplan, Joachim Kopka, Dale W. Haskell, Wei Zhao, K. Cameron Schiller, Nicole Gatzke, Dong Yul Sung, and Charles L. Guy
Pág. 4159 - 4168
|
|
|
|
|
|
|
|
|
|
|
EJ Olson, Haskell, SR, RK Frank, HD Lehmkuhl, LA Hobbs, JV Warg, JG Landgraf, and A Wunschmann
Pág. 461 - 464
|
|
|
|
|
|
|
|
|
|
|
Haskell, R. E. Badalamenti, A. F.
Pág. 383 - 393
|
|
|
|
|
|
|
|
|
|
|
Thiemann, P J
Pág. 967 - 982
|
|
|
|
|
|