Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
We present a decision support application which can be used for alternative route generation in case of tramway traffic disruptions. Our solution is based on a mixed graph network model, where vertices represent major points and edges are used to model track sections. The proposed application uses model data stored in a set of source files and enables the user to execute one of four algorithms which...
In this paper a preferential extension of the Halpern-Shoham logic (HS) is proposed. The proposed extension (PHS) may be exploited for a representation of both temporal relations and preferences, which adds some “rationality” for temporal reasoning. The next, a new interval-based fibred semantics will be proposed for some subsystem of PHS with temporal modalities restricted to 〈L〉-operator, denoted...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.