4401 search results - page 143 / 881 » Computing with Default Logic |
FOCS
1990
IEEE
15 years 6 months ago
1990
IEEE
GG
2008
Springer
15 years 3 months ago
2008
Springer
102
Voted
SOFSEM
1998
Springer
15 years 7 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...
120
click to vote
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...
130
Voted
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...