Fundamenta Informaticae - Tom Vol. 149, nr 1/2 (2016) - 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. 149, nr 1/2

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2016

Identyfikatory

Uwagi

Special issue of the 22nd RCRA InternationalWorkshop on
“Experimental Evaluation of Algorithms for Solving Problems with
Combinatorial Explosion”

Zawartość wolumenu

Vol. 149, nr 1/2
- artykuł: Evaluating Answer Set Programming with Non-Convex Recursive Aggregates (Alviano M.), s. 1--34
- artykuł: An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner (Barták R., Vodrážka J.), s. 35--60
- artykuł: Now or Never : Negotiating Efficiently with Unknown or Untrusted Counterparts (Mancini T.), s. 61--100
- artykuł: SyLVaaS : System Level Formal Verification as a Service (Mancini T., Mari F., Massini A., Melatti I., Tronci E.), s. 101--132
- artykuł: Twelve Years of QBF Evaluations : QSAT Is PSPACE-Hard and It Shows (Marin P., Pulina L., Giunchiglia E., Narizzano M., Tacchella A.), s. 133--158
- artykuł: Modeling Variations of First-Order Horn Abduction in Answer Set Programming (Schüller P.), s. 159--207
- artykuł: Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning (Vallati M., Serina I., Saetti A., Gerevini A. E.), s. 209--240

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ć.