831 search results - page 52 / 167 » Coalgebraic Correspondence Theory |
107
click to vote
DEON
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
NLPRS
2001
Springer
15 years 4 months ago
2001
Springer
This paper proposes a new prosodic phrasing model for Chinese text-tospeech systems. First, in contrast to the commonly used CART techniques, we propose a new inductive learning a...
119
click to vote
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
ECSQARU
1995
Springer
15 years 3 months ago
1995
Springer
It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the mod...
KI
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...