156 search results - page 12 / 32 » On the notion of uniqueness |
AAAI
1998
13 years 11 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...
CRIWG
2000
13 years 11 months ago
2000
This paper presents the concept of a collaborative computer integrated classroom (CiC) specially designed to achieve a unique combination of interactive and collaborative software...
EACL
1989
ACL Anthology
13 years 11 months ago
1989
ACL Anthology
It is a tacit assumption of much linguisticinquiry that alldistinctderivations of a string should assign distinct meanings. But despite the tidinessof such derivational uniqueness...
FSTTCS
2008
Springer
13 years 11 months ago
2008
Springer
Several recent works have studied subfamilies of deterministic context-free languages with good closure properties, for instance the families of input-driven or visibly pushdown la...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...