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

• 2015
• 
  Ife Adebara, Verónica Dahl, Sergio Tessaris:
  Parsing with Partially Known Grammar. ICAART (Revised Selected Papers) 2015: 334-346
• 
  Fadel Adoe, Yingke Chen, Prashant Doshi:
  Speeding up Planning in Multiagent Settings Using CPU-GPU Architectures. ICAART (Revised Selected Papers) 2015: 262-283
• 
  Mario Aehnelt, Sebastian Bader:
  From Information Assistance to Cognitive Automation: A Smart Assembly Use Case. ICAART (Revised Selected Papers) 2015: 207-222
• 
  Gerrit Anders, Florian Siefert, Wolfgang Reif:
  A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives. ICAART (Revised Selected Papers) 2015: 223-244
• 
  Roman Barták, Marek Vlk:
  Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints. ICAART (Revised Selected Papers) 2015: 185-206
• 
  Imade Benelallam, Zakarya Erraji, Ghizlane El Khattabi, El-Houssine Bouyakhf:
  Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments. ICAART (Revised Selected Papers) 2015: 20-36
• 
  Madalina M. Drugan:
  Infinite Horizon Multi-armed Bandits with Reward Vectors: Exploration/Exploitation Trade-off. ICAART (Revised Selected Papers) 2015: 128-144
• 
  Magnus Hjelmblom:
  Offline Norm Evolution. ICAART (Revised Selected Papers) 2015: 316-333
• 
  Jan Jakubuv, Jan Tozicka, Antonín Komenda:
  Using Process Calculi for Plan Verification in Multiagent Planning. ICAART (Revised Selected Papers) 2015: 245-261
• 
  Mohd Nor Akmal Khalid, E. Mei Ang, Umi Kalsom Yusof, Hiroyuki Iida, Taichi Ishitobi:
  Identifying Critical Positions Based on Conspiracy Numbers. ICAART (Revised Selected Papers) 2015: 100-127
• 
  Tatsuya Kiyohara, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga:
  Activity Recognition for Dogs Based on Time-series Data Analysis. ICAART (Revised Selected Papers) 2015: 163-184
• 
  Mariachiara Puviani, Giacomo Cabri, Nicola Capodieci, Letizia Leonardi:
  Building Self-adaptive Systems by Adaptation Patterns Integrated into Agent Methodologies. ICAART (Revised Selected Papers) 2015: 58-75
• 
  Gavin Rens, Thomas Andreas Meyer:
  A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. ICAART (Revised Selected Papers) 2015: 3-19
• 
  Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer:
  A Logic for Reasoning About Decision-Theoretic Projections. ICAART (Revised Selected Papers) 2015: 79-99
• 
  Lamia Sadeg, Zineb Habbas, Wassila Aggoune-Mtalaa:
  Solving PCSPs Using Genetic Algorithms Guided by Structural Knowledge. ICAART (Revised Selected Papers) 2015: 145-162
• 
  Ilias Sakellariou, Dimitris Dranidis, Marina Ntika, Petros Kefalas:
  Stream X-Machines for Agent Simulation Test Case Generation. ICAART (Revised Selected Papers) 2015: 37-57
• 
  Flávio S. Corrêa da Silva, David Stuart Robertson, Wamberto Weber Vasconcelos:
  LS 2 C - A Platform for Norm Controlled Social Computers. ICAART (Revised Selected Papers) 2015: 284-297
• 
  Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa:
  Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data. ICAART (Revised Selected Papers) 2015: 298-315
• 
  Béatrice Duval, H. Jaap van den Herik, Stéphane Loiseau, Joaquim Filipe:
  Agents and Artificial Intelligence - 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9494, Springer 2015, ISBN 978-3-319-27946-6 [contents]