Peter Schüller

74 papers A* 5A 1B 10C 3Journal 32Unranked 22

Year	Rank	Type	Title / Venue / Authors
2022	A*	`conf`	Abstraction for Non-Ground Answer Set Programs (Extended Abstract). IJCAI Zeynep G. Saribatur, Thomas Eiter, Peter Schüller
2022	J	`jnl`	Composing Complex and Hybrid AI Solutions. CoRR Peter Schüller, João Paolo Costeira, James Crowley, Jasmin Grosinger, Félix Ingrand, Uwe Köckemann, Alessandro Saffiotti, Martin Welss
2021	J	`jnl`	Abstraction for non-ground answer set programs. Artif. Intell. Zeynep G. Saribatur, Thomas Eiter, Peter Schüller
2021	J	`jnl`	Combining Task and Motion Planning: Challenges and Guidelines. Frontiers Robotics AI Masoumeh Mansouri, Federico Pecora, Peter Schüller
2021	J	`jnl`	On some Foundational Aspects of Human-Centered Artificial Intelligence. CoRR 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
2020	—	`conf`	A new OWLAPI interface for HEX-programs applied to explaining contingencies in production planning. NeHuAI@ECAI Peter Schüller
2020	A	`conf`	ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. ECAI Thomas Eiter, Andreas A. Falkner, Patrik Schneider, Peter Schüller
2020	A*	`conf`	Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. IJCAI Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2019	B	`conf`	Abstraction for Non-ground Answer Set Programs. JELIA Zeynep G. Saribatur, Peter Schüller, Thomas Eiter
2019	J	`jnl`	Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. CoRR Thomas Eiter, Zeynep G. Saribatur, Peter Schüller
2019	J	`jnl`	Applications of non-monotonic reasoning to automotive product configuration using answer set programming. J. Intell. Manuf. Eray Gençay, Peter Schüller, Esra Erdem
2019	—	`conf`	Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. ICLP Technical Communications Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich
2019	J	`jnl`	Partial Compilation of ASP Programs. CoRR Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2019	J	`jnl`	Partial Compilation of ASP Programs. Theory Pract. Log. Program. Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2019	—	`conf`	TUWienKBS19 at GermEval Task 2, 2019: Ensemble Learning for German Offensive Language Detection. KONVENS Joaquín Padilla Montani, Peter Schüller
2019	B	`conf`	The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs. JELIA Peter Schüller
2018	J	`jnl`	Adjudication of coreference annotations via answer set optimisation. J. Exp. Theor. Artif. Intell. Peter Schüller
2018	J	`jnl`	Answer Set Programming Applied to Coreference Resolution and Semantic Similarity. Künstliche Intell. Peter Schüller
2018	J	`jnl`	Answer Set Programming in Linguistics. Künstliche Intell. Peter Schüller
2018	J	`jnl`	Best-effort inductive logic programming via fine-grained cost-based hypothesis generation - The inspire system at the inductive logic programming competition. Mach. Learn. Peter Schüller, Mishal Benz
2018	J	`jnl`	Technical Report: Adjudication of Coreference Annotations via Answer Set Optimization. CoRR Peter Schüller
2018	J	`jnl`	The DLVHEX System. Künstliche Intell. Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2017	B	`conf`	Adjudication of Coreference Annotations via Answer Set Optimization. LPNMR Peter Schüller
2017	—	`conf`	Answer Set Programming with External Source Access. RW Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2017	J	`jnl`	Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation. CoRR Peter Schüller, Mishal Kazmi
2017	J	`jnl`	Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. CoRR Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2017	J	`jnl`	Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Theory Pract. Log. Program. Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2017	C	`conf`	Defining and validating similarity measures for industrial alarm flood analysis. INDIN Marta Fullen, Peter Schüller, Oliver Niggemann
2017	C	`conf`	Detection of regime switching points in non-stationary sequences using stochastic learning based weak estimation method. INDIN Ezdin Aslanci, Kutalmis Coskun, Peter Schüller, M. Borahan Tümer
2017	J	`jnl`	Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation. CoRR Mishal Kazmi, Peter Schüller, Yücel Saygin
2017	J	`jnl`	Improving scalability of inductive logic programming via pruning and best-effort optimisation. Expert Syst. Appl. Mishal Kazmi, Peter Schüller, Yücel Saygin
2017	J	`jnl`	Marmara Turkish Coreference Corpus and Coreference Resolution Baseline. CoRR Peter Schüller, Kübra Cingilli, Ferit Tunçer, Baris Gün Sürmeli, Aysegül Pekel, Ayse Hande Karatay, Hacer Ezgi Karakas
2017	—	`conf`	Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis. ML4CPS Marta Fullen, Peter Schüller, Oliver Niggemann
2017	C	`conf`	Unsupervised mode detection in cyber-physical systems using variable order Markov models. INDIN Baris Gün Sürmeli, Feyza Eksen, Bilal Dinc, Peter Schüller, M. Borahan Tümer
2016	J	`jnl`	A model building framework for answer set programming with external computations. Theory Pract. Log. Program. Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
2016	J	`jnl`	A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. AI Commun. Esra Erdem, Volkan Patoglu, Peter Schüller
2016	—	`conf`	Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations. RCRA@AI*IA Peter Schüller
2016	—	`conf`	External Propagators in WASP: Preliminary Report. RCRA@AI*IA Carmine Dodaro, Francesco Ricca, Peter Schüller
2016	—	`conf`	Giving hints for logic programming examples without revealing solutions. SIU Gokhan Avci, Mustafa Mehuljic, Peter Schüller
2016	—	`conf`	Inspire at SemEval-2016 Task 2: Interpretable Semantic Textual Similarity Alignment based on Answer Set Programming. SemEval@NAACL-HLT Mishal Kazmi, Peter Schüller
2016	J	`jnl`	Modeling Variations of First-Order Horn Abduction in Answer Set Programming. Fundam. Informaticae Peter Schüller
2016	—	`conf`	Problem Solving Using the HEX Family. Computational Models of Rationality Thomas Eiter, Christoph Redl, Peter Schüller
2016	—	`conf`	SteM at SemEval-2016 Task 4: Applying Active Learning to Improve Sentiment Classification. SemEval@NAACL-HLT Stefan Räbiger, Mishal Kazmi, Yücel Saygin, Peter Schüller, Myra Spiliopoulou
2016	J	`jnl`	Technical Report: Giving Hints for Logic Programming Examples without Revealing Solutions. CoRR Gokhan Avci, Mustafa Mehuljic, Peter Schüller
2015	J	`jnl`	A model building framework for Answer Set Programming with external computations. CoRR Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
2015	—	`conf`	Answer Set Application Programming: a Case Study on Tetris. ICLP (Technical Communications) Peter Schüller, Antonius Weinzierl
2015	—	`conf`	Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments. RCRA@AI*IA Peter Schüller
2015	J	`jnl`	Modeling Variations of First-Order Horn Abduction in Answer Set Programming using On-Demand Constraints and Flexible Value Invention. CoRR Peter Schüller
2015	—	`conf`	On Structural Analysis of Non-Ground Answer-Set Programs. ICLP (Technical Communications) Benjamin Kiesl, Peter Schüller, Hans Tompits
2015	—	`conf`	Using Semantic Web Resources for Solving Winograd Schemas: Sculptures, Shelves, Envy, and Success. SEMANTiCS (Posters & Demos) Peter Schüller, Mishal Kazmi
2014	J	`jnl`	Efficient HEX-Program Evaluation Based on Unfounded Sets. J. Artif. Intell. Res. Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2014	J	`jnl`	Finding explanations of inconsistency in multi-context systems. Artif. Intell. Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
2014	A*	`conf`	Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs. KR Peter Schüller
2013	A*	`conf`	A General Formal Framework for Pathfinding Problems with Multiple Agents. AAAI Esra Erdem, Doga Gizem Kisa, Umut Öztok, Peter Schüller
2013	B	`conf`	ActHEX: Implementing HEX Programs with Action Atoms. LPNMR Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller
2013	J	`jnl`	Eliminating Unfounded Set Checking for HEX-Programs CoRR Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2013	—	`conf`	Finding optimal decoupled plans for multiple teams of robots in cognitive factories. SIU Zeynep G. Saribatur, Peter Schüller, Volkan Patoglu, Esra Erdem
2013	J	`jnl`	Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach. Theory Pract. Log. Program. Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur, Peter Schüller, Tansel Uras
2013	B	`conf`	Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming. LPNMR Peter Schüller
2013	J	`jnl`	Levels of Integration between Low-Level Reasoning and Task Planning. CoRR Esra Erdem, Volkan Patoglu, Peter Schüller
2013	—	`ed.`	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. NLPAR@LPNMR Chitta Baral, Peter Schüller
2013	B	`conf`	Prolog and ASP Inference under One Roof. LPNMR Marcello Balduccini, Yuliya Lierler, Peter Schüller
2013	—	`conf`	Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming. IWCS Yuliya Lierler, Peter Schüller
2012	B	`conf`	Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2012	—	`conf`	Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. Correct Reasoning Yuliya Lierler, Peter Schüller
2011	B	`conf`	Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. LPNMR Thomas Eiter, Michael Fink, Peter Schüller
2011	J	`jnl`	Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report CoRR Yuliya Lierler, Peter Schüller
2011	B	`conf`	Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller
2011	—	`conf`	Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems. CAiSE Workshops Peter Schüller, Antonius Weinzierl
2011	—	`conf`	The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. INAP/WLP Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
2011	—	`conf`	Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. Log-IC@LPNMR Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
2010	A*	`conf`	Finding Explanations of Inconsistency in Multi-Context Systems. KR Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
2010	B	`conf`	The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. JELIA Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller
1992	—	`conf`	Performance of the BirLiX Operating System. USENIX Workshop on Microkernels and Other Kernel Architectures Peter Schüller, Hermann Härtig, Winfried E. Kühnhauser, Hermann Streich