Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Schmidt, Renate A.
Hustadt, Ullrich

dblp
dblp

Not MPG Author(s):

Hustadt, Ullrich

Editor(s):

Baader, Franz

dblp

Not MPII Editor(s):

Baader, Franz

BibTeX cite key*:

SchmidtHustadt03b

Title, Booktitle

Title*:

A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae

Booktitle*:

Automated deduction, CADE-19 : 19th International Conference on Automated Deduction

Event, URLs

URL of the conference:

http://www.cade-19.info/

URL for downloading the paper:


Event Address*:

Miami, USA

Language:

English

Event Date*
(no longer used):

July

Organization:


Event Start Date:

28 July 2003

Event End Date:

2 August 2003

Publisher

Name*:

Springer

URL:

http://www.springer.com/

Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

2741

Number:


Month:


Pages:

412-426

Year*:

2003

VG Wort Pages:


ISBN/ISSN:

3-540-40559-3

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

In this paper we present a translation principle, called the
\emph{axiomatic translation}, for reducing propositional modal logics
with background theories, including
triangular properties such as transitivity, Euclideanness and
functionality, to decidable logics.
The goal of the axiomatic translation principle is to
find simplified theories, which
capture the inference problems in the original theory, but in a way
that is more amenable to automation and easier to deal with by existing
theorem provers.
The principle of the axiomatic translation is conceptually very simple
and can be largely automated.
Soundness is automatic under reasonable assumptions, and termination of
ordered resolution is easily achieved, but
the non-trivial part of the approach is proving completeness.

URL for the Abstract:

http://www.cs.man.ac.uk/~schmidt/publications/SchmidtHustadt03b.html

Keywords:

Theorem Proving, Modal Logic, Translation Approaches



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

popular

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:

@INPROCEEDINGS{SchmidtHustadt03b,
AUTHOR = {Schmidt, Renate A. and Hustadt, Ullrich},
EDITOR = {Baader, Franz},
TITLE = {A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae},
BOOKTITLE = {Automated deduction, CADE-19 : 19th International Conference on Automated Deduction},
PUBLISHER = {Springer},
YEAR = {2003},
VOLUME = {2741},
PAGES = {412--426},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Miami, USA},
ISBN = {3-540-40559-3},
}


Entry last modified by Renate A. Schmidt, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Renate A. Schmidt
Created
05/02/2003 06:53:20 PM
Revisions
11.
10.
9.
8.
7.
Editor(s)
Renate A. Schmidt
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Edit Dates
06/17/2004 07:06:49 PM
17.06.2004 17:44:03
17.06.2004 17:27:17
17.06.2004 17:04:27
17.06.2004 15:02:26
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section