11 search results - page 1 / 3 » Dichotomies and Duality in First-order Model Checking Proble... |
CIE
2008
Springer
13 years 10 months ago
2008
Springer
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
FLAIRS
2001
13 years 11 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
ICTAC
2009
Springer
13 years 7 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...