Found an issue? Give us feedback

https://doi.org/10.1...arrow_drop_down

https://doi.org/10.1007/3-540-...

Part of book or chapter of book . 1995 . Peer-reviewed

Data sources: Crossref

https://dblp.uni-trier.de/db/c...

Article

Data sources: Microsoft Academic Graph

Select content type to embed

All Research products

arrow_drop_down

<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

Computing the acceptability semantics

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article 01 Jan 1995Publisher:Springer Berlin Heidelberg

Authors: Antonis C. Kakas; Francesca Toni;

doi: 10.1007/3-540-59487-6_29

Computing the acceptability semantics

- Summary
- Metrics

Abstract

We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined as generalisations of corresponding proof theories and procedures for the stable theory and preferred extension semantics. In turn, these can be seen as generalisations of the Eshghi-Kowalski abductive procedure for logic programming.

Related Organizations

Imperial College London
United Kingdom
University of Cyprus
Cyprus

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).	16
	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).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%

Found an issue? Give us feedback

Average

Top 10%

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!