• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 186 matches

• 2024
• 
  Haya Majid Qureshi, Wolfgang Faber:
  Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. Theory Pract. Log. Program. 24(2): 368-393 (2024)
• 
  Jakub Med, Lukás Chrpa, Michael Morak, Wolfgang Faber:
  Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. ICAPS 2024: 369-377
• 
  Wolfgang Faber:
  Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report. ICLP Workshops 2024
• 
  Haya Majid Qureshi, Wolfgang Faber:
  Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. CoRR abs/2402.02978 (2024)
• 2023
• 
  Mario Alviano, Wolfgang Faber, Martin Gebser:
  Aggregate Semantics for Propositional Answer Set Programs. Theory Pract. Log. Program. 23(1): 157-194 (2023)
• 
  Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca:
  An Efficient Solver for ASP(Q). Theory Pract. Log. Program. 23(4): 948-964 (2023)
• 
  Wolfgang Faber, Michael Morak:
  Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. AAAI 2023: 6322-6329
• 
  Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca:
  Enhancing ASP(Q) evaluation. DP@AI*IA 2023: 38-46
• 
  Haya Majid Qureshi, Wolfgang Faber:
  Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. PADL 2023: 216-231
• 
  Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner:
  Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023. CEUR Workshop Proceedings 3437, CEUR-WS.org 2023 [contents]
• 
  Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca:
  An efficient solver for ASP(Q). CoRR abs/2305.10021 (2023)
• 2022
• 
  Jorge Fandinno, Wolfgang Faber, Michael Gelfond:
  Thirty years of Epistemic Specifications. Theory Pract. Log. Program. 22(6): 1043-1083 (2022)
• 
  Haya Majid Qureshi, Wolfgang Faber:
  Meta-reasoning over OWL 2 QL using Datalog. Datalog 2022: 181-187
• 
  Wolfgang Faber, Michael Morak:
  Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. HYDRA/RCRA@LPNMR 2022: 78-89
• 
  Wolfgang Faber, Michael Morak, Lukás Chrpa:
  Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. PADL 2022: 42-56
• 
  Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari:
  Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022. CEUR Workshop Proceedings 3193, CEUR-WS.org 2022 [contents]
• 2021
• 
  Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca:
  Paracoherent answer set computation. Artif. Intell. 299: 103519 (2021)
• 
  Wolfgang Faber, Michael Morak, Lukás Chrpa:
  Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. Theory Pract. Log. Program. 21(5): 646-662 (2021)
• 
  Lukás Chrpa, Wolfgang Faber, Michael Morak:
  Universal and Uniform Action Reversibility. KR 2021: 651-654
• 
  Haya Majid Qureshi, Wolfgang Faber:
  An Evaluation of Meta-reasoning over OWL 2 QL. RuleML+RR 2021: 218-233
• 
  Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak:
  Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings. Lecture Notes in Computer Science 12678, Springer 2021, ISBN 978-3-030-75774-8 [contents]
• 
  Wolfgang Faber, Michael Morak, Lukás Chrpa:
  Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming. CoRR abs/2108.05428 (2021)
• 
  Jorge Fandinno, Wolfgang Faber, Michael Gelfond:
  Thirty years of Epistemic Specifications. CoRR abs/2108.07669 (2021)
• 
  Mario Alviano, Wolfgang Faber, Martin Gebser:
  Aggregate Semantics for Propositional Answer Set Programs. CoRR abs/2109.08662 (2021)
• 2020
• 
  Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
  ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2): 294-309 (2020)
• 
  Wolfgang Faber:
  Reversibility of Actions and Plans (invited talk). CILC 2020: 1
• 
  Simon Stieber, Alwin Hoffmann, Alexander Schiendorfer, Wolfgang Reif, Matthias Beyrle, Jan Faber, Michaela Richter, Markus G. R. Sause:
  Towards Real-time Process Monitoring and Machine Learning for Manufacturing Composite Structures. ETFA 2020: 1455-1458
• 
  Wolfgang Faber, Michael Morak:
  Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. ICLP Workshops 2020
• 
  Lukás Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak:
  Determining Action Reversibility in STRIPS Using Answer Set Programming. ICLP Workshops 2020
• 
  Michael Morak, Lukás Chrpa, Wolfgang Faber, Daniel Fiser:
  On the Reversibility of Actions in Planning. KR 2020: 652-661

skipping 156 more matches