912 search results - page 86 / 183 » Abstract Saturation-Based Inference |
97
Voted
KI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
93
Voted
DAGM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. An information theoretic framework for grouping observations is proposed. The entropy change incurred by new observations is analyzed using the Kalman filter update equa...
112
Voted
PACT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
101
click to vote
UM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract: This paper is focused on user modeling and adaptation in distributed ELearning systems. We describe here CUMULATE, a generic student modeling server developed for a distr...
192
Voted
CSLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This article describes an attempt to implement a constraintbased dependency grammar for Czech, a language with rich morphology and free word order, in the formalism Exten...