Neural-Symbolic Intuitionistic Reasoning

D Gabbay, A S d'Avila Garcez, L C Lamb

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationUnknown
PublisherIOS Press
Publication statusPublished - 2003
Event3rd International Conference on Hybrid Intelligent Systems (HIS 2003) - Melbourne, Australia
Duration: 1 Jan 2003 → …

Publication series

NameFrontiers in Artificial Intelligence and Applications

Conference

Conference3rd International Conference on Hybrid Intelligent Systems (HIS 2003)
Country/TerritoryAustralia
CityMelbourne
Period1/01/2003 → …

Cite this