Heinrich Herre (herre)

Beiträge zu Philosophie.ch

Bibliography

Degen, J. Wolfgang, Heller, Barbara and Herre, Heinrich. 2002. “GOL: A Framework for Building and Representing Ontologies.” in Ontological Spring, edited by Barbara Heller, Heinrich Herre, and Barry Smith. Universität Leipzig: IFOMIS. A reader for the introductory workshop in ontology, Naumburg April 17-20, 2002.
Dyckhoff, Roy, Herre, Heinrich and Schröder-Heister, Peter, eds. 1996. Extensions of Logic Programming: 5th International Workshop, Leipzig, Germany, March 28-30, 1996. Lecture Notes in Computer Science n. 1050. Berlin: Springer.
Heller, Barbara and Herre, Heinrich. 2003. “Ontological Categories in GOL.” in Process Theories. Crossdisciplinary Studies in Dynamic Categories, edited by Johanna Seibt, pp. 57–76. Dordrecht: Kluwer Academic Publishers. “Reprint” of Heller and Herre (2004).
Heller, Barbara and Herre, Heinrich. 2004. “Ontological Categories in GOL.” Axiomathes 14(1–3): 57–76.
Heller, Barbara, Herre, Heinrich and Smith, Barry, eds. 2002. Ontological Spring. Universität Leipzig: IFOMIS. A reader for the introductory workshop in ontology, Naumburg April 17-20, 2002.
Herre, Heinrich. 1991. “Nonmonotonic Reasoning and Logic Programs.” in Nonmonotonic and Inductive Logics, edited by Jürgen Dix, Klaus P. Jantke, and Peter H. Schmidt, pp. 38–58. Berlin: Springer.
Herre, Heinrich. 1994. “Compactness Properties of Nonmonotonic Inference Operations.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 19–33. Lecture Notes in Computer Science. Berlin: Springer.
Herre, Heinrich. 1995a. “Theory of Linear Order in Extended Logics.” in Quantifiers: Logic, Models, and Computation. Volume One: Surveys, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 139–192. Synthese Library n. 248. Dordrecht: Kluwer Academic Publishers.
Herre, Heinrich. 1995b. “Theories of Finitely Determinate Linear Orderings in Stationary Logic.” in Quantifiers: Logic, Models, and Computation. Volume Two: Contributions, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 89–114. Synthese Library n. 249. Dordrecht: Kluwer Academic Publishers.
Herre, Heinrich. 2017. “Boolean Algebras.” in Handbook of Mereology, edited by Hans Burkhardt, Johanna Seibt, Guido Imaguire, and Stamatios Gerogiorgakis, pp. 114–119. Analytica: Investigations in Logic, Ontology, and the Philosophy of Language. München: Philosophia Verlag, doi:10.2307/j.ctv2nrzj8n.
Herre, Heinrich, Jaspars, Jan and Wagner, Gerd P. 1999. “Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasonng.” in What is Negation?, edited by Dov M. Gabbay and Heinrich Theodor Wansing, pp. 121–160. Applied Logic Series n. 13. Dordrecht: Kluwer Academic Publishers.