Dr Peter Schüller

Consulting Services for Intelligent Automation and Knowledge Representation

Science

Selected Publications

J  Journal Article  C  Conference Paper  E  Editorship  O  Other  

J . Abstraction for non-ground answer set programs. Artificial Intelligence 300, pages 103563, , DOI: 10.1016/j.artint.2021.103563. [  ]

C . A new OWLAPI interface for HEX-Programs applied to Explaining Contingencies in Production Planning. In: New Foundations for Human-Centered AI, Workshop at ECAI 2659, pages 25-31, . [  ] [  ]

J , , , and . Partial Compilation of ASP Programs. Theory and Practice of Logic Programming 19 (5-6), pages 857-873, , Presented at the International Conference on Logic Programming (ICLP), DOI: 10.1017/S1471068419000231. [  ] [  ]

C . The Hexlite Solver. In: European Conference on Logics in Artificial Intelligence (JELIA), pages 593-607, , DOI: 10.1007/978-3-030-19570-0_39. [  ] [  ]

J , , and . Applications of Non-monotonic Reasoning to Automotive Product Configuration using Answer Set Programming. Journal of Intelligent Manufacturing 30 (3), pages 1407-1422, , DOI: 10.1007/s10845-017-1333-3. [  ] [  ]

C , , and . Abstraction for Non-Ground Answer Set Programs. In: European Conference on Logics in Artificial Intelligence (JELIA), pages 576-592, , DOI: 10.1007/978-3-030-19570-0_38. [  ]

E Oliver Niggemann and Peter Schüller, editors. IMPROVE – Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency. , DOI: 10.1007/978-3-662-57805-6. [  ] [  ]

J  and . Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation. Machine Learning 107 (7), pages 1141-1169, , DOI: 10.1007/s10994-018-5708-2. [  ]

J . Answer Set Programming in Linguistics. KI - Künstliche Intelligenz 32 (2), pages 151-155, , DOI: 10.1007/s13218-018-0542-z. [  ]

J , , , , , , and . The DLVHEX System. KI - Künstliche Intelligenz 32 (2), pages 187-189, , DOI: 10.1007/s13218-018-0535-y. [  ]

J . Adjudication of Coreference Annotations via Answer Set Optimization. Journal of Experimental & Theoretical Artificial Intelligence 30 (4), pages 525-546, , DOI: 10.1080/0952813X.2018.1456793. [  ]

J , , , and . Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. Theory and Practice of Logic Programming 17 (5-6), pages 780-799, , Presented at ICLP 2017, DOI: 10.1017/S1471068417000254. [  ] [  ]

J , , and . Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation. Expert Systems With Applications 87, pages 291-303, , DOI: 10.1016/j.eswa.2017.06.013. [  ] [  ]

J . Modeling Variations of First-Order Horn Abduction in Answer Set Programming. Fundamenta Informaticae 149 (1-2), pages 159-207, , Available as arXiv:1512.08899 [cs.AI], DOI: 10.3233/FI-2016-1446. [  ] [  ]

J , , , , , and . A Model Building Framework for Answer Set Programming with External Computations. Theory and Practice of Logic Programming 16 (04), pages 418-464, , arXiv:1507.01451 [cs.AI], DOI: 10.1017/S1471068415000113. [  ] [  ]

J , , and . A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. AI Communications 29 (2), pages 319-349, , DOI: 10.3233/AIC-150697. [  ] [  ]

J , , , and . Finding Explanations of Inconsistency in Multi-Context Systems. Artificial Intelligence 216, pages 233-274, , DOI: 10.1016/j.artint.2014.07.008. [  ] [  ]

C . Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs. In: International Conference on the Principles of Knowledge Representation and Reasoning (KR), pages 358-367, . [  ] [  ] [  ]

C . Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming. In: Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 8148 of Lecture Notes in Computer Science, pages 499-511, , DOI: 10.1007/978-3-642-40564-8_49. [  ]

J , , , , and . Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach. Theory and Practice of Logic Programming, Special Issue: International Conference on Logic Programming 13 (4-5), pages 831-846, , DOI: 10.1017/S1471068413000525. [  ] [  ]

Research Projects

In Projects with a boldface role, I had a role in the acquisition of the funding.

