Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-24871
Titel: | Equational and membership constraints for infinite trees |
VerfasserIn: | Niehren, Joachim Podelski, Andreas Treinen, Ralf |
Sprache: | Englisch |
Erscheinungsjahr: | 1993 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1993 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz Constraint <Künstliche Intelligenz> Programmierlogik |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | We present a new constraint system with equational and membership constraints over infinite trees. It provides for complete and correct satisfiability and entailment tests and ir therefore suitable for the use in concurrent constraint programming systems which are based on cyclic data structures. Our set defining devices are greatest fixpoint solutions of regular systems of equations with a deterministic form of union. As the main technical particularity of the algorithms we present a novel memorization technique. We believe that both satisfiability and entailment tests can be implemented in an efficient and incremental manner. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-36245 hdl:20.500.11880/24927 http://dx.doi.org/10.22028/D291-24871 |
Schriftenreihe: | Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x] |
Band: | 93-14 |
Datum des Eintrags: | 22-Jun-2011 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
RR_93_14.pdf | 14,43 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.