Name Card

Full name Familienname, Vorname
Erdem, Esra
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Saribatur, Zeynep G. ; Patoglu, Volkan ; Erdem, Esra Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factoriesArtikel Article 2019
2Saribatur, Zeynep Gözen ; Patoglu, Volkan ; Erdem, Esra Finding Optimal Feasible Global Plans for Multiple Teams of Heterogeneous Robots using Hybrid Reasoning: An Application to Cognitive FactoriesPräsentation Presentation2018
3Erdem Esra - 2015 - Diagnostic Reasoning for Robotics Using Action Languages.pdf.jpgErdem, Esra ; Patoglu, Volkan ; Saribatur, Zeynep GözenDiagnostic Reasoning for Robotics Using Action LanguagesInproceedings Konferenzbeitrag 2015
4Brain, Martin ; Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal Event-Sequence Testing using Answer-Set ProgrammingArtikel Article2012
5Eiter, Thomas ; Erdem, Esra ; Erdogan, Halit ; Fink, Michael Finding Similar/Diverse Solutions in Answer Set ProgrammingPreprint Preprint2011
6Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal Answer-Set Programming as a new Approach to Event-Sequence TestingKonferenzbeitrag Inproceedings 2011
7Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Ján Updating action domain descriptionsArtikel Article2010
8Eiter, Thomas ; Erdem, Esra ; Erdoğan, Halit ; Fink, Michael Finding Similar or Diverse Solutions in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2009
9Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Updating Action Domain DescriptionsBericht Report2008

Contributing Publications Mitbeteiligte Publikationen

Results 1-16 of 16 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ FrameworkKonferenzbeitrag Inproceedings 2020
2Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Schockaert, Steven Plausible Reasoning about EL-Ontologies using Concept InterpolationKonferenzbeitrag Inproceedings2020
3Saribatur, Zeynep G. ; Eiter, Thomas A Semantic Perspective on Omission Abstraction in ASPKonferenzbeitrag Inproceedings 2020
4Gogacz, Tomasz ; Lukumbuzya, Sanja ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena Datalog Rewritability and Data Complexity of ALCHOIF with Closed PredicatesKonferenzbeitrag Inproceedings 2020
5Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena An ExpTime Upper Bound for ALC with IntegersKonferenzbeitrag Inproceedings 2020
6Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Gutowski, Albert ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip On Finite Entailment of Non-Local Queries in Description LogicsKonferenzbeitrag Inproceedings 2020
7Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2019
8Lierler, Yuliya ; Schüller, Peter Parsing Combinatory Categorial Grammar via Planning in Answer Set ProgrammingKonferenzbeitrag Inproceedings2012
9Baumann, Ringo ; Brewka, Gerd ; Dvorak, Wolfgang ; Woltran, Stefan Parameterized Splitting: A Simple Modification-Based ApproachBuchbeitrag Book Contribution2012
10Eiter, Thomas ; Feier, Cristina ; Fink, Michael Simulating Production Rules Using ACTHEXBuchbeitrag Book Contribution 2012
11Puehrer, Joerg ; Tompits, Hans Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with ProjectionKonferenzbeitrag Inproceedings 2009
12Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment SolutionsKonferenzbeitrag Inproceedings 2009
13Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Belief Revision with Bounded TreewidthKonferenzbeitrag Inproceedings 2009
14Brewka, Gerhard ; Eiter, Thomas Argumentation Context Systems: A Framework for Abstract Group ArgumentationKonferenzbeitrag Inproceedings 2009
15Brewka, Gerhard ; Eiter, Thomas From Data Integration towards Knowledge MediationKonferenzbeitrag Inproceedings 2009
16Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-reasoningKonferenzbeitrag Inproceedings 2009