BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sch=uuml=ller:Peter

Contributed to:

ICLP TC 20152015
KR 20142014
ICLP 20132013
KR 20102010

Wrote 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).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.