Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Efficient hierarchical reasoning about functions over numerical domains

Sofronie-Stokkermans, V. (2008). Efficient hierarchical reasoning about functions over numerical domains. In A. R. Dengel, K. Berns, T. M. Breuel, F. Bomarius, & T. R. Roth-Berghofer (Eds.), KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008 (pp. 135-143). Berlin: Springer.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Sofronie-Stokkermans, Viorica1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We show that many properties studied in mathematical analysis (e.g.\ monotonicity, boundedness, inverse or Lipschitz properties, possibly combined with continuity and/or derivability) are expressible as axioms in a class for which sound and complete hierarchical proof methods for testing satisfiability of ground formulae exist. The results are useful for automated reasoning in analysis, and in the verification of hybrid systems.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2009-03-192008
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 428228
DOI: 10.1007/978-3-540-85845-4_17
URI: http://dx.doi.org/10.1007/978-3-540-85845-4_17
Anderer: Local-ID: C125756E0038A185-81A568586689C255C125745D004491D9-Sofronie-Stokkermans-ki2008
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Kaiserslautern, Germany
Start-/Enddatum: 2008-09-23 - 2008-09-26

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: KI 2008: Advances in Artificial Intelligence : 31st Annual German Conference on AI, KI 2008
Genre der Quelle: Konferenzband
 Urheber:
Dengel, Andreas R., Herausgeber
Berns, Karsten, Herausgeber
Breuel, Thomas M., Herausgeber
Bomarius, Frank, Herausgeber
Roth-Berghofer, Thomas R., Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 135 - 143 Identifikator: ISBN: 978-3-540-85844-7

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -