dhr. prof. dr. B. (Benedikt) Lowe


  • Faculteit der Natuurwetenschappen, Wiskunde en Informatica
    ILLC
  • Bezoekadres
    Science Park 107
    Science Park 105  Amsterdam
    Kamernummer: F1.43
  • Postadres:
    Postbus  94242
    1090 GE  Amsterdam
  • B.Lowe@uva.nl
    T: 0205256071
    T: 0205256051

2016

  • Incurvati, L., & Löwe, B. (2016). Restrictiveness relative to notions of interpretation. Review of Symbolic Logic, 9(2), 238-250. DOI: 10.1017/S1755020316000058 [details]

2015

2014

  • Fisseni, B., & Lowe, B. (2014). Event mappings for comparing formal frameworks of narratives. Logique et Analyse, 57, 181-222. [details]
  • Fisseni, B., & Löwe, B. (2014). What Makes Stories Similar? Report on a Research Project, 2011-2014. Open Access Series in Informatics, 41, 9-12. DOI: 10.4230/OASIcs.CMN.2014.9 [details]
  • Fisseni, B., Kurji, A. H., & Lowe, B. (2014). Annotating with Propp's Morphology of the Folktale: Reproducibility and Trainability. Literary and Linguistic Computing, 29, 488-510. DOI: 10.1093/llc/fqu050 [details]

2013

  • Hamkins, J. D., & Lowe, B. (2013). Moving up and down in the generic multiverse. Lecture Notes in Computer Science, 7750, 139-147. [details]
  • Apter, A. W., Jackson, S. C., & Lowe, B. (2013). Cofinality and measurability of the first three uncountable cardinals. Transactions of the Americal Mathematical Society, 365, 59-98. [details]
  • Jackson, S. C., & Lowe, B. (2013). Canonical measure assignments. Journal of Symbolic Logic, 78, 403-424. DOI: 10.2178/jsl.7802040 [details]

2012

  • Bod, L. W. M., Fisseni, B., Kurji, A. H., & Lowe, B. (2012). Objectivity and reproducibility of Proppian annotations. In M. A. Finlayson (Ed.), The Third Workshop on Computational Models of Narrative. (pp. 17-21). M.I.T.. [details]
  • Fisseni, B., & Lowe, B. (2012). Which dimensions of narrative are relevant for human judgments of story equivalence? In M. A. Finlayson (Ed.), The Third Workshop on Computational Models of Narrative. (pp. 114-118). M.I.T.. [details]
  • Lowe, B., Ikegami, D., & de Kloet, D. (2012). The Axiom of Real Blackwell Determinacy. Archive for Mathematical Logic, 51, 671-685. [details]
  • Esakia, L., & Lowe, B. (2012). Fatal Heyting algebras and forcing persistent sentences. Studia Logica, 100, 163-173. DOI: 10.1007/s11225-012-9393-z [details]

2011

  • Bod, R., Löwe, B., & Saraf, S. (2011). How much do narrative annotations differ? : a Proppian case study. In C. Ess, & R. Hagengruber (Eds.), The Computational Turn: Past, Presents, Futures?. (pp. 242-245). Aarhus University: MV-Wissenschaft. [details]
  • Bod, R., Löwe, B., & Saraf, S. (2011). How much do narrative annotations differ? A Proppian case study. In C. Ess, & R. Hagengruber (Eds.), The computational turn: past, presents, futures? 4-6 July, 2011, Aarhus University. (pp. 242-245). Münster: Monsenstein und Vannerdat. [details]
  • Dégremont, C., Löwe, B., & Witzel, A. (2011). The synchronicity of dynamic epistemic logic. In K. Apt (Ed.), Proceedings of the thirteenth conference on Theoretical Aspects of Rationality and Knowledge: TARK XIII. (pp. 145-152). New York: ACM. DOI: 10.1145/2000378.2000395 [details]
  • Löwe, B. (2011). Methodological remarks about comparing formal frameworks for narratives. Contactforum, 10-28. [details]
  • Löwe, B., & Müller, T. (2011). Data and phenomena in conceptual modelling. Synthese, 182, 131-148. DOI: 10.1007/s11229-009-9621-x [details] [PDF]
  • Löwe, B., Pacuit, E., & Witzel, A. (2011). DEL planning and some tractable cases. Lecture Notes in Computer Science, 6953, 179-192. DOI: 10.1007/978-3-642-24130-7_13 [details]
  • Beckmann, A., & Löwe, B. (2011). Computability in Europe 2008. Theory of Computing Systems, 48(3), 614-616. DOI: 10.1007/s00224-010-9251-1 [details]
  • Brendle, J., & Löwe, B. (2011). Eventually different functions and inaccessible cardinals. Journal of the Mathematical Society of Japan, 63(1), 137-151. DOI: 10.2969/jmsj/06310137 [details]

