• 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 15 matches

• 2019
• 
  Ruba Alassaf, Renate A. Schmidt:
  DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic. GCAI 2019: 127-138
• 
  Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan:
  Practical Query Rewriting for DL-Lite with Numerical Predicates. GCAI 2019: 15-27
• 
  Aysu Bogatarkan, Volkan Patoglu, Esra Erdem:
  A Declarative Method for Dynamic Multi-Agent Path Finding. GCAI 2019: 54-67
• 
  Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel:
  Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning. GCAI 2019: 94-107
• 
  Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
  On Knowledge Dependence in Weighted Description Logic. GCAI 2019: 68-80
• 
  Lukas Hahn, Lutz Roese-Koerner, Peet Cremer, Urs Zimmermann, Ori Maoz, Anton Kummert:
  On the Robustness of Active Learning. GCAI 2019: 152-162
• 
  Abdullah Khan, Loris Bozzato, Luciano Serafini, Beatrice Lazzerini:
  Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming. GCAI 2019: 42-53
• 
  Sibylle Möhle, Armin Biere:
  Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting. GCAI 2019: 113-126
• 
  Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco:
  Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI 2019: 28-41
• 
  Magdalena Ortiz:
  Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case. GCAI 2019: 1-14
• 
  João G. Ribeiro, Francisco S. Melo, João Dias:
  Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning. GCAI 2019: 163-175
• 
  Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard:
  Weighted Description Logic for Classification Problems. GCAI 2019: 108-112
• 
  Satyadharma Tirtarasa, Benjamin Zarrieß:
  Projection in a Description Logic of Context with Actions. GCAI 2019: 81-93
• 
  Levan Uridia, Dirk Walther:
  Common Knowledge in Epistemic Logic With Hypotheses. GCAI 2019: 139-151
• 
  Diego Calvanese, Luca Iocchi:
  GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. EPiC Series in Computing 65, EasyChair 2019 [contents]