Technical, Research Report
@TechReport
Technischer-, Forschungsbericht


Show entries of:

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

Action:

login to update

Options:









Author, Editor

Author(s):

Ohlbach, Hans Jürgen
Koehler, Jana

dblp
dblp



Editor(s):





BibTeX Citekey*:

OhlbachKoehler96

Language:

English

Title, Institution

Title*:

Reasoning about Sets via Atomic Decomposition

Institution*:

International Computer Science Institute

Publishers or Institutions Address*:

Berkeley, CA

Type:

Technical Report

No, Year, pp.,

Number*:

TR-96-31

Pages*:

39

Month:


VG Wort
Pages*:


Year*:

1996

ISBN/ISSN:






DOI:




Note, Abstract, ©

Note:

Submitted to the \emph{AI Journal}

(LaTeX) Abstract:

We introduce a new technique that translates cardinality information about finite sets into simple arithmetic terms
thereby enabling a system to reason about such set cardinalities by solving arithmetic equation problems. The
atomic decomposition technique separates a collection of sets into smallest mutually disjoint components
(``atoms'') such that the cardinality of the sets are just the sum of the cardinalities of their atoms. With this idea, it is
possible to have languages combining arithmetic formulas with set terms and to translate the formulas of this
combined logic into pure arithmetical formulas. As a particular application, we show how this technique yields new
inference procedures for concept languages with so-called number restriction operators.

Categories / Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


File Upload:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

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


BibTeX Entry:
@TECHREPORT{OhlbachKoehler96,
AUTHOR = {Ohlbach, Hans J{\"u}rgen and Koehler, Jana},
TITLE = {Reasoning about Sets via Atomic Decomposition},
YEAR = {1996},
TYPE = {Technical Report},
INSTITUTION = {International Computer Science Institute},
NUMBER = {TR-96-31},
PAGES = {39},
ADDRESS = {Berkeley, CA},
NOTE = {Submitted to the \emph{AI Journal}},
}


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
04/14/1997 04:01:56 PM
Revision
0.



Editor
Renate A. Schmidt



Edit Date
14/04/97 16:01:57