2010

  • Löwe, B. (2010). Comparing formal frameworks of narrative structure. AAAI Fall Symposium Series Technical Reports, FS-10, 45-46. [details]
  • Löwe, B., & Müller, T. (2010). Skills and mathematical knowledge. In B. Löwe, & T. Müller (Eds.), PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice. (pp. 265-280). (Texts in philosophy; No. 11). London: College Publications. [details]
  • Löwe, B., Müller, T., & Wilhelmus, E. (2010). Mathematical knowledge: a case study in empirical philosophy of mathematics. In B. Van Kerkhove, J. De Vuyst, & J. P. Van Bendegem (Eds.), Philosophical perspectives on mathematical practice. (pp. 185-203). (Texts in philosophy; No. 12). London: College Publications. [details]
  • Geist, C., Löwe, B., & van Kerkhove, B. (2010). Peer review and knowledge by testimony in mathematics. In B. Löwe, & T. Müller (Eds.), PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice. (pp. 155-178). (Texts in philosophy; No. 11). London: College Publications. [details]

2009

  • Ghosh, S., Löwe, B., & Saraf, S. (2009). Pointer semantics with forward propagation. Advances in Intelligent Systems Research, 8, 37-42. DOI: 10.2991/agi.2009.29 [details] [PDF]
  • Löwe, B., Pacuit, E., & Saraf, S. (2009). Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation™. In Proceedings of the Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09). Hamburg: University of Hamburg. [details]

2008

  • Hamkins, J. D., & Löwe, B. (2008). The modal logic of forcing. Transactions of the Americal Mathematical Society, 360(4), 1793-1817. DOI: 10.1090/S0002-9947-07-04297-3 [details] [PDF]
  • Löwe, B., & Müller, T. (2008). Mathematical knowledge is context-dependent. Grazer Philosophische Studien, 76, 91-107. [details] [PDF]
  • Löwe, B., & Pacuit, E. (2008). An abstract approach to reasoning about games with mistaken and changing beliefs. The Australasian Journal of Logic, 6, 162-181. [details] [PDF]
  • Buldt, B., Löwe, B., & Müller, T. (2008). Towards a new epistemology of mathematics. Erkenntnis, 68(3), 309-329. DOI: 10.1007/s10670-008-9101-6 [details] [PDF]

2007

  • Bold, S., & Löwe, B. (2007). A simple inductive measure analysis for cardinals under the axiom of determinacy. In S. Gao, & S. Jackson (Eds.), Advances in Logic. (pp. 23-42). (Contemporary Mathematics; No. 425). Providence RI: AMS. [details]
  • Ghosh, S., Löwe, B., & Scorelle, E. (2007). Belief Flow in Assertion Networks. Lecture Notes in Computer Science, 4604, 401-414. DOI: 10.1007/978-3-540-73681-3_30 [details]
  • Löwe, B. (2007). Visualization of ordinals. In T. Müller, & A. Newen (Eds.), Logik, Begriffe, Prinzipien des Handelns. (pp. 64-80). Paderborn: Mentis. [details]
  • Löwe, B., & Semmes, B. (2007). The extent of constructive game labellings. Journal of Logic and Computation, 17(2), 285-298. DOI: 10.1093/logcom/exl039 [details]
  • Blass, A. R., Dimitriou, I. M., & Löwe, B. (2007). Inaccessible Cardinals without the Axiom of Choice. Fundamenta Mathematicae, 194, 179-189. [details]

