Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Reprezentacja przedziałów w nieliniowym czasie punktowym
Języki publikacji
Abstrakty
This report contains a characterization of time intervals defined in point time framework. We start from presenting brief description of non-linear point time structures. Next basic properties of sets of points and pairs of points are suggested, and their comparison is conducted. Complete axiomatizations are presented for all the theories depending on definition of intervals and relations ordering them.
Niniejsza praca zawiera charakterystykę reprezentacji przedziałów czasu jako zbiorów i jako par punktów czasu. Na początku przedstawiony został zwięzły opis nieliniowych struktur czasu. Następnie opisane zostały podstawowe własności zbiorów punktów i par punktów wraz z ich porównaniem. Dla wszystkich teorii przedstawione są pełne aksjomatyzacje, uzależnione od definicji przedziałów i porządkujących je relacji.
Wydawca
Rocznik
Tom
Strony
3--144
Opis fizyczny
Twórcy
autor
- Institute of Computer Science Polish Academy of Science Ordona 21 01-237 Warszawa, Poland, hajnicz@ipipan.waw.pl
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ1-0006-0002