3319 search results - page 95 / 664 » Subshifts, Languages and Logic |
KR
2010
Springer
15 years 5 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...
94
Voted
EPIA
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
116
click to vote
LOGCOM
2002
15 years 8 days ago
2002
One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if...
189
Voted
POPL
2004
ACM
16 years 28 days ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
103
click to vote
ERCIMDL
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...