4401 search results - page 143 / 881 » Computing with Default Logic |
97
Voted
FOCS
1990
IEEE
15 years 6 months ago
1990
IEEE
86
Voted
GG
2008
Springer
15 years 3 months ago
2008
Springer
101
Voted
SOFSEM
1998
Springer
15 years 6 months ago
1998
Springer
In our paper we discuss an approach to semiautomatic corpus processing aimed at analysing verb valencies in Czech and consecutive determining the type of TIL (Transparent Intension...
119
Voted
CSR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
128
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...