2 citations · 4 across the 11 of their papers we have counts for
4 papers · 1 filter
Conditional Inference and Activation of Knowledge Entities in ACT-R
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner +2
Activation-based conditional inference applies conditional reasoning to ACT-R, a cognitive architecture developed to formalize human reasoning. The idea of activation-based conditi…
Forgetting Formulas and Signature Elements in Epistemic States
A. Becker, G. Kern-Isberner, K. Sauerwald +1
Delgrande's knowledge level account of forgetting provides a general approach to forgetting syntax elements from sets of formulas with links to many other forgetting operations, in…
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
The research on non-prioritized revision studies revision operators which do not accept all new beliefs. In this paper, we contribute to this line of research by introducing the co…
Using Finite-State Machines to Automatically Scan Classical Greek Hexameter
Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner
This paper presents a fully automatic approach to the scansion of Classical Greek hexameter verse. In particular, the paper describes an algorithm that uses deterministic finite-st…