2308 search results - page 7 / 462 » Representing Symbolic Reasoning |
64
Voted
GIS
1999
ACM
15 years 4 months ago
1999
ACM
82
Voted
ASP
2001
Springer
15 years 3 months ago
2001
Springer
101
click to vote
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
DLOG
1996
15 years 1 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
KR
2004
Springer
15 years 5 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...