de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Impressum Kontakt Einloggen
  DetailsucheBrowse

Datensatz

 
 
 
 
DownloadE-Mail
  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

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-1B79-3 Versions-Permalink: http://hdl.handle.net/11858/00-001M-0000-0024-BBC1-4
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Sofronie-Stokkermans, Viorica1, Autor              
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, escidoc: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 - Englisch
 Datum: 2009-03-192008
 Publikationsstatus: Im Druck publiziert
 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: -