Sciweavers

119 search results - page 14 / 24
» A Flexible Framework for Defeasible Logics
Sort
View
121
Voted
FDL
2003
IEEE
15 years 5 months ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...
CLIMA
2004
15 years 1 months ago
Weighted Multi Dimensional Logic Programs
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
Pierangelo Dell'Acqua
RSCTC
2000
Springer
143views Fuzzy Logic» more  RSCTC 2000»
15 years 4 months ago
Rough Sets for Uncertainty Reasoning
Abstract. Rough sets have traditionally been applied to decision (classification) problems. We suggest that rough sets are even better suited for reasoning. It has already been sho...
S. K. Michael Wong, Cory J. Butz
132
Voted
AIIA
1995
Springer
15 years 4 months ago
Learning Programs in Different Paradigms using Genetic Programming
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
Man Leung Wong, Kwong-Sak Leung
113
Voted
ENTCS
2002
90views more  ENTCS 2002»
15 years 6 days ago
A Language for Multi-dimensional Updates
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
João Alexandre Leite, José Jú...