2308 search results - page 193 / 462 » Representing Symbolic Reasoning |
145
click to vote
CP
2005
Springer
16 years 2 days ago
2005
Springer
The aggregation of individuals’ preferences into a single group outcome is both well-studied and fundamental within decision theory. Historically, though, a pervasive simplifica...
162
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
131
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
168
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
This paper addresses the issue of adapting cases represented by plain text with the help of formal concept analysis and natural language processing technologies. The actual cases r...
178
click to vote
MKM
2007
Springer
16 years 20 days ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....