Abstraction for non-ground answer set programs von Saribatur, Zeynep G., Eiter, Thomas, Schüller, Peter

Volltext

Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories von Saribatur, Zeynep G., Patoglu, Volkan, Erdem, Esra

Volltext

Omission-Based Abstraction for Answer Set Programs von SARIBATUR, ZEYNEP G., EITER, THOMAS

Volltext

Omission-based Abstraction for Answer Set Programs – ERRATUM von SARIBATUR, ZEYNEP G., EITER, THOMAS

Volltext

Reactive Maintenance Policies over Equalized States in Dynamic Environments von Saribatur, Zeynep G., Baral, Chitta, Eiter, Thomas

Volltext

Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach von ERDEM, ESRA, PATOGLU, VOLKAN, SARIBATUR, ZEYNEP G., SCHÜLLER, PETER, URAS, TANSEL

Volltext

A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming von Saribatur, Zeynep G, Woltran, Stefan

Volltext bestellen

Abstraction for Non-ground Answer Set Programs von Saribatur, Zeynep G., Schüller, Peter, Eiter, Thomas

Volltext

Reactive Policies with Planning for Action Languages von Saribatur, Zeynep G., Eiter, Thomas

Volltext

Omission-based Abstraction for Answer Set Programs von Saribatur, Zeynep G, Eiter, Thomas

Volltext

A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming von Saribatur, Zeynep G, Woltran, Stefan

Volltext

Towards Abstraction in ASP with an Application on Reasoning about Agent Policies von Saribatur, Zeynep G, Eiter, Thomas

Volltext bestellen

Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems von Eiter, Thomas, Saribatur, Zeynep G, Schüller, Peter

Volltext bestellen

A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation von Apostolakis, Iosif, Saribatur, Zeynep G., Wallner, Johannes P.

Volltext

Reactive Policies with Planning for Action Languages von Saribatur, Zeynep G, Eiter, Thomas

Volltext bestellen

Aligning Generalisation Between Humans and Machines von Ilievski, Filip, Hammer, Barbara, van Harmelen, Frank, Paassen, Benjamin, Saralajew, Sascha, Schmid, Ute, Biehl, Michael, Bolognesi, Marianna, Dong, Xin Luna, Gashteovski, Kiril, Hitzler, Pascal, Marra, Giuseppe, Minervini, Pasquale, Mundt, Martin, Ngomo, Axel-Cyrille Ngonga, Oltramari, Alessandro, Pasi, Gabriella, Saribatur, Zeynep G, Serafini, Luciano, Shawe-Taylor, John, Shwartz, Vered, Skitalinskaya, Gabriella, Stachl, Clemens, van de Ven, Gido M, Villmann, Thomas

Volltext bestellen

Towards Abstraction in ASP with an Application on Reasoning about Agent Policies von Saribatur, Zeynep G, Eiter, Thomas

Volltext

Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems von Eiter, Thomas, Saribatur, Zeynep G, Schüller, Peter

Volltext

Reactive Policies with Planning for Action Languages von Saribatur, Zeynep G, Eiter, Thomas

Volltext

Aligning Generalisation Between Humans and Machines von Ilievski, Filip, Hammer, Barbara, Frank van Harmelen, Paassen, Benjamin, Saralajew, Sascha, Schmid, Ute, Biehl, Michael, Bolognesi, Marianna, Xin Luna Dong, Gashteovski, Kiril, Hitzler, Pascal, Marra, Giuseppe, Minervini, Pasquale, Mundt, Martin, Axel-Cyrille Ngonga Ngomo, Oltramari, Alessandro, Pasi, Gabriella, Saribatur, Zeynep G, Serafini, Luciano, Shawe-Taylor, John, Shwartz, Vered, Skitalinskaya, Gabriella, Stachl, Clemens, Gido M van de Ven, Villmann, Thomas

Volltext