StatusTime PeriodRoleProject TitleFunding
OngoingJanuary 2019 to December 2021Postdoctoral ResearcherAI4EU - A European AI On Demand Platform and EcosystemH2020 RIA 825619
OngoingNovember 2017 to December 2018Postdoctoral ResearcherDynaCon: Dynamic knowledge-based (re)configuration of CPSFFG 861263
ConcludedOctober 2017 to November 2018Postdoctoral ResearcherIntHEX: Integrated Evaluation of Answer Set Programs and ExtensionsFWF P27730
ConcludedSeptember 2015 to August 2018Assistant ProfessorImprove: Innovative Modelling Approaches for Production Systems to Raise Validatable EfficiencyH2020 678867
ConcludedApril 2015
to September 2017		Principal InvestigatorInspire: Interpreting Natural Language using Answer Set Programming, Inconsistency Management, and Relevance TheoryTÜBİTAK 114E777
ConcludedJanuary 2015
to December 2016		Principal InvestigatorOmSieve: Open-Minded Coreference Resolution Sieve Based on Answer Set ProgrammingTÜBİTAK 114E430
ConcludedSeptember 2012
to August 2013 		FellowApplications of Answer Set Programming in Cognitive RoboticsTUBITAK (2216)
ConcludedApril 2009
to August 2012		PhD CandidateIncMan: Inconsistency Management for Knowledge-Integration SystemsWWTF ICT08-020

 

Complete Publication List

J  Journal Article  C  Conference Paper  E  Editorship  O  Other  

Publications 2021:

J . Abstraction for non-ground answer set programs. Artificial Intelligence 300, pages 103563, , DOI: 10.1016/j.artint.2021.103563. [  ]

J . Combining Task and Motion Planning: Challenges and Guidelines. Frontiers in Robotics and AI 8, pages 637888, , DOI: 10.3389/frobt.2021.637888. [  ]

Publications 2020:

C . A new OWLAPI interface for HEX-Programs applied to Explaining Contingencies in Production Planning. In: New Foundations for Human-Centered AI, Workshop at ECAI 2659, pages 25-31, . [  ] [  ]

C , , , and . Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. In: International Joint Conference on Artificial Intelligence (IJCAI), pages 1688-1694, , DOI: 10.24963/ijcai.2020/234. [  ]

C . ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. In: European Conference on Artificial Intelligence (ECAI), pages 3026-3033, , DOI: 10.3233/FAIA200478. [  ]

Publications 2019:

J , , , and . Partial Compilation of ASP Programs. Theory and Practice of Logic Programming 19 (5-6), pages 857-873, , Presented at the International Conference on Logic Programming (ICLP), DOI: 10.1017/S1471068419000231. [  ] [  ]

C . The Hexlite Solver. In: European Conference on Logics in Artificial Intelligence (JELIA), pages 593-607, , DOI: 10.1007/978-3-030-19570-0_39. [  ] [  ]

C  and . TUWienKBS19 at GermEval Task 2, 2019: Ensemble Learning for German Offensive Language Detection. In: Proceedings of the 15th Conference on Natural Language Processing, KONVENS 2019, Erlangen, Germany, October 9-11, 2019, . [  ]

C , , and . Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. In: IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI), . [  ] [  ]

C , , and . Abstraction for Non-ground Answer Set Programs. In: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 11468 LNCS, pages 576-592, , DOI: 10.1007/978-3-030-19570-0\_38.

C , , , , and . Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. In: Proceedings of the International Conference on Logic Programming (ICLP), Technical Communications, . [  ]

J , , and . Applications of Non-monotonic Reasoning to Automotive Product Configuration using Answer Set Programming. Journal of Intelligent Manufacturing 30 (3), pages 1407-1422, , DOI: 10.1007/s10845-017-1333-3. [  ] [  ]

C , , and . Abstraction for Non-Ground Answer Set Programs. In: European Conference on Logics in Artificial Intelligence (JELIA), pages 576-592, , DOI: 10.1007/978-3-030-19570-0_38. [  ]

Publications 2018:

C . The Hexlite Solver. In: Workshop on Trends and Applications of Answer Set Programming (TAASP), . [  ]

C , , and . Abstraction for Non-Ground Answer Set Programs. In: Workshop on Trends and Applications of Answer Set Programming (TAASP), . [  ]

C , , , , and . Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. In: Workshop on Trends and Applications of Answer Set Programming (TAASP), . [  ]

E Oliver Niggemann and Peter Schüller, editors. IMPROVE – Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency. , DOI: 10.1007/978-3-662-57805-6. [  ] [  ]

C , , and . Validation of similarity measures for industrial alarm flood analysis. In: IMPROVE – Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency, pages 93-109, , DOI: 10.1007/978-3-662-57805-6_6. [  ] [  ]