2006

  • Löwe, B. (2006). A parametrised choice principle and Martin's conjecture on Blackwell determinacy. Mathematical Logic Quarterly, 52, 187-189. DOI: 10.1002/malq.200410059 [details]
  • Löwe, B. (2006). Revision Forever! Lecture Notes in Computer Science, 4068, 22-36. [details]
  • Löwe, B. (2006). Set Theory with and without urelements and categories of interpretations. Notre Dame Journal of Formal Logic, 47, 83-91. [details]
  • Löwe, B. (2006). Space bounds for infinitary computation. Lecture Notes in Computer Science, 3988, 319-329. DOI: 10.1007/11780342_34 [details]

2008

  • Löwe, B. (2008). Logic and the simulation of interaction and reasoning: Introductory remarks. In AISB 2008 Convention: Communication, Interaction and Social Intelligence: 1st-4th April 2008, University of Aberdeen: Volume 9: Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning. (pp. iii-v). Brighton: The Society for the Study of Artificial Intelligence and Simulation of Behaviour (SSAISB). [details] [PDF]

2006

  • Löwe, B. (2006). Review of Apter, Sargsyan "Can a large cardinal be forced from a condition implying its negation?" [Review of: Can a large cardinal be forced from a condition implying its negation]. Zentralblatt MATH, 1079(03040). [details]
  • Löwe, B. (2006). Review of Donald A. Martin "A simple proof that Determinacy implies Lebesgue Measurability" [Review of: A simple proof that determinacy implies Lebesgue measurability]. Zentralblatt MATH, 1072(03034). [details]
  • Löwe, B. (2006). Review of Itay Neeman "An introduction to proofs of determinacy of long games" [Review of: An introduction to proofs of determinacy of long games]. Mathematical Reviews, 2006d(03083). [details]
  • Löwe, B. (2006). Review of Itay Neeman "An introduction to proofs of determinacy of long games" [Review of: An introduction to proofs of determinacy of long games]. Zentralblatt MATH, 1077(03031). [details]
  • Löwe, B. (2006). Review of Koepke, Schindler "Homogeneously Souslin sets in small inner models" [Review of: Homogeneously Souslin sets in small inner models]. Mathematical Reviews, 2006k(03101). [details]
  • Löwe, B. (2006). Review of Koepke, Schindler "Homogeneously Souslin sets in small inner models" [Review of: Homogeneously Souslin sets in small inner models]. Zentralblatt MATH, 1085(03040). [details]

Tijdschriftredactie

  • Lowe, B. (editor) (2009): Journal of Logic and Computation (Journal).

Boekredactie

  • Bold, S., Löwe, B., Räsch, T., & van Benthem, J. F. A. K. (2007). Foundations of the formal sciences V: infinite games. (Studies in Logic; No. 11). London: College Publications. [details]
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications.
  • DVMLG
    President
  • Wiley VCH
    Managing editor MLQ
  • EACSL
    Member of the Board
  • Springer-Verlag
    Member of the Editorial Board
  • Associate for Logic in ludia
    Member of the Council
  • Association Computability in Europe
    Member of the Board
  • Vereniging voor Logica (VvL)
    Nederlandse vereniging voor Logica en Wijsbegeerte
  • Division of Logic (DLMPS)
    Assistant secretary gereral
  • IASCUD
    Assessor
  • IOS Press
    Managing editor
  • Verein zur ausbildung von Tagungen
    President

contactgegevens bewerken bewerk tabbladen