5378 search results - page 762 / 1076 » Base Logics in Argumentation |
121
Voted
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-- This paper presents a comparison of three different design concepts for Genetic Fuzzy systems. We apply a Symbiotic Evolution that uses the Michigan approach and two app...
105
click to vote
ASWC
2006
Springer
15 years 4 months ago
2006
Springer
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...
105
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
91
Voted
CIA
2006
Springer
15 years 4 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
104
click to vote
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...