O , , , , , , and . Marmara Turkish Coreference Corpus and Coreference Resolution Baseline. Technical Report, Marmara University & TU Wien, , Version 2. [  ]

C  and . TUWienKBS at GermEval 2018: German Abusive Tweet Detection. In: Proceedings of GermEval 2018, 14th Conference on Natural Language Processing (KONVENS 2018), pages 45-50, , Best result in coarse classification, second best result in fine-grained classification.. [  ] [  ] [  ]

J  and . Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation. Machine Learning 107 (7), pages 1141-1169, , DOI: 10.1007/s10994-018-5708-2. [  ]

J . Answer Set Programming in Linguistics. KI - Künstliche Intelligenz 32 (2), pages 151-155, , DOI: 10.1007/s13218-018-0542-z. [  ]

J . Answer Set Programming applied to Coreference Resolution and Semantic Similarity. KI - Künstliche Intelligenz 32 (2), pages 207-208, , DOI: 10.1007/s13218-018-0539-7. [  ]

J , , , , , , and . The DLVHEX System. KI - Künstliche Intelligenz 32 (2), pages 187-189, , DOI: 10.1007/s13218-018-0535-y. [  ]

J . Adjudication of Coreference Annotations via Answer Set Optimization. Journal of Experimental & Theoretical Artificial Intelligence 30 (4), pages 525-546, , DOI: 10.1080/0952813X.2018.1456793. [  ]

Publications 2017:

C , , and . Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis. In: Machine Learning for Cyber Physical Systems and Industry 4.0, .

J , , , and . Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. Theory and Practice of Logic Programming 17 (5-6), pages 780-799, , Presented at ICLP 2017, DOI: 10.1017/S1471068417000254. [  ] [  ]

C , , and . Defining and validating similarity measures for industrial alarm flood analysis. In: IEEE International Conference on Industrial Informatics (INDIN), pages 781-786, , DOI: 10.1109/INDIN.2017.8104872. [  ]

C , , , , and . Unsupervised Mode Detection in Cyber-Physical Systems using Variable Order Markov Models. In: IEEE International Conference on Industrial Informatics (INDIN), pages 841-846, , DOI: 10.1109/INDIN.2017.8104881. [  ] [  ]

C , , , and . Detection of Regime Switching Points in Non-Stationary Sequences using Stochastic Learning based Weak Estimation Method. In: IEEE International Conference on Industrial Informatics (INDIN), pages 787-792, , DOI: 10.1109/INDIN.2017.8104873. [  ]

C , , , , and . Answer Set Programming with External Sources. In: Reasoning Web International Summer School 10370 LNCS, pages 204-275, , DOI: 10.1007/978-3-319-61033-7_7. [  ]

C . Adjudication of Coreference Annotations via Answer Set Optimization. In: Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 10377 of Lecture Notes in Computer Science, pages 343-357, , Best Application Paper, DOI: 10.1007/978-3-319-61660-5_31.

J , , and . Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation. Expert Systems With Applications 87, pages 291-303, , DOI: 10.1016/j.eswa.2017.06.013. [  ] [  ]

O . Inspire at Inductive Logic Programming Competition: Fine-grained Cost-based Hypothesis Generation. , Short technical note. [  ]

Publications 2016:

J . Modeling Variations of First-Order Horn Abduction in Answer Set Programming. Fundamenta Informaticae 149 (1-2), pages 159-207, , Available as arXiv:1512.08899 [cs.AI], DOI: 10.3233/FI-2016-1446. [  ] [  ]

O , , , and . Turkish Coreference Annotation Manual (V2). . [  ]

C . Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations. In: International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA), volume 1745 of CEUR Workshop Proceedings, pages 57-71, . [  ]

C , , and . External Propagators in WASP: Preliminary Report . In: International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA), volume 1745 of CEUR Workshop Proceedings, pages 1-9, . [  ]

C , , and . ASP for Abduction in Natural Language Understanding made more efficient using External Propagators. In: Proceedings of the 8th International Workshop on Logic Programming with Constraints for Language Processing (CSLP), pages 19-21, . [  ] [  ]

O , , and . Giving Hints for Logic Programming Examples without Revealing Solutions. Technical Report, , arXiv:1607.07847 [cs.AI]. [  ]

J , , , , , and . A Model Building Framework for Answer Set Programming with External Computations. Theory and Practice of Logic Programming 16 (04), pages 418-464, , arXiv:1507.01451 [cs.AI], DOI: 10.1017/S1471068415000113. [  ] [  ]

