Travelled to:1 × Austria
1 × Canada
1 × Ireland
Collaborated with:A.Weinzierl ∅ B.Kiesl H.Tompits T.Eiter M.Fink E.Erdem V.Patoglu Z.G.Saribatur T.Uras
Talks about:program (2) answer (2) find (2) set (2) inconsist (1) winograd (1) structur (1) knowledg (1) approach (1) multipl (1)
Person: Peter Schüller
DBLP: Sch=uuml=ller:Peter
Contributed to:
2015
201420132010Wrote 5 papers:
- ICLP-2015-KieslST #analysis #on the #source code
- On Structural Analysis of Non-Ground Answer-Set Programs (BK, PS, HT), pp. 221–234.
- ICLP-2015-SchullerW #case study #programming #set
- Answer Set Application Programming: a Case Study on Tetris (PS, AW), pp. 73–86.
- KR-2014-Schuller #formal method #graph
- Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (PS).
- ICLP-J-2013-ErdemPSSU #approach #multi
- Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach (EE, VP, ZGS, PS, TU), pp. 831–846.
- KR-2010-EiterFSW #consistency #multi #nondeterminism
- Finding Explanations of Inconsistency in Multi-Context Systems (TE, MF, PS, AW).