1321 search results - page 20 / 265 » Subtyping in Logical Form |
188
Voted
FROCOS
2009
Springer
16 years 7 hour 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...
145
click to vote
ECIS
2003
15 years 6 months ago
2003
This paper claims that in its current use the term ‘network’ represents no more than a suggestive image of organizing in an age of spectacular context-crossing electronic tran...
164
click to vote
AAAI
1994
15 years 6 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
137
click to vote
JSYML
2011
15 years 12 days ago
2011
Abstract. Westudy cut-elimination in first-orderclassical logic. Weconstructa sequenceofpolynomiallength proofs having a non-elementary number of different cut-free normal forms....
134
click to vote
FOAL
2007
ACM
15 years 9 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...