English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Obtaining Finite Local Theory Axiomatizations via Saturation

Horbach, M., & Sofronie-Stokkermans, V. (2013). Obtaining Finite Local Theory Axiomatizations via Saturation. In P. Fontaine, C. Ringeissen, & R. A. Schmidt (Eds.), Frontiers of Combining Systems (pp. 198-213). Berlin: Springer. doi:10.1007/978-3-642-40885-4_14.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0015-797C-8 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C1EA-6
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Horbach, Matthias1, Author           
Sofronie-Stokkermans, Viorica1, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: -
 Abstract: In this paper we present a method for obtaining local sets of clauses from possibly non-local ones. For this, we follow the work of Basin and Ganzinger and use saturation under a version of ordered resolution. In order to address the fact that saturation can generate infinite sets of clauses, we use constrained clauses and show that a link can be established between saturation and locality also for constrained clauses: This often allows us to give a finite representation of possibly infinite saturated sets of clauses.

Details

show
hide
Language(s): eng - English
 Dates: 20132013
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Sofronie-Stokkermans-frocos2013
Other: Local-ID: D9058E034BD60D8DC1257C69004AE012-Sofronie-Stokkermans-frocos2013
DOI: 10.1007/978-3-642-40885-4_14
 Degree: -

Event

show
hide
Title: 9th International Symposium on Frontiers of Combining Systems
Place of Event: Nancy, France
Start-/End Date: 2013-09-18 - 2013-09-20

Legal Case

show

Project information

show

Source 1

show
hide
Title: Frontiers of Combining Systems
  Abbreviation : FroCoS 2013
  Subtitle : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Source Genre: Proceedings
 Creator(s):
Fontaine, Pascal1, Editor
Ringeissen, Christophe1, Editor
Schmidt, Renate A.1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Berlin : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 198 - 213 Identifier: ISBN: 978-3-642-40884-7

Source 2

show
hide
Title: Lecture Notes in Artificial Intelligence
  Abbreviation : LNAI
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 8152 Sequence Number: - Start / End Page: - Identifier: ISSN: 0302-9743