Fundamenta Informaticae - Tom Vol. 149, nr 1/2 (2016) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 149, nr 1/2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

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