IEEE - Institute of Electrical and Electronics Engineers, Inc. - Decomposition of Decidable First-Order Logics over Integers and Reals

2008 15th International Symposium on Temporal Representation and Reasoning (TIME '08)

Author(s): F. Bouchy ; A. Finkel ; J. Leroux
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2008
Conference Location: Montreal, QC, Canada
Conference Date: 16 June 2008
Page(s): 147 - 155
ISBN (Paper): 978-0-7695-3181-6
ISSN (Electronic): 2332-6468
ISSN (Paper): 1530-1311
DOI: 10.1109/TIME.2008.22
Regular:

We tackle the issue of representing infinite sets of real- valued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose three well-known... View More

Advertisement