C  and . Inspire at SemEval 2016 Task 2: Interpretable Semantic Textual Similarity Alignment based on Answer Set Programming. In: Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval 2016), pages 1109-1115, . [  ]

C , , , , and . SteM at SemEval-2016 Task 4A: Applying Active Learning to Improve Sentiment Classification. In: Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval 2016), pages 64-70, . [  ]

C , , and . Giving Hints For Logic Programming Examples Without Revealing Solutions (Çözümü Açığa Çıkarmadan Mantiksal Programlama Örneklerine İpucu Verme). In: Signal Processing and Communication Application Conference (SIU) (Sinyal İşleme ve İletişim Uygulamaları Kurultayı), pages 513-516, , Paper in Turkish, extended English version available as arXiv:1607.07847, DOI: 10.1109/SIU.2016.7495790. [  ] [  ]

J , , and . A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. AI Communications 29 (2), pages 319-349, , DOI: 10.3233/AIC-150697. [  ] [  ]

C , , and . Problem Solving Using the HEX Family. In: Computational Models of Rationality - Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday, pages 150-174, . [  ] [  ]

Publications 2015:

O . Modeling Variations of First-Order Horn Abduction in Answer Set Programming. Technical Report, Computer Engineering Department, Faculty of Engineering, Marmara University, , arXiv:1512.08899 [cs.AI]. [  ]

O , , and . Problem Solving Using the HEX Family. Technical Report INFSYS RR-1843-15-07, Institut für Informationssysteme, TU Wien, , Favoritenstraße 9-11, A-1040 Vienna. [  ]

O , , , and . User Guide dlvhex 2.X. Technical Report, TU Wien, Institut für Informationssysteme, . [  ]

C . Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments. In: International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA), volume 1451 of CEUR Workshop Proceedings, pages 76-90, . [  ]

C  and . Using Semantic Web Resources for Solving Winograd Schemas: Sculptures, Shelves, Envy, and Success. In: Posters&Demos@SEMANTiCS 2015 and DSci15 Workshop, volume 1481 of CEUR Workshop Proceedings, pages 22-25, . [  ]

C  and . Answer Set Application Programming: a Case Study on Tetris. In: International Conference on Logic Programming (ICLP), Technical Communications, volume 1433 of CEUR Workshop Proceedings, . [  ] [  ]

C , , and . On Structural Analysis of Non-Ground Answer-Set Programs. In: International Conference on Logic Programming (ICLP), Technical Communications, volume 1433 of CEUR Workshop Proceedings, . [  ]

E Marcello Balduccini, Alessandra Mileo, Ekaterina Ovchinnikova, Alessandra Russo, and Peter Schüller, editors. Joint Proceedings of the 2nd Workshop on Natural Language Processing and Automated Reasoning, and the 2nd International Workshop on Learning and Nonmonotonic Reasoning at LPNMR 2015. , Lexington, KY. [  ] [  ]

O  and . Turkish Coreference Annotation Manual (V1). . [  ]

O , , , , , and . A Model Building Framework for Answer Set Programming with External Computations. Technical Report INFSYS RR-1843-15-01, Institut für Informationssysteme, TU Wien, . [  ]

Publications 2014:

O  and . AspCcgTk: Towards Syntactic Parsing with Semantic Disambiguation by Means of Declarative Programming. , ALP Issue 12/2014, Association for Logic Programming. [  ] [  ]

J , , , and . Finding Explanations of Inconsistency in Multi-Context Systems. Artificial Intelligence 216, pages 233-274, , DOI: 10.1016/j.artint.2014.07.008. [  ] [  ]

C . MoSTNER: Morphology-aware split-tag German NER with Factorie. In: KONVENS Workshop Proceedings (GermEval Shared Task on Named Entity Recognition), pages 121-124, , Third place (out of 11) in the GermEval2014 competition. [  ] [  ]

C . Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs. In: International Conference on the Principles of Knowledge Representation and Reasoning (KR), pages 358-367, . [  ] [  ] [  ]

C , , and . A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks. In: Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA), . [  ]

J , , , , and . Efficient HEX-Program Evaluation Based on Unfounded Sets. Journal of Artificial Intelligence Research 49, pages 269-321, , DOI: 10.1613/jair.4175. [  ] [  ]

Publications 2013:

C , , , and . The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. In: Applications of Declarative Programming and Knowledge Management (INAP) and Workshop on Logic Programming (WLP) 2011, Revised Selected Papers, pages 3-26, , DOI: 10.1007/978-3-642-41524-1_1. [  ]

E Chitta Baral and Peter Schüller, editors. Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning (NLPAR). , A Corunna, Spain, urn:nbn:de:0074-1044-7. [  ] [  ]

C . Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming. In: Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 8148 of Lecture Notes in Computer Science, pages 499-511, , DOI: 10.1007/978-3-642-40564-8_49. [  ]

C , , and . Prolog and ASP Inference Under One Roof. In: Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 8148 of Lecture Notes in Computer Science, pages 148-160, , DOI: 10.1007/978-3-642-40564-8_15. [  ]

C , , , , and . ActHEX: Implementing HEX Programs with Action Atoms. In: Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 8148 of Lecture Notes in Computer Science, pages 317-322, , DOI: 10.1007/978-3-642-40564-8_31. [  ]

J , , , , and . Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach. Theory and Practice of Logic Programming, Special Issue: International Conference on Logic Programming 13 (4-5), pages 831-846, , DOI: 10.1017/S1471068413000525. [  ] [  ]

C , , and . Levels of Integration between Low-Level Reasoning and Task Planning. In: Knowledge Representation and Reasoning in Robotics (KRR) Workshop at International Conference on Logic Programming (ICLP), , arXiv:1307.7461. [  ]

C , , , and . A General Formal Framework for Pathfinding Problems with Multiple Agents. In: AAAI Conference on Artificial Intelligence (AAAI), pages 290-296, . [  ] [  ]

C , , and . Levels of Integration between Low-Level Reasoning and Task Planning. In: AAAI Workshop on Intelligent Robotics Systems (IRS) at AAAI, . [  ] [  ]

C , , , and . Experimental Evaluation of Multi-Agent Pathfinding Problems using Answer Set Programming. In: Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA), . [  ]

C , , and . Levels of Integration between Low-Level Reasoning and Task Planning. In: Austrian Robotics Workshop (ARW), . [  ]

C , , and . A Systematic Analysis of Levels of Integration between Low-Level Reasoning and Task Planning. In: Workshop on Combining Task and Motion Planning (at IEEE International Conference on Robotics and Automation), . [  ]

C , , , and . Bilişsel Fabrikalarda Birden Fazla Robot Takımı için Eniyileştirilmiş Ayrıştırılabilir Plan Hesaplanması (Finding Optimal Decoupled Plans for Multiple Teams of Robots in Cognitive Factories). In: 21. Sinyal İşleme ve İletişim Uygulamaları Kurultayı (21st Signal Processing and Communications Applications Conference), pages 1681-1684, . [  ]

C  and . Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming. In: 10th International Conference on Computational Semantics (IWCS), pages 383-389, . [  ] [  ]

Publications 2012:

O , , , and . Finding Explanations of Inconsistency in Multi-Context Systems. Technical Report INFSYS RR-1843-12-09, Institut für Informationssysteme, TU Wien, . [  ]

O , , , , and . Improving HEX-Program Evaluation based on Unfounded Sets. Technical Report INFSYS RR-1843-12-08, Institut für Informationssysteme, TU Wien, . [  ]

C , , , , and . Eliminating Unfounded Set Checking for HEX-Programs. In: Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), pages 83-97, . [  ] [  ]

C , , , , and . Exploiting Unfounded Sets for HEX-Program Evaluation. In: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), September 26-28, 2012, Toulouse, France, volume 7519 of LNCS, pages 160-175, , DOI: 10.1007/978-3-642-33353-8_13. [  ]

O . Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation. PhD Thesis, Vienna University of Technology, . [  ]

C  and . Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. In: Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, volume 7265 of Lecture Notes in Computer Science, pages 436-453, , DOI: 10.1007/978-3-642-30743-0_30. [  ]

O , , , and . Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language. Technical Report INFSYS RR-1843-12-05, Vienna University of Technology, Institute for Information Systems, . [  ]

Publications 2011:

C  and . Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report. In: Workshop on Logic Programming (WLP), , CoRR 1108.5567, 12~pages (no page numbers). [  ] [  ]

C  and . Semantic Reasoning with SPARQL in Heterogeneous Multi-Context Systems. In: Advanced Information Systems Engineering Workshops (CAiSE), volume 83 of Lecture Notes in Business Information Processing, pages 575-585, , (1st International Workshop on Semantic Search (SSW)). [  ]

