3773 search results - page 15 / 755 » Logical Reasoning |
114
click to vote
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
FOAL
2007
ACM
15 years 1 months ago
2007
ACM
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
DLOG
2004
14 years 11 months ago
2004
We present an application
AAAI
2006
14 years 11 months ago
2006
Several forms of reasoning in AI