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

• 2017
• 
  Mariela Andrade, Eduardo Gasca, Eréndira Rendón:
  Implementation of Incremental Learning in Artificial Neural Networks. GCAI 2017: 221-232
• 
  Franz Baader, Andreas Ecke:
  Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. GCAI 2017: 6-19
• 
  Nikolaj S. Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv:
  Abduction for Learning Smart City Rules. GCAI 2017: 233-238
• 
  Liron Cohen, Yoni Zohar:
  Reasoning Inside The Box: Deduction in Herbrand Logics. GCAI 2017: 107-120
• 
  Wesley Cox, Tim French, Mark Reynolds, Lyndon While:
  A Genetic Algorithm for Truck Dispatching in Mining. GCAI 2017: 93-106
• 
  Eugene C. Freuder, Richard J. Wallace:
  Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems. GCAI 2017: 51-63
• 
  Marijn Heule:
  Everything's Bigger in Texas: "The Largest Math Proof Ever". GCAI 2017: 1-5
• 
  Jan Jakubuv, Martin Suda, Josef Urban:
  Automated Invention of Strategies and Term Orderings for Vampire. GCAI 2017: 121-133
• 
  Sima Jamali, David Mitchell:
  Improving SAT Solver Performance with Structure-based Preferential Bumping. GCAI 2017: 175-187
• 
  Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle:
  Iterated contraction of propositions and conditionals under the principle of conditional preservation. GCAI 2017: 78-92
• 
  Alexandra Kirsch:
  A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments. GCAI 2017: 134-147
• 
  Ramoni O. Lasisi, Abibat A. Lasisi:
  Improved Heuristic for Manipulation of Second-order Copeland Elections. GCAI 2017: 162-174
• 
  Yuezhang Li, Katia P. Sycara, Rahul Iyer:
  Object-sensitive Deep Reinforcement Learning. GCAI 2017: 20-35
• 
  Justin Lovinger, Xiaoqin Zhang:
  Enhanced Simplified Memory-bounded A Star (SMA*+). GCAI 2017: 202-212
• 
  Pedro Peña, Joseph G. Masterjohn, Ubbo Visser:
  Optimizing Kick Trajectory: A Comparative Study. GCAI 2017: 239-245
• 
  Gopalakrishnan Krishnasamy Sivaprakasam, Adrienne Raglin, Douglas Summers-Stay, Giora Slutzki:
  Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases. GCAI 2017: 188-201
• 
  Thierry Boy de la Tour:
  Properties of Constrained Generalization Algorithms. GCAI 2017: 64-77
• 
  Joshua Cherian Varughese, Ronald Thenius, Thomas Schmickl, Franz Wotawa:
  Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms. GCAI 2017: 148-161
• 
  Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke:
  Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. GCAI 2017: 36-50
• 
  Ching-Hao Yu, Manas Bhatnagar, Rachel Hogen, Dilin Mao, Atefeh Farzindar, Kiran Dhanireddy:
  Anemic Status Prediction using Multilayer Perceptron Neural Network Model. GCAI 2017: 213-220
• 
  Christoph Benzmüller, Christine L. Lisetti, Martin Theobald:
  GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. EPiC Series in Computing 50, EasyChair 2017 [contents]