<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

A Resolution Prover for Coalition Logic

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Conference object , Other literature type , Contribution for newspaper or weekly magazine 01 Apr 2014Embargo end date: 01 Jan 2014 United Kingdom English Publisher:Open Publishing AssociationJournal:Electronic Proceedings in Theoretical Computer Science, volume 146, pages 65-73 (eissn: 2075-2180,

Authors: Nalon, C.; Zhang, L.; Dixon, C.; Hustadt, U.;

doi: 10.4204/eptcs.146.9 , 10.48550/arxiv.1404.0841

arXiv: http://arxiv.org/abs/1404.0841

A Resolution Prover for Coalition Logic

- Summary
- Subjects
- Metrics

Abstract

We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and present the results for a comparison with an existing tableau-based solver.

In Proceedings SR 2014, arXiv:1404.0414

Country

United Kingdom

Related Organizations

University of Brasília
Brazil
University of Liverpool
United Kingdom
Capital University of Economics and Business
China (People's Republic of)
Capital University
United States
University of Salford
United Kingdom

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, Computer Science - Artificial Intelligence, QA75.5-76.95, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), I.2.3;F.4.1, Electronic computers. Computer science, QA1-939, F.4.1, Mathematics

Impact byBIP!

	citations 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).	2
	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