Peter Schüller

A picture of me

Research Interests

Knowledge Representation and Reasoning
in particular Answer Set Programming and related formalisms
Natural Language Processing
in particular combinations of syntactic, semantic, and pragmatic reasoning
in particular combinations of rule-based and statistical approaches

Contact

Assistant Professor (Yardımcı Doçent) at Marmara University in the Department of Computer Engineering in the Faculty of Engineering.

Research Group:
Postal Address:
Marmara Universitesi Muhendislik Fakultesi
Bilgisayar Muhendisligi Bolumu
Goztepe Kampusu
34722 Kadikoy, Istanbul
Office Hours:
Room: MB448 Times: see my public calendar:
Please send an email before coming to office hours!
email:
schueller.p@gmail.com
email:
peter.schuller@marmara.edu.tr
Skype:
peter_schueller

Teaching

Current Research Projects

Former Research Projects

Period Position Project Title Project Type
September 2012
to August 2013
Research Fellow
(Postdoctoral Researcher)
Applications of Answer Set Programming in Cognitive Robotics TÜBİTAK 2216
April 2009
to August 2012
Project Assistant
(PhD Candidate)
Inconsistency Management for Knowledge-Integration Systems WWTF ICT08-020

Research Software

Affiliation

since April 2014: Assistant Professor at Marmara University in the Department of Computer Engineering in the Faculty of Engineering.

since 2014: Head and founder of the KnowLP research group.

September 2012 to October 2013: Postdoctoral Researcher at the Cognitive Robotics Laboratory at Sabanci University in Turkey.

April 2009 to August 2012: PhD Student at the Knowledge Based Systems Group at Vienna University of Technology in Austria, where I also received my PhD in Computer Science with the thesis Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation.

Chair and Committee Duties

Reviewing for Journals

Reviewing for Conferences and Workshops

Graduated Students

Professional Memberships

Other Activities

Publication Lists

Publications 2016:

.
Modeling Variations of First-Order Horn Abduction in Answer Set Programming.
Fundamenta Informaticae, , To appear.
 ]

, , and .
Giving Hints for Logic Programming Examples without Revealing Solutions.
Technical Report, Computer Engineering Department, Faculty of Engineering, Marmara University, .
 ]

, , , , , and .
A Model Building Framework for Answer Set Programming with External Computations.
Theory and Practice of Logic Programming 16 (04), pages 418-464, , DOI: 10.1017/S1471068415000113.
 ] [  ]

and .
Inspire: Interpretable Semantic Textual Similarity Alignment based on Answer Set Programming.
In: Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval 2016), pages 1109-1115, , San Diego, California.
 ]

, , , , and .
SteM at SemEval-2016 Task 4A: Applying Active Learning to Improve Sentiment Classification.
In: Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval 2016), pages 64-70, , San Diego, California.
 ]

, , and .
Çözümü Açığa Çıkarmadan Mantiksal Programlama Örneklerine İpucu Verme (Giving Hints For Logic Programming Examples Without Revealing Solutions).
In: Signal Processing and Communication Application Conference (SIU) (Sinyal İşleme ve İletişim Uygulamaları Kurultayı), pages 513-516, , Extended English version available as Technical Report (see above), DOI: 10.1109/SIU.2016.7495790.
 ]

, , and .
A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks.
AI Communications 29 (2), pages 319-349, .
 ]

, , and .
Problem Solving Using the HEX Family.
In: Christoph Beierle, Gerhard Brewka, and Matthias Thimm, editors, Computational Models of Rationality - Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday, pages 150-174, .
 ]

Publications 2015:

.
Modeling Variations of First-Order Horn Abduction in Answer Set Programming.
Technical Report, Computer Engineering Department, Faculty of Engineering, Marmara University, .
 ]

, , and .
Problem Solving Using the HEX Family.
Technical Report INFSYS RR-1843-15-07, Institut für Informationssysteme, TU Wien, , Favoritenstraße 9-11, A-1040 Vienna.
 ]

, , , and .
User Guide dlvhex 2.X.
Technical Report, TU Wien, Institut für Informationssysteme, .
 ]

.
Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments.
In: Stefano Bistarelli, Andrea Formisano, and Marco Maratea, editors, International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA) 1451, pages 76-90, .
 ]

and .
Using Semantic Web Resources for Solving Winograd Schemas: Sculptures, Shelves, Envy, and Success.
In: Agata Filipowska, Ruben Verborgh, and Axel Polleres, editors, Posters&Demos@SEMANTiCS 2015 and DSci15 Workshop 1481, pages 22-25, .
 ]

