3773 search results - page 162 / 755 » Logical Reasoning |
133
Voted
AIML
2008
15 years 5 months ago
2008
There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study th...
142
Voted
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
133
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
152
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
128
Voted
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...