TY  - CHAP
A1  - Herre, Heinrich
A1  - Hummel, Axel
T1  - A paraconsistent semantics for generalized logic programs
N2  - We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable generated models introduced in [HW97], and for normal logic programs it yields the stable models in the sense of [GL88].
KW  - paraconsistency
KW  - generalized logic programs
KW  - multi-valued logic
Y1  - 2010
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41496
ER  - 
TY  - CHAP
A1  - Vlugter, Peter
A1  - Knott, Alistair
T1  - A multi-speaker dialogue system for computer-aided language learning
N2  - The main topic of this paper is how to configure a dialogue system to support computer-aided language learning. The paper also serves to introduce our new multi-speaker dialogue system, and highlight some of its novel features.
Y1  - 2006
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-10208
ER  - 
TY  - CHAP
A1  - Reyes-Iturbide, J.
A1  - Velázquez, P.
A1  - Rosado, M.
T1  - 3D numerical model for an asymmetrical superbubble
N2  - Massive stars usually form groups such as OB associations. Their fast stellar winds sweep up collectively the surrounding insterstellar medium (ISM) to generate superbubbles. Observations suggest that superbubble evolution on the surrounding ISM can be very irregular. Numerical simulations considering these conditions could help to understand the evolution of these superbubbles and to clarify the dynamics of these objects as well as the difference between observed X-ray luminosities and the predicted ones by the standard model (Weaver et al. 1977).
Y1  - 2007
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-17724
ER  -