and .
Answer Set Application Programming: a Case Study on Tetris.
In: Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni, editors, International Conference on Logic Programming (ICLP), Technical Communications 1433, .
 ] [  ]

, , and .
On Structural Analysis of Non-Ground Answer-Set Programs.
In: Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni, editors, International Conference on Logic Programming (ICLP), Technical Communications 1433, .
 ]

Marcello Balduccini, Alessandra Mileo, Ekaterina Ovchinnikova, Alessandra Russo, and Peter Schüller, editors.
Joint Proceedings of the 2nd Workshop on Natural Language Processing and Automated Reasoning, and the 2nd International Workshop on Learning and Nonmonotonic Reasoning at LPNMR 2015.
, Lexington, KY.
 ]

, , , , , and .
A Model Building Framework for Answer Set Programming with External Computations.
Technical Report INFSYS RR-1843-15-01, Institut für Informationssysteme, TU Wien, , Favoritenstraße 9-11, A-1040 Vienna.
 ]

Publications 2014:

, , , and .
Finding Explanations of Inconsistency in Multi-Context Systems.
Artificial Intelligence 216, pages 233-274, , DOI: 10.1016/j.artint.2014.07.008.
 ]

.
MoSTNER: Morphology-aware split-tag German NER with Factorie.
In: KONVENS GermEval Shared Task on Named Entity Recognition, , Third place (out of 11) in the GermEval2014 competition.
 ]

.
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs.
In: International Conference on the Principles of Knowledge Representation and Reasoning (KR), pages 358-367, .
 ] [  ]

, , and .
A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks.
In: Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA), .
 ]

, , , , and .
Efficient HEX-Program Evaluation Based on Unfounded Sets.
Journal of Artificial Intelligence Research 49, pages 269-321, .
 ]

Publications 2013:

, , , and .
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems.
In: Applications of Declarative Programming and Knowledge Management (INAP) and Workshop on Logic Programming (WLP) 2011, Revised Selected Papers, pages 3-26, .
 ]

Chitta Baral and Peter Schüller, editors.
Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning (NLPAR).
, A Corunna, Spain, urn:nbn:de:0074-1044-7.
 ]

.
Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming.
In: Pedro Cabalar and Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning (LPNMR) 8148, pages 499-511, .
 ]

, , and .
Prolog and ASP Inference Under One Roof.
In: Pedro Cabalar and Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning (LPNMR) 8148, pages 148-160, .
 ]

, , , , and .
ActHEX: Implementing HEX Programs with Action Atoms.
In: Pedro Cabalar and Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning (LPNMR) 8148, pages 317-322, .
 ]

, , , , and .
Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach.
Theory and Practice of Logic Programming, Special Issue: International Conference on Logic Programming 13 (4-5), pages 831-846, , DOI: 10.1017/S1471068413000525.
 ]

, , and .
Levels of Integration between Low-Level Reasoning and Task Planning.
In: Knowledge Representation and Reasoning in Robotics (KRR) Workshop at International Conference on Logic Programming (ICLP), , arXiv:1307.7461.
 ]

, , , and .
A General Formal Framework for Pathfinding Problems with Multiple Agents.
In: AAAI Conference on Artificial Intelligence (AAAI), pages 290-296, .
 ]

, , and .
Levels of Integration between Low-Level Reasoning and Task Planning.
In: AAAI Workshop on Intelligent Robotics Systems (IRS) at AAAI, .
 ]

, , , and .
Experimental Evaluation of Multi-Agent Pathfinding Problems using Answer Set Programming.
In: Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA), .
 ]

, , and .
Levels of Integration between Low-Level Reasoning and Task Planning.
In: Austrian Robotics Workshop (ARW), .
 ]

, , and .
A Systematic Analysis of Levels of Integration between Low-Level Reasoning and Task Planning.
In: Workshop on Combining Task and Motion Planning (at IEEE International Conference on Robotics and Automation), .
 ]

, , , and .
Bilişsel Fabrikalarda Birden Fazla Robot Takımı için Eniyileştirilmiş Ayrıştırılabilir Plan Hesaplanması (Finding Optimal Decoupled Plans for Multiple Teams of Robots in Cognitive Factories).
In: 21. Sinyal İşleme ve İletişim Uygulamaları Kurultayı (21st Signal Processing and Communications Applications Conference), pages 1681-1684, .
 ]

