City Research Online - Using inductive types for ensuring correctness of neuro-symbolic computations

Using inductive types for ensuring correctness of neuro-symbolic computations

Komendantskaya, E., Broda, K. & Garcez, A. (2010). Using inductive types for ensuring correctness of neuro-symbolic computations. Paper presented at the 6th Conference on Computability in Europe, CiE 2010, 30 June - 4 July 2010, Ponta Delgada, Portugal.

Publication Type:	Conference or Workshop Item (Paper)
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments:	School of Science & Technology > Computer Science

[thumbnail of Using_Inductive_Types_for_Ensuring_Correctness.pdf]

Preview

PDF
Download (238kB) | Preview

Official URL: http://www.springerlink.com/content/105633/

Export

Downloads

Downloads per month over past year

View more statistics

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Komendantskaya, E. Broda, K. Garcez, A.
Event Title:	6th Conference on Computability in Europe, CiE 2010
Event Type:	Conference
Event Location:	Ponta Delgada, Portugal
Event Dates:	30 June - 4 July 2010
Status:	Published
Refereed:	Yes
URI:	https://openaccess.city.ac.uk/id/eprint/302
Date available in CRO:	21 Sep 2011 09:26
Dates:	Date Event 2010 UNSPECIFIED