3552 search results - page 315 / 711 » Proof theory in the abstract |
170
Voted
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We discuss the problem of model selection in Genetic Programming using the framework provided by Statistical Learning Theory, i.e. Vapnik-Chervonenkis theory (VC). We pre...
175
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose a new operation of belief revision, called permissive belief revision. The underlying idea of permissive belief revision is to replace the beliefs that are aba...
208
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
183
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
165
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...