Homepage

Address

Directions

Research

Research Interests

Funded Projects

Publications

Talks

Partiality

PhD Students

Events

Teaching

Software Workshop

Project Prosals

Adv. Msc Project Prosals

Previously taught modules

Administration

Departmental Seminar

Senior Tutor

Project Coordinator

Timetable

Short CV

Publications on Partial Functions and Paradoxes

• Extending Hoare Calculus to Deal with Crash
  The University of Birmingham, School of Computer Science. Research Reports, CSR-06-08 Viviana Bono, Manfred Kerber, 2006
  Available: BiBTeX  pdf  PostScript  © Viviana Bono and Manfred Kerber
• Living with paradoxes
  Electronic Notes in Theoretical Computer Science, 123, pages 151-163 Manfred Kerber, 2005
  Available: html  BiBTeX  pdf  PostScript  © Elsvier B.V., ENTCS
• Living with paradoxes
  AISB Quaterly, 116, pages 2 & 7 Manfred Kerber, 2004
  Available: html  BiBTeX  pdf  PostScript  © AISB
• A Three-Valued Hoare Calculus
  11th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice; editor: Brandon Bennett Viviana Bono, Manfred Kerber, 2004
  Available: html  BiBTeX  pdf  PostScript  © Viviana Bono, Manfred Kerber
• On Truth, Strings, and Paradoxes
  The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-03-01 Manfred Kerber, 2003
  Available: html  BiBTeX  pdf  PostScript  © Manfred Kerber
• Crash in Program and Logic
  AVoCS 2002 - Automated Verification of Critical Systems ; editor: Gethin Norman and Marta Kwiatkowska and Dimitar Guelev, pages 23, TR CSR-02-6 Viviana Bono, Manfred Kerber, 2002
  Available: html  BiBTeX  pdf  PostScript  © Viviana Bono, Manfred Kerber
• On Truth, Knowledge, Strings, and Paradoxes
  Proceedings of the Sixth Automated Reasoning Workshop - Bridging the Gap between Theory and Practice; editor: Manfred Kerber, AISB Manfred Kerber, 1999
  Available: pdf  PostScript 
• Proceedings of CADE-15 Workshop on Mechanization of Partial Functions
  Lindau, Germany Manfred Kerber, ed., 1998
  Available: BiBTeX  Further Info.
• On Knowledge, Strings, and Paradoxes
  Proceedings of JELIA'98, Logics in Artificial Intelligence; editor: Jürgen Dix and Luís Fariñas del Cerro and Ulrich Furbach, pages 342-354, Springer Verlag, Berlin, Germany Manfred Kerber, 1998
  Available: BiBTeX  pdf  PostScript  © Springer Verlag
• On Knowledge, Strings, and Paradoxes - A Three-Valued Approach
  International Workshop/Conference on Many Valued Logics in Computer Science Applications, Middle East Technical University Manfred Kerber, 1998
  
• Reasoning without Believing: On the Mechanization of Presuppositions and Partiality
  International Workshop/Conference on Many Valued Logics in Computer Science Applications, Middle East Technical University Manfred Kerber, Michael Kohlhase, 1998
  Available: BiBTeX 
• A Three-Valued Approach to Overcome Paradoxes in Syntactic Theory
  Proceedings of the CADE-15 Workshop on Mechanization of Partial Functions; editor: Manfred Kerber, pages 85-96 Manfred Kerber, 1998
  Available: BiBTeX  pdf  PostScript 
• Mechanising Partiality without Re-Implementation
  Proceedings of the 21st Annual German Conference on Artificial Intelligence, KI'97; editor: Gerhard Brewka and Christopher Habel and Bernhard Nebel, pages 123-134, Springer Verlag, Berlin, Germany, LNAI 1303 Manfred Kerber, Michael Kohlhase, 1997
  Available: BiBTeX  pdf  PostScript  © Springer Verlag, http://dx.doi.org/10.1007/3540634932_9
• Mechanising Partiality
  Workshop-Proceedings AISB-97, Workshop on ``Automated Reasoning: Bridging the Gap between Theory and Practice''; editor: Michael Fisher, pages 43-44 Manfred Kerber, 1997
  Available: BiBTeX  pdf  PostScript 
• Reasoning without Believing: On the Mechanization of Presuppositions and Partiality
  The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-97-23 Manfred Kerber, Michael Kohlhase, 1997
  Available: BiBTeX  pdf  PostScript 
• A Tableau Calculus for Partial Functions
  Collegium Logicum - Annals of the Kurt-Gödel-Society, 2, pages 21-49 Manfred Kerber, Michael Kohlhase, 1996
  Available: BiBTeX  pdf  PostScript 
• Proceedings of CADE-13 Workshop on Mechanization of Partial Functions
  New Brunswick, New Jersey, USA William Farmer, Manfred Kerber, Michael Kohlhase, eds., 1996
  Available: BiBTeX  Further Info.
• A Resolution Calculus for Presuppositions
  Proceedings of the 12th ECAI; editor: Wolfgang Wahlster, pages 375-379, John Wiley & Sons, Chichester, England Manfred Kerber, Michael Kohlhase, 1996
  Available: BiBTeX  pdf  PostScript 
• Partiality without the Cost
  CADE-13 Workshop on Mechanization of Partial Functions; editor: William Farmer and Manfred Kerber and Michael Kohlhase, pages 65-76 Manfred Kerber, Michael Kohlhase, 1996
  Available: BiBTeX  pdf  PostScript 
• A Resolution Calculus for Presuppositions
  The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-96-03 Manfred Kerber, Michael Kohlhase, 1996
  Available: BiBTeX  pdf  PostScript 
• A Mechanization of Strong Kleene Logic for Partial Functions
  Automated Deduction -- CADE-12; editor: Alan Bundy, pages 371-385, Springer Verlag, Berlin, Germany Manfred Kerber, Michael Kohlhase, 1994
  Available: BiBTeX  pdf  PostScript  © Springer Verlag
• A Mechanization of Strong Kleene Logic for Partial Functions
  Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany. SEKI Report, SR-93-20 Manfred Kerber, Michael Kohlhase, 1993
  Available: BiBTeX  pdf  PostScript 
• Mehrwertige Logiken in der KI
  Lecture Notes, Fachbereich Informatik, Universität des Saarlandes, D-66041 Saarbrücken, Germany Manfred Kerber, 1992/93
  Available: BiBTeX  pdf  PostScript 

---

© and maintained by Manfred Kerber, School of Computer Science,  The University of Birmingham
Last update: 17.12.2006. The URL of this page is   http://www.cs.bham.ac.uk/~mmk/publications/partiality.php.