Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL

Reference : Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/40836

Title :	Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Language :	English
Author, co-author :	Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
	Wisniewski, Max [Freie Universität Berlin]
	Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Publication date :	29-Sep-2016
Main document title :	GCAI 2016, 2nd Global Conference on Artificial Intelligence
Editor :	Benzmüller, Christoph
	Sutcliffe, Geoff
	Rojas, Raul
Publisher :	EasyChair
Collection and collection volume :	EPiC Series in Computing, Volume 41
Pages :	1-10
Peer reviewed :	Yes
Audience :	International
City :	Berlin,
Country :	Germany
Event name :	GCAI 2016. 2nd Global Conference on Artificial Intelligence
Event date :	29-09-2016 to 02-10-2016
Event place (city) :	Berlin
Event country :	Germany
Keywords :	[en] Semantic Embedding ; Automated Reasoning ; Interactive Proof Assistant ; Higher Order Logic ; Multimodal Logic
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/40836
DOI :	10.29007/4dsr
Other URL :	https://easychair.org/publications/paper/dw51

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Tutorial_on_Reasoning_in_Expressive_Non-Classical_Logics_with_Isabelle-HOL (1).pdf		Publisher postprint	489.23 kB	View/Open

All documents in ORBi^lu are protected by a user license.