<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

On First-Order Model-Based Reasoning

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article , Preprint , Other literature type 01 Jan 2015Embargo end date: 01 Jan 2015 Italy English Publisher:Springer International Publishing

Authors: BONACINA, Maria Paola; Furbach, Ulrich; Sofronie Stokkermans, Viorica;

doi: 10.1007/978-3-319-23165-5_8 , 10.48550/arxiv.1502.02535

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

handle: 11562/917584

On First-Order Model-Based Reasoning

- Summary
- Subjects
- Related research
  (6)
- Metrics

Abstract

Reasoning semantically in first-order logic is notoriously a challenge. This paper surveys a selection of semantically-guided or model-based methods that aim at meeting aspects of this challenge. For first-order logic we touch upon resolution-based methods, tableaux-based methods, DPLL-inspired methods, and we give a preview of a new method called SGGS, for Semantically-Guided Goal-Sensitive reasoning. For first-order theories we highlight hierarchical and locality-based methods, concluding with the recent Model-Constructing satisfiability calculus.

In Narciso Marti-Oliet, Peter Olveczky, and Carolyn Talcott (Eds.), "Logic, Rewriting, and Concurrency: Essays in Honor of Jose Meseguer" Springer, Lecture Notes in Computer Science 9200, September 2015, 24 pages. Version v4 in arxiv fixes a typo on page 15 that remains in the version published in the Springer book

Country

Italy

Related Organizations

University of Verona
Italy
University of Koblenz and Landau
Germany

Keywords

FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Automated theorem proving; Semantic guidance; First-order logic; theory reasoning

6 Research products, page of 1

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).	10
	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.	Top 10%
	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