Problem Libraries for Non-Classical Logics

descriptionPublicationkeyboard_double_arrow_right Article , Conference object , Other literature type 23 Jan 2018Publisher:EasyChairJournal:EPiC Series in Computing, volume 33, pages 31-24 (issn: 2398-7340,

Copyright policy )

Authors: Jens Otten; Thomas Raths;

doi: 10.29007/mkdw

Problem Libraries for Non-Classical Logics

- Summary
- Metrics

Abstract

Problem libraries for automated theorem proving (ATP) systems play a crucial role when developing, testing, benchmarking and evaluating ATP systems for classical and non-classical logics. We provide an overview of existing problem libraries for some important non-classical logics, namely first-order intuitionistic and first-order modal logics. We suggest future plans to extend these existing libraries and discuss ideas for a general problem library platform for non-classical logics.

Related Organizations

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average