Peter Schüller
Peter Schüller
TU Wien Institut für Logic and Computation, Self-Employed
Verified email at kr.tuwien.ac.at - Homepage
TitleCited byYear
Finding explanations of inconsistency in multi-context systems
T Eiter, M Fink, P Schüller, A Weinzierl
Artificial Intelligence 216, 233-274, 2014
992014
A General Formal Framework for Pathfinding Problems with Multiple Agents
E Erdem, DG Kisa, U Oztok, P Schüller
AAAI Conference on Artificial Intelligence, 2013
842013
A model building framework for Answer Set Programming with external computations
T Eiter, M Fink, G Ianni, T Krennwallner, C Redl, P Schüller
Theory and Practice of Logic Programming 16 (04), 418-464, 2016
392016
Tackling winograd schemas by formalizing relevance theory in knowledge graphs
P Schüller
Principles of Knowledge Representation and Reasoning (KR), 2014
362014
The MCS-IE system for explaining inconsistency in multi-context systems
M Bögl, T Eiter, M Fink, P Schüller
European Conference on Logics in Artificial Intelligence (JELIA), 356-359, 2010
342010
Efficient HEX-Program Evaluation Based on Unfounded Sets
T Eiter, M Fink, T Krennwallner, C Redl, P Schüller
Journal of Artificial Intelligence Research 49, 269-321, 2014
312014
Pushing efficient evaluation of HEX programs by modular decomposition
T Eiter, M Fink, G Ianni, T Krennwallner, P Schüller
International Conference on Logic Programming and Nonmonotonic Reasoning, 93-106, 2011
222011
A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks
E Erdem, V Patoglu, P Schüller
AI Communications, 2016
192016
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach
E Erdem, V Patoglu, ZG Saribatur, P Schüller, T Uras
Theory and Practice of Logic Programming, 831-846, 2013
182013
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming.
Y Lierler, P Schüller
Correct Reasoning 7265, 436-453, 2012
182012
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis
B Cuteri, C Dodaro, F Ricca, P Schüller
Theory and Practice of Logic Programming 17 (5-6), 780-799, 2017
172017
ActHEX: Implementing HEX Programs with Action Atoms
M Fink, S Germano, G Ianni, C Redl, P Schüller
Logic Programming and Nonmonotonic Reasoning, 2013
152013
Modeling Variations of First-Order Horn Abduction in Answer Set Programming
P Schüller
Fundamenta Informaticae 149 (1-2), 159-207, 2016
142016
A systematic analysis of levels of integration between low-level reasoning and task planning
P Schüller, V Patoglu, E Erdem
Workshop on Combining Task and Motion Planning (IEEE International …, 2013
122013
Approximations for explanations of inconsistency in partially known multi-context systems
T Eiter, M Fink, P Schüller
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
122011
Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming
P Schüller
Logic Programming and Nonmonotonic Reasoning, 2013
112013
Answer Set Programming with External Source Access
T Eiter, T Kaminski, C Redl, P Schüller, A Weinzierl
Reasoning Web International Summer School, 204-275, 2017
92017
Improving scalability of inductive logic programming via pruning and best-effort optimisation
M Kazmi, P Schüller, Y Saygın
Expert Systems with Applications 87, 291-303, 2017
82017
Defining and validating similarity measures for industrial alarm flood analysis
M Fullen, P Schüller, O Niggemann
2017 IEEE 15th International Conference on Industrial Informatics (INDIN …, 2017
82017
External Propagators in WASP: Preliminary Report
C Dodaro, F Ricca, P Schüller
International Workshop on Experimental Evaluation of Algorithms for Solving …, 2016
82016
The system can't perform the operation now. Try again later.
Articles 1–20