432 search results - page 19 / 87 » Dynamic Logic With Possible World |
WECWIS
2009
IEEE
14 years 2 months ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
GRAMMARS
2000
13 years 7 months ago
2000
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...
ETS
2011
IEEE
12 years 7 months ago
2011
IEEE
—As circuits continue to scale to smaller feature sizes, wearout and latent defects are expected to cause an increasing number of errors in the field. Online error detection tec...
JELIA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...
IBERAMIA
2010
Springer
13 years 6 months ago
2010
Springer
Detection of multiple people is a key element for social robot design and it is a requirement for effective human-robot interaction. However, it is not an easy task, especially in...