Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On the methodology of possible worlds semantics. I. Correspondence theory., and . Notre Dame Journal of Formal Logic, 29 (4): 482-496 (1988)Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms.. LPNMR, page 457-475. (1993)Abduction in equilibrium logic., and . Answer Set Programming, (2001)Evaluation of a noise-robust DSR front-end on Aurora databases., , , , , , , , and . INTERSPEECH, ISCA, (2002)Performance analysis of the Aurora large vocabulary baseline system., , , and . EUSIPCO, page 553-556. IEEE, (2004)Strongly equivalent logic programs., , and . ACM Trans. Comput. Log., 2 (4): 526-541 (2001)RTP Payload Formats for European Telecommunications Standards Institute (ETSI) European Standard ES 202 050, ES 202 211, and ES 202 212 Distributed Speech Recognition Encoding., and . RFC, (May 2005)A Model of Artifact Creation Reconsidered.. ECSI, volume 1283 of CEUR Workshop Proceedings, page 137-147. CEUR-WS.org, (2014)Interpretability and Equivalence in Quantified Equilibrium Logic., and . CENT, volume 265 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Minimal Logic Programs., , and . ICLP, volume 4670 of Lecture Notes in Computer Science, page 104-118. Springer, (2007)