943 search results - page 9 / 189 » Virtual First-Order Structure |
STACS
2001
Springer
15 years 4 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
IJCAI
1989
15 years 26 days ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...
108
click to vote
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Rational graphs are a family of graphs defined using labelled rational transducers. Unlike automatic graphs (defined using synchronized transducers) the first order theory of these...
VRST
1998
ACM
15 years 3 months ago
1998
ACM