English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  The Challenge of Unifying Semantic and Syntactic Inference Restrictions

Weidenbach, C. (2019). The Challenge of Unifying Semantic and Syntactic Inference Restrictions. Electronic Proceedings in Theoretical Computer Science, 311, 5-10. doi:10.4204/EPTCS.311.1.

Item is

Files

show Files
hide Files
:
arXiv:1912.12966.pdf (Preprint), 135KB
Name:
arXiv:1912.12966.pdf
Description:
File downloaded from arXiv at 2020-01-22 14:48 In Proceedings ARCADE 2019
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
Copyright Date:
-
Copyright Info:
-

Locators

show

Creators

show
hide
 Creators:
Weidenbach, Christoph1, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: Computer Science, Logic in Computer Science, cs.LO
 Abstract: While syntactic inference restrictions don't play an important role for SAT,
they are an essential reasoning technique for more expressive logics, such as
first-order logic, or fragments thereof. In particular, they can result in
short proofs or model representations. On the other hand, semantically guided
inference systems enjoy important properties, such as the generation of solely
non-redundant clauses. I discuss to what extend the two paradigms may be
unifiable.

Details

show
hide
Language(s): eng - English
 Dates: 2019-12-302019
 Publication Status: Published online
 Pages: 6 p.
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: arXiv: 1912.12966
URI: https://arxiv.org/abs/1912.12966
BibTex Citekey: Weidenbach_arXiv1912.12966
DOI: 10.4204/EPTCS.311.1
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Electronic Proceedings in Theoretical Computer Science
  Abbreviation : EPTCS
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 311 Sequence Number: - Start / End Page: 5 - 10 Identifier: -

Source 2

show
hide
Title: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
  Abbreviation : ARCADE 2019
  Subtitle : Natal, Brazil, August 26, 2019
Source Genre: Proceedings
 Creator(s):
Suda, Martin1, Editor           
Winkler, Sarah1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -