Fundamenta Informaticae - Tom Vol. 105, nr 1/2 (2011) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 105, nr 1/2

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2011

Identyfikatory

Zawartość wolumenu

Vol. 105, nr 1/2
- artykuł: Extending and Implementing RASP (Costantini S., Formisano A., Petturiti D.), s. 1-33
- artykuł: A Logic-Based System for e-Tourism (Ricca F., Dimasi A., Grasso G., Ielpa S. M., Iiritano S., Manna M., Leone N.), s. 35-55
- artykuł: Solving Distributed CSPs Probabilistically (Bistarelli S., Gosti G.), s. 57-78
- artykuł: An Investigation of Multi-Agent Planning in CLP (Dovier A., Formisano A., Pontelli E.), s. 79-103
- artykuł: Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) (Campagna D., De Rosa C., Dovier A., Montanari A., Piazza C.), s. 105-133
- artykuł: A Logic-Based, Reactive Calculus of Events (Chesani F., Mello P., Montali M., Torroni P.), s. 135-161
- artykuł: Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator (Nicolini E., Ringeissen C., Rusinowitch M.), s. 163-187
- artykuł: Graded Alternating-Time Temporal Logic (Faella M., Napoli M., Parente M.), s. 189-210

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.