and .
Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming.
In: 10th International Conference on Computational Semantics (IWCS), pages 383-389, .
 ]

Publications 2012:

, , , and .
Finding Explanations of Inconsistency in Multi-Context Systems.
Technical Report INFSYS RR-1843-12-09, Institut für Informationssysteme, TU Wien, , Favoritenstraße 9-11, A-1040 Vienna.
 ]

, , , , and .
Improving HEX-Program Evaluation based on Unfounded Sets.
Technical Report INFSYS RR-1843-12-08, Institut für Informationssysteme, TU Wien, , Favoritenstraße 9-11, A-1040 Vienna.
 ]

, , , , and .
Eliminating Unfounded Set Checking for HEX-Programs.
In: Michael Fink and Yuliya Lierler, editors, Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), pages 83-97, .
 ] [  ]

, , , , and .
Exploiting Unfounded Sets for HEX-Program Evaluation.
In: Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin, editors, 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), September 26-28, 2012, Toulouse, France 7519, pages 160-175, .
 ]

.
Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation.
PhD Thesis, Vienna University of Technology, .
 ]

and .
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming.
In: Esra Erdem, Joohyung Lee, Yuliya Lierler, and David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz 7265, pages 436-453, .
 ]

, , , and .
Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language.
Technical Report INFSYS RR-1843-12-05, Vienna University of Technology, Institute for Information Systems, .
 ]

Publications 2011:

and .
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report.
In: Workshop on Logic Programming (WLP), , CoRR 1108.5567, 12~pages (no page numbers).
 ] [  ]

and .
Semantic Reasoning with SPARQL in Heterogeneous Multi-Context Systems.
In: Camille Salinesi and Oscar Pastor, editors, Advanced Information Systems Engineering Workshops (CAiSE) 83, pages 575-585, , (1st International Workshop on Semantic Search (SSW)).
 ]

, , and .
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.
In: James Delgrande and Wolfgang Faber, editors, International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) 6645, pages 107-119, .
 ]

, , , , and .
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.
In: James Delgrande and Wolfgang Faber, editors, International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) 6645, pages 93-106, , Best Paper, also presented at IJCAI 2011.
 ] [  ]

, , , and .
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems.
In: Alessandra Mileo and Michael Fink, editors, International Workshop on Logic-based Interpretation of Context: Modelling and Applications (Log-IC) 738, pages 23-35, .
 ] [  ]

Publications 2010:

, , and .
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.
In: Gerhard Brewka, Viktor Marek, and Mirek Truszczynski, editors, Thirty Years of Nonmonotonic Reasoning, , 15 pages.
 ]

, , , and .
The MCS-IE System for Explaining Inconsistency in Multi-Context Systems.
In: Tomi Janhunen and Ilkka Niemelä, editors, European Conference on Logics in Artificial Intelligence (JELIA) 6341, pages 356-359, .
 ]

, , , and .
Finding Explanations of Inconsistency in Nonmonotonic Multi-Context Systems.
In: Fangzhen Lin and Uli Sattler, editors, International Conference on the Principles of Knowledge Representation and Reasoning (KR), pages 329-339, .
 ] [  ]

.
Fangzhen Lin and Uli Sattler, editors.
Methods and Algorithms for Managing Inconsistency in Multi-Context Systems.
, Poster, International Conference on the Principles of Knowledge Representation and Reasoning, Doctoral Consortium (KR-DC).
 ]

, , and .
Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems.
In: Hans K. Kaiser and Raimund Kirner, editors, Proceedings of the Junior Scientist Conference 2010, pages 315-316, .
 ] [  ] [  ]

Publications 2009:

, , , and .
Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems.
In: Alessandra Mileo and James P. Delgrande, editors, International Workshop on Logic-based Interpretation of Context: Modelling and Applications (Log-IC) 550, , 4~pages (no page numbers).
 ]

Publications 2008:

.
Reconstructing Borders of Manually Torn Paper Sheets Using Integer Linear Programming.
Masters Thesis, Vienna University of Technology, .
 ]

Impressum: Medieninhaber Peter Schüller (Privatperson), Marmara Universitesi Muhendislik Fakultesi, Bilgisayar Muhendislik Bolumu, Goztepe Kampusu, Kadikoy 34722 - Istanbul, TURKEY. Email: schueller.p@gmail.com. Telefon: +4369910963525 +905533390009