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):

Sofronie-Stokkermans, Viorica

dblp



Editor(s):

McAllester, David

dblp



BibTeX cite key*:

Sofronie-Stokkermans-cade2000

Title, Booktitle

Title*:

On unification for bounded distributive lattices


sofronie-cade2000.ps (259.86 KB)

Booktitle*:

Proceedings of the 17th International Conference on Automated Deduction (CADE-17)

Event, URLs

URL of the conference:

http://www.cs.cmu.edu/~cade/

URL for downloading the paper:


Event Address*:

Pittsburgh, Pennsylvania, USA

Language:

English

Event Date*
(no longer used):

June 17-20

Organization:


Event Start Date:

16 October 2019

Event End Date:

16 October 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

1831

Number:


Month:


Pages:

465-481

Year*:

2000

VG Wort Pages:


ISBN/ISSN:

3-540-67664-3

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We give a resolution-based procedure for deciding unifiability
in the variety of bounded distributive lattices. The main idea
is to use a structure-preserving translation to clause form to
reduce the problem of testing the satisfiability of a unification
problem ${\cal S}$ to the problem of checking the satisfiability
of a set $\Phi_{\cal S}$ of (constrained) clauses. These ideas
can be used for unification with free constants and for
unification with linear constant restrictions. Complexity issues
are also addressed.

Keywords:

Unification, Resolution, Constraint clauses, Distributive Lattices

Copyright Message:

Copyright Springer Verlag


Download
Access Level:

Public

Correlation

MPG Unit:




MPG Subunit:


Audience:

experts only

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{Sofronie-Stokkermans-cade2000,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {McAllester, David},
TITLE = {On unification for bounded distributive lattices},
BOOKTITLE = {Proceedings of the 17th International Conference on Automated Deduction (CADE-17)},
PUBLISHER = {Springer},
YEAR = {2000},
VOLUME = {1831},
PAGES = {465--481},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Pittsburgh, Pennsylvania, USA},
ISBN = {3-540-67664-3},
}


Entry last modified by Viorica Sofronie-Stokkermans, 03/20/2007
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)
Viorica Sofronie-Stokkermans
Created
03/20/2007 10:12:37 AM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Viorica Sofronie-Stokkermans
Uwe Brahm
Christine Kiesel
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
05/23/2003 04:30:44 PM
04/04/2001 04:17:23 PM
13.03.2001 13:21:55
23/06/2000 17:34:11
08/05/2000 18:06:42
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
sofronie-cade2000.ps