Items where Author is "Chapman, P."

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 5.

Contribution to conference proceedings in the public domain

Chapman, P., Stapleton, G., Howse, J. and Oliver, I. (2011) Deriving sound inference rules for concept diagrams In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, 18-22 September 2011, Pittsburgh, PA, USA.

Howse, J., Stapleton, G., Taylor, K and Chapman, P. (2011) Visualizing ontologies: A case study In: International Semantic Web Conference, 2011, Bonn, Germany.

Chapman, P. and Stapleton, G. (2010) Creating a second order diagrammatic logic In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, OR, USA.

Chapman, P. and Stapleton, G. (2010) Introducing second order spider diagrams for defining regular languages In: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 21 - 25 Sep 2010, Universidad Carlos III de Madrid.

Chapman, P., McKinna, J. and Urban, C. (2008) Mechanising a proof of Craig's Interpolation Theorem for intuitionistic logic in nominal isabelle In: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics , 31 July - 1 August, 2011, Birmingham, UK.

This list was generated on Fri Jan 4 15:27:17 2013 GMT.