2490 search results - page 55 / 498 » The Generalized Theory of Model Preference |
118
click to vote
AIMSA
2000
Springer
15 years 8 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
113
Voted
JSYML
2010
14 years 10 months ago
2010
We generalize the model theory of small profinite structures developed by Newelski to the case of compact metric spaces considered together with compact groups of homeomorphisms a...
129
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
This paper familiarizes the audience with the Triune Continuum Paradigm, a paradigm that provides philosophically supported theoretical foundations for system modeling in general a...
171
click to vote
JELIA
1994
Springer
15 years 8 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
132
Voted
AIML
2006
15 years 5 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...