C , , and . Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. In: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 6645 of Lecture Notes in Computer Science, pages 107-119, . [  ]

C , , , , and . Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. In: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 6645 of Lecture Notes in Computer Science, pages 93-106, , Best Paper, also presented at IJCAI 2011. [  ] [  ] [  ]

C , , , and . Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. In: International Workshop on Logic-based Interpretation of Context: Modelling and Applications (Log-IC), volume 738 of CEUR Workshop Proceedings, pages 23-35, . [  ] [  ]

Publications 2010:

C , , and . Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. In: Thirty Years of Nonmonotonic Reasoning, , 15 pages. [  ]

C , , , and . The MCS-IE System for Explaining Inconsistency in Multi-Context Systems. In: European Conference on Logics in Artificial Intelligence (JELIA), volume 6341 of Lecture Notes in Artificial Intelligence, pages 356-359, . [  ] [  ]

C , , , and . Finding Explanations of Inconsistency in Nonmonotonic Multi-Context Systems. In: International Conference on the Principles of Knowledge Representation and Reasoning (KR), pages 329-339, . [  ] [  ]

O . Fangzhen Lin and Uli Sattler, editors. Methods and Algorithms for Managing Inconsistency in Multi-Context Systems. , Poster, International Conference on the Principles of Knowledge Representation and Reasoning, Doctoral Consortium (KR-DC). [  ]

C , , and . Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems. In: Proceedings of the Junior Scientist Conference 2010, pages 315-316, . [  ] [  ] [  ]

Publications 2009:

C , , , and . Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems. In: International Workshop on Logic-based Interpretation of Context: Modelling and Applications (Log-IC), volume 550 of CEUR Workshop Proceedings, , 4~pages (no page numbers). [  ]

Graduated Students (Master and PhD Level)
  • Mishal Benz (Kazmi)
    PhD, co-supervision with Yucel Saygin at Sabanci University, graduated 2017 within the Inspire project.
    First position Postdoc at Karlsruhe Institute of Technology (KIT).
  • Kenda Alakraa
    MSc, main supervision at Marmara University, graduated 2017 within the OmSieve project.
  • Fabian Salcher
    MSc, co-supervision with Michael Fink at TU Wien, graduated 2016​.
  • Benjamin Kiesl
    MSc, co-supervision with Hans Tompits at TU Wien, graduated 2015.

Community Services – Chair and Committee Duties
RoleEvent
ChairAnswer Set Programming Challenge 2019
ChairWorkshop on Trends and Applications of Answer Set Programming
PC MemberInternational Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019)
PC MemberAAAI Conference on Artificial Intelligence (AAAI 2019)
Chair Workshop on Trends and Applications of Answer Set Programming (TAASP 2018)
PC MemberInternational Joint Conference on Artificial Intelligence and European Conference on Artificial Inteliigence (IJCAI-ECAI 2018)
PC MemberTwentieth Symposium on Practical Aspects of Declarative Languages (PADL 2018)
PC MemberAAAI Conference on Artificial Intelligence (AAAI 2018)
PC MemberInternational Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2018)
PC Member International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)
PC MemberPortuguese Conference on Artificial Intelligence (EPIA 2017)
PC MemberAAAI Conference on Artificial Intelligence (AAAI 2017)
PC MemberInternational Symposium on Practical Aspects of Declarative Languages (PADL 2017)
Publicity ChairInternational Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)
PC Member Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)
Publicity ChairInternational Conference on Logic Programming (ICLP 2016)
PC MemberInternational Joint Conference on Artificial Intelligence (IJCAI 2016)
PC MemberAAAI Conference on Artificial Intelligence (AAAI 2016)
ChairWorkshop on Natural Language Processing and Automated Reasoning (NLPAR 2015) (colocated with LPNMR 2015)
PC MemberInternational Joint Conference on Artificial Intelligence (IJCAI 2015)
PC MemberAAAI Conference on Artificial Intelligence (AAAI 2015)
PC MemberAAAI Conference on Artificial Intelligence (AAAI 2014)
Publicity ChairInternational Conference on Logic Programming (ICLP 2013)
ChairWorkshop on Natural Language Processing and Automated Reasoning (NLPAR 2013) (colocated with LPNMR 2013 (mirror)
ChairWorkshop on Knowledge Representation and Reasoning in Robotics (KRR 2013) (colocated with ICLP 2013)
PC MemberInternational Conference on Artificial Intelligence (IJCAI 2013)
PC MemberWorkshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)

WordPress Di Business Theme