167 search results - page 23 / 34 » Focused search for Arguments from Propositional Knowledge |
KR
2004
Springer
14 years 25 days ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
LICS
2002
IEEE
14 years 11 days ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
AAAI
1996
13 years 8 months ago
1996
Many learning systems suffer from the utility problem; that is, that time after learning is greater than time before learning. Discovering how to assure that learned knowledge wil...
TREC
2000
13 years 8 months ago
2000
The PISAB Question Answering system is based on a combination of Information Extraction and Information Retrieval techniques. Knowledge extracted from documents is modeled as a se...
IJCNN
2007
IEEE
14 years 1 months ago
2007
IEEE
— Association Rule Mining is a thoroughly studied problem in Data Mining. Its solution has been aimed for by approaches based on different strategies involving, for instance, the...