5378 search results - page 766 / 1076 » Base Logics in Argumentation |
AI
2008
Springer
15 years 29 days ago
2008
Springer
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
128
click to vote
DKE
2008
15 years 27 days ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
111
Voted
DSS
2008
15 years 27 days ago
2008
Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-qualit...
118
click to vote
DKE
2007
15 years 24 days ago
2007
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting seque...
105
Voted
IJCSS
2007
15 years 22 days ago
2007
This paper presents a low power driven synthesis framework for the unique class of nonregenerative Boolean Read-Once Functions (BROF). A two-pronged approach is adopted, where the...