4401 search results - page 143 / 881 » Computing with Default Logic |
FOCS
1990
IEEE
14 years 1 months ago
1990
IEEE
GG
2008
Springer
13 years 10 months ago
2008
Springer
SOFSEM
1998
Springer
14 years 1 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...
CSR
2006
Springer
14 years 19 days 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...
DAGSTUHL
2003
13 years 10 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...