Autor: "Schaub, Torsten" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Schaub, Torsten"" wg kryterium: Autor

Wyświetlanie 1-20 z 376

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design
Autorzy:: Müller, LuiseAff1, IDs10766024007632_cor1
Wanko, Philipp
Haubelt, Christian
Schaub, Torsten; Pokaż więcej
Źródło:: International Journal of Parallel Programming. 52(1-2):59-92

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A general framework for preferences in answer set programming
Autorzy:: Brewka, Gerhard
Delgrande, James
Romero, Javier
Schaub, Torsten; Pokaż więcej
Źródło:: In Artificial Intelligence December 2023 325

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Gelfond–Zhang aggregates as propositional formulas
Autorzy:: Cabalar, Pedro
Fandinno, Jorge
Schaub, Torsten
Schellhorn, Sebastian; Pokaż więcej
Źródło:: In Artificial Intelligence September 2019 274:26-43

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints.
Autorzy:: Rajaratnam, David (AUTHOR)
Schaub, Torsten (AUTHOR)
Wanko, Philipp (AUTHOR)
Chen, Kai (AUTHOR)
Liu, Sirui (AUTHOR)
Son, Tran Cao (AUTHOR); Pokaż więcej
Źródło:: Algorithms. Apr2023, Vol. 16 Issue 4, p216. 62p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 7.

Tytuł:: High-level synthesis of on-chip multiprocessor architectures based on answer set programming
Autorzy:: Bobda, Christophe
Yonga, Franck
Gebser, Martin
Ishebabi, Harold
Schaub, Torsten; Pokaż więcej
Źródło:: In Journal of Parallel and Distributed Computing July 2018 117:161-179

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Temporal Logic Programs with Temporal Description Logic Axioms
Autorzy:: Cabalar, Pedro
Schaub, Torsten; Pokaż więcej
Źródło:: Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. 11560:174-186

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Towards Dynamic Answer Set Programming over Finite Traces
Autorzy:: Cabalar, Pedro
Diéguez, Martín
Schaub, TorstenAff19, Aff20, Aff21; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. 11481:148-162

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: The Return of xorro
Autorzy:: Everardo, Flavio
Janhunen, TomiAff17, Aff18
Kaminski, Roland
Schaub, TorstenAff19, Aff20, Aff21; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. 11481:284-297

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: telingo = ASP + Time
Autorzy:: Cabalar, Pedro
Kaminski, Roland
Morkisch, Philip
Schaub, TorstenAff18, Aff19, Aff20; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. 11481:256-269

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Verifying Strong Equivalence of Programs in the Input Language of gringo
Autorzy:: Lifschitz, Vladimir
Lühne, Patrick
Schaub, TorstenAff18, Aff19, Aff20; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. 11481:270-283

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Train Scheduling with Hybrid ASP
Autorzy:: Abels, Dirk
Jordi, Julian
Ostrowski, Max
Schaub, TorstenAff17, Aff19, Aff20, Aff21
Toletti, Ambra
Wanko, PhilippAff17, Aff19; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. 11481:3-17

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Lower Bound Founded Logic of Here-and-There
Autorzy:: Cabalar, Pedro
Fandinno, Jorge
Schaub, Torsten
Schellhorn, Sebastian; Pokaż więcej
Źródło:: Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. 11468:509-525

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Automatic construction of parallel portfolios via algorithm configuration
Autorzy:: Lindauer, Marius
Hoos, Holger
Leyton-Brown, Kevin
Schaub, Torsten; Pokaż więcej
Źródło:: In Artificial Intelligence March 2017 244:272-290

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
Autorzy:: Guyet, Thomas
Moinard, Yves
Quiniou, René
Schaub, Torsten; Pokaż więcej
Źródło:: Advances in Knowledge Discovery and Management : Volume 7. 732:41-81

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data
Autorzy:: Razzaq, Misbah
Kaminski, Roland
Romero, Javier
Schaub, Torsten
Bourdon, Jeremie
Guziolowski, Carito; Pokaż więcej
Źródło:: Computational Methods in Systems Biology : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings. 11095:59-74

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming
Autorzy:: Banbara, Mutsunori
Inoue, Katsumi
Kaneyuki, Hiromasa
Okimoto, Tenda
Schaub, Torsten
Soh, Takehide
Tamura, Naoyuki; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. 10377:265-278

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: plasp 3: Towards Effective ASP Planning
Autorzy:: Dimopoulos, Yannis
Gebser, Martin
Lühne, Patrick
Romero, Javier
Schaub, Torsten; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. 10377:286-300

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Hybrid Metabolic Network Completion
Autorzy:: Frioux, ClémenceAff15, Aff16
Schaub, TorstenAff15, Aff17
Schellhorn, Sebastian
Siegel, Anne
Wanko, Philipp; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. 10377:308-321

Książka elektroniczna

na półce

Szczegóły

Wyświetlanie 1-20 z 376

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""Schaub, Torsten"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji