445 search results - page 1 / 89 » Classifying model-theoretic properties |
LPNMR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
LACL
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...
JAC
2008
13 years 6 months ago
2008
In this paper we emphasize the links between model theory and tilings. More precisely, after giving the definitions of what tilings are, we give a natural way to have an interpreta...
LREC
2008
13 years 6 months ago
2008
In this paper we discuss an approach to the semi-automatic classification of the compounds extracted from German corpora. Compound nominals are semi-automatically extracted from t...
JSYML
2008
13 years 4 months ago
2008
In 2004 Csima, Hirschfeldt, Knight, and Soare [1] showed that a set A T 0 is nonlow2 if and only if A is prime bounding, i.e. for every complete atomic decidable theory T , there i...