![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Peter Schüller
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c41]Zeynep G. Saribatur, Thomas Eiter, Peter Schüller:
Abstraction for Non-Ground Answer Set Programs (Extended Abstract). IJCAI 2022: 5767-5771 - [i15]Peter Schüller, João Paolo Costeira, James Crowley, Jasmin Grosinger, Félix Ingrand, Uwe Köckemann, Alessandro Saffiotti, Martin Welss:
Composing Complex and Hybrid AI Solutions. CoRR abs/2202.12566 (2022) - 2021
- [j17]Zeynep G. Saribatur, Thomas Eiter
, Peter Schüller:
Abstraction for non-ground answer set programs. Artif. Intell. 300: 103563 (2021) - [j16]Masoumeh Mansouri
, Federico Pecora, Peter Schüller:
Combining Task and Motion Planning: Challenges and Guidelines. Frontiers Robotics AI 8: 637888 (2021) - [i14]Luciano Serafini, Raul Barbosa, Jasmin Grosinger, Luca Iocchi, Christian Napoli, Salvatore Rinzivillo, Jacques Robin, Alessandro Saffiotti, Teresa Scantamburlo, Peter Schüller, Paolo Traverso, Javier Vázquez-Salceda:
On some Foundational Aspects of Human-Centered Artificial Intelligence. CoRR abs/2112.14480 (2021) - 2020
- [c40]Peter Schüller:
A new OWLAPI interface for HEX-programs applied to explaining contingencies in production planning. NeHuAI@ECAI 2020: 25-31 - [c39]Thomas Eiter, Andreas A. Falkner, Patrik Schneider, Peter Schüller:
ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. ECAI 2020: 3026-3033 - [c38]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. IJCAI 2020: 1688-1694
2010 – 2019
- 2019
- [j15]Eray Gençay
, Peter Schüller
, Esra Erdem
:
Applications of non-monotonic reasoning to automotive product configuration using answer set programming. J. Intell. Manuf. 30(3): 1407-1422 (2019) - [j14]Bernardo Cuteri
, Carmine Dodaro
, Francesco Ricca
, Peter Schüller
:
Partial Compilation of ASP Programs. Theory Pract. Log. Program. 19(5-6): 857-873 (2019) - [c37]Zeynep G. Saribatur
, Peter Schüller
, Thomas Eiter
:
Abstraction for Non-ground Answer Set Programs. JELIA 2019: 576-592 - [c36]Peter Schüller
:
The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs. JELIA 2019: 593-607 - [c35]Joaquín Padilla Montani, Peter Schüller:
TUWienKBS19 at GermEval Task 2, 2019: Ensemble Learning for German Offensive Language Detection. KONVENS 2019 - [c34]Richard Taupe
, Konstantin Schekotihin
, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich:
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. ICLP Technical Communications 2019: 22-35 - [i13]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Partial Compilation of ASP Programs. CoRR abs/1907.10469 (2019) - [i12]Thomas Eiter, Zeynep G. Saribatur, Peter Schüller:
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. CoRR abs/1909.04998 (2019) - 2018
- [j13]Peter Schüller
:
Adjudication of coreference annotations via answer set optimisation. J. Exp. Theor. Artif. Intell. 30(4): 525-546 (2018) - [j12]Peter Schüller
:
Answer Set Programming in Linguistics. Künstliche Intell. 32(2-3): 151-155 (2018) - [j11]Thomas Eiter, Stefano Germano
, Giovambattista Ianni, Tobias Kaminski
, Christoph Redl, Peter Schüller
, Antonius Weinzierl:
The DLVHEX System. Künstliche Intell. 32(2-3): 187-189 (2018) - [j10]Peter Schüller
:
Answer Set Programming Applied to Coreference Resolution and Semantic Similarity. Künstliche Intell. 32(2-3): 207-208 (2018) - [j9]Peter Schüller
, Mishal Benz:
Best-effort inductive logic programming via fine-grained cost-based hypothesis generation - The inspire system at the inductive logic programming competition. Mach. Learn. 107(7): 1141-1169 (2018) - [i11]Peter Schüller:
Technical Report: Adjudication of Coreference Annotations via Answer Set Optimization. CoRR abs/1802.00033 (2018) - 2017
- [j8]Mishal Kazmi, Peter Schüller, Yücel Saygin:
Improving scalability of inductive logic programming via pruning and best-effort optimisation. Expert Syst. Appl. 87: 291-303 (2017) - [j7]Bernardo Cuteri
, Carmine Dodaro
, Francesco Ricca, Peter Schüller
:
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Theory Pract. Log. Program. 17(5-6): 780-799 (2017) - [c33]Marta Fullen, Peter Schüller
, Oliver Niggemann
:
Defining and validating similarity measures for industrial alarm flood analysis. INDIN 2017: 781-786 - [c32]Ezdin Aslanci, Kutalmis Coskun
, Peter Schüller
, M. Borahan Tümer
:
Detection of regime switching points in non-stationary sequences using stochastic learning based weak estimation method. INDIN 2017: 787-792 - [c31]Baris Gün Sürmeli, Feyza Eksen, Bilal Dinc, Peter Schüller
, M. Borahan Tümer
:
Unsupervised mode detection in cyber-physical systems using variable order Markov models. INDIN 2017: 841-846 - [c30]Peter Schüller
:
Adjudication of Coreference Annotations via Answer Set Optimization. LPNMR 2017: 343-357 - [c29]Marta Fullen, Peter Schüller, Oliver Niggemann:
Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis. ML4CPS 2017: 53-61 - [c28]Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller
, Antonius Weinzierl:
Answer Set Programming with External Source Access. RW 2017: 204-275 - [i10]Peter Schüller, Kübra Cingilli, Ferit Tunçer, Baris Gün Sürmeli, Aysegül Pekel, Ayse Hande Karatay, Hacer Ezgi Karakas:
Marmara Turkish Coreference Corpus and Coreference Resolution Baseline. CoRR abs/1706.01863 (2017) - [i9]Mishal Kazmi, Peter Schüller, Yücel Saygin:
Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation. CoRR abs/1706.05171 (2017) - [i8]Peter Schüller, Mishal Kazmi:
Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation. CoRR abs/1707.02729 (2017) - [i7]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. CoRR abs/1707.04027 (2017) - 2016
- [j6]Esra Erdem
, Volkan Patoglu
, Peter Schüller
:
A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. AI Commun. 29(2): 319-349 (2016) - [j5]Peter Schüller
:
Modeling Variations of First-Order Horn Abduction in Answer Set Programming. Fundam. Informaticae 149(1-2): 159-207 (2016) - [j4]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
:
A model building framework for answer set programming with external computations. Theory Pract. Log. Program. 16(4): 418-464 (2016) - [c27]Carmine Dodaro, Francesco Ricca, Peter Schüller:
External Propagators in WASP: Preliminary Report. RCRA@AI*IA 2016: 1-9 - [c26]Peter Schüller:
Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations. RCRA@AI*IA 2016: 57-71 - [c25]Thomas Eiter, Christoph Redl, Peter Schüller:
Problem Solving Using the HEX Family. Computational Models of Rationality 2016: 150-174 - [c24]Stefan Räbiger, Mishal Kazmi, Yücel Saygin, Peter Schüller, Myra Spiliopoulou:
SteM at SemEval-2016 Task 4: Applying Active Learning to Improve Sentiment Classification. SemEval@NAACL-HLT 2016: 64-70 - [c23]Mishal Kazmi, Peter Schüller
:
Inspire at SemEval-2016 Task 2: Interpretable Semantic Textual Similarity Alignment based on Answer Set Programming. SemEval@NAACL-HLT 2016: 1109-1115 - [c22]Gokhan Avci, Mustafa Mehuljic, Peter Schüller
:
Giving hints for logic programming examples without revealing solutions. SIU 2016: 513-516 - [i6]Gokhan Avci, Mustafa Mehuljic, Peter Schüller:
Technical Report: Giving Hints for Logic Programming Examples without Revealing Solutions. CoRR abs/1607.07847 (2016) - 2015
- [c21]Peter Schüller:
Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments. RCRA@AI*IA 2015: 76-90 - [c20]Peter Schüller, Mishal Kazmi:
Using Semantic Web Resources for Solving Winograd Schemas: Sculptures, Shelves, Envy, and Success. SEMANTiCS (Posters & Demos) 2015: 22-25 - [c19]Benjamin Kiesl, Peter Schüller, Hans Tompits:
On Structural Analysis of Non-Ground Answer-Set Programs. ICLP (Technical Communications) 2015 - [c18]Peter Schüller, Antonius Weinzierl:
Answer Set Application Programming: a Case Study on Tetris. ICLP (Technical Communications) 2015 - [i5]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for Answer Set Programming with external computations. CoRR abs/1507.01451 (2015) - [i4]Peter Schüller:
Modeling Variations of First-Order Horn Abduction in Answer Set Programming using On-Demand Constraints and Flexible Value Invention. CoRR abs/1512.08899 (2015) - 2014
- [j3]Thomas Eiter, Michael Fink
, Peter Schüller
, Antonius Weinzierl:
Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216: 233-274 (2014) - [j2]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Efficient HEX-Program Evaluation Based on Unfounded Sets. J. Artif. Intell. Res. 49: 269-321 (2014) - [c17]Peter Schüller:
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs. KR 2014 - 2013
- [j1]Esra Erdem
, Volkan Patoglu
, Zeynep G. Saribatur, Peter Schüller
, Tansel Uras:
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach. Theory Pract. Log. Program. 13(4-5): 831-846 (2013) - [c16]Esra Erdem, Doga Gizem Kisa, Umut Öztok, Peter Schüller:
A General Formal Framework for Pathfinding Problems with Multiple Agents. AAAI 2013: 290-296 - [c15]Yuliya Lierler, Peter Schüller:
Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming. IWCS 2013: 383-389 - [c14]Marcello Balduccini, Yuliya Lierler, Peter Schüller
:
Prolog and ASP Inference under One Roof. LPNMR 2013: 148-160 - [c13]Michael Fink, Stefano Germano
, Giovambattista Ianni, Christoph Redl, Peter Schüller
:
ActHEX: Implementing HEX Programs with Action Atoms. LPNMR 2013: 317-322 - [c12]Peter Schüller
:
Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming. LPNMR 2013: 499-511 - [c11]Zeynep G. Saribatur, Peter Schüller
, Volkan Patoglu
, Esra Erdem
:
Finding optimal decoupled plans for multiple teams of robots in cognitive factories. SIU 2013: 1-4 - [e1]Chitta Baral, Peter Schüller:
Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), A Corunna, Spain, September 15th, 2013. CEUR Workshop Proceedings 1044, CEUR-WS.org 2013 [contents] - [i3]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Eliminating Unfounded Set Checking for HEX-Programs. CoRR abs/1301.1390 (2013) - [i2]Esra Erdem, Volkan Patoglu, Peter Schüller:
Levels of Integration between Low-Level Reasoning and Task Planning. CoRR abs/1307.7461 (2013) - 2012
- [c10]Yuliya Lierler, Peter Schüller
:
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. Correct Reasoning 2012: 436-453 - [c9]Thomas Eiter, Michael Fink, Thomas Krennwallner
, Christoph Redl, Peter Schüller
:
Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA 2012: 160-175 - 2011
- [c8]Peter Schüller
, Antonius Weinzierl:
Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems. CAiSE Workshops 2011: 575-585 - [c7]Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
:
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. INAP/WLP 2011: 3-26 - [c6]Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller:
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. Log-IC@LPNMR 2011: 23-35 - [c5]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner
, Peter Schüller
:
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106 - [c4]Thomas Eiter, Michael Fink, Peter Schüller
:
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. LPNMR 2011: 107-119 - [i1]Yuliya Lierler, Peter Schüller:
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report. CoRR abs/1108.5567 (2011) - 2010
- [c3]Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller
:
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. JELIA 2010: 356-359 - [c2]Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl:
Finding Explanations of Inconsistency in Multi-Context Systems. KR 2010
1990 – 1999
- 1992
- [c1]Peter Schüller, Hermann Härtig, Winfried E. Kühnhauser, Hermann Streich:
Performance of the BirLiX Operating System. USENIX Workshop on Microkernels and Other Kernel Architectures 1992: 147-160
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-29 00:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint