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:




Library Locked Library locked




Author, Editor

Author(s):

Weidenbach, Christoph

dblp



Editor(s):

Ohlbach, Hans Jürgen

dblp



BibTeX cite key*:

Weidenbach92a

Title, Booktitle

Title*:

A New Sorted Logic

Booktitle*:

GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Bonn

Language:

English

Event Date*
(no longer used):

1992

Organization:


Event Start Date:

18 September 2019

Event End Date:

18 September 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

671

Number:


Month:


Pages:

43-54

Year*:

1993

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

(LaTeX) Abstract:

We present a sound and complete calculus for an expressive sorted first-order logic. Sorts are extended to the semantic and pragmatic use of unary predicates. A sort may denote an empty set and the sort structure can be created by making use of the full first-order language. Technically spoken, we allow sort declarations to be used in the same way than ordinary atoms. Therefore we can compile every first-order logic formula into our logic.\\ The extended expressivity implies an extended sorted inference machine. We present a new unification algorithm and show that the declarations the unification algorithm is built on have to be changed dynamically during the deduction process. Deductions in the resulting resolution calculus are very efficient compared to deductions in the unsorted resolution calculus. The approach is a conservative extension of the known sorted approaches, as it simplifies to the known sorted calculi if we apply the calculus to the much more restricted input formulas of these calculi.



Download
Access Level:


Correlation

MPG Unit:




MPG Subunit:


Audience:

experts only

Appearance:

, CCL bibliography



BibTeX Entry:

@INPROCEEDINGS{Weidenbach92a,
AUTHOR = {Weidenbach, Christoph},
EDITOR = {Ohlbach, Hans J{\"u}rgen},
TITLE = {A New Sorted Logic},
BOOKTITLE = {GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence},
PUBLISHER = {Springer},
YEAR = {1993},
VOLUME = {671},
PAGES = {43--54},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Bonn},
}


Entry last modified by Christine Kiesel/MPII/DE, 07/31/2014
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)
[Library]
Created
05/12/2006 04:46:38 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Christine Kiesel/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Edit Dates
24/01/95 14:57:31
21/01/95 20:57:12
17/01/95 20:41:51
15/01/95 16:24:14
14/01/95 19:00:53