165 search results - page 7 / 33 » Exotic Quantifiers, Complexity Classes, and Complete Problem... |
155
Voted
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
168
Voted
PODS
2011
ACM
14 years 6 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
117
click to vote
APAL
1999
15 years 3 months ago
1999
We give a sound and complete propositional S5 tableau system of a particularly simple sort, having an easy completeness proof. It sheds light on why the satisfiability problem for...
122
Voted
ALT
2003
Springer
16 years 19 days ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
132
click to vote
CIE
2009
Springer
15 years 10 months ago
2009
Springer
Let Γ be a (not necessarily finite) structure with a finite relational signature. We prove that deciding whether a given existential positive sentence holds in Γ is in LOGSPACE...