2308 search results - page 7 / 462 » Representing Symbolic Reasoning |
GIS
1999
ACM
13 years 11 months ago
1999
ACM
ASP
2001
Springer
13 years 11 months ago
2001
Springer
ECSQARU
2009
Springer
14 years 8 hour 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
13 years 8 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
14 years 22 days 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...