2308 search results - page 6 / 462 » Representing Symbolic Reasoning |
HIS
2003
13 years 8 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
KRMED
2004
13 years 8 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
DM
2011
12 years 11 months ago
2011
A k-plex of a latin square is a collection of cells representing each row, column, and symbol precisely k times. The classic case of k = 1 is more commonly known as a transversal....
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
KR
2010
Springer
14 years 4 days ago
2010
Springer