Autor der Publikation

moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming.

, und . LPNMR, Volume 10377 von Lecture Notes in Computer Science, Seite 336-342. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming., und . LPNMR, Volume 10377 von Lecture Notes in Computer Science, Seite 336-342. Springer, (2017)Solving Assembly Line Workload Smoothing Problem via Answer Set Programming., und . ICLP Workshops, Volume 2678 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)Using model generation theorem provers for the computation of answer sets ; Yanıt kümelerinin hesaplanmasında model oluşturabilen teorem ispatlayıcılarının kullanılması.. Middle East Technical University, Çankaya, Ankara, Turkey, (2009)base-search.net (ftmetuankair:oai:open.metu.edu.tr:11511/18753).Using Criticalities as a Heuristics for Answer Set Programming., , und . Answer Set Programming, Volume 78 von CEUR Workshop Proceedings, CEUR-WS.org, (2003)Clingraph: A System for ASP-based Visualization., , , und . CoRR, (2023)An ontology-based retrieval system using semantic indexing., , , , , und . Inf. Syst., 37 (4): 294-305 (2012)Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding., , , , , , und . PADL, Volume 13165 von Lecture Notes in Computer Science, Seite 24-41. Springer, (2022)Using Criticalities as a Heuristic for Answer Set Programming., , und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 234-246. Springer, (2004)Clingraph: ASP-Based Visualization., , , und . LPNMR, Volume 13416 von Lecture Notes in Computer Science, Seite 401-414. Springer, (2022)Event Extraction from Turkish Football Web-casting Texts Using Hand-crafted Templates., , , , , und . ICSC, Seite 466-472. IEEE Computer Society, (2009)