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

• 2020
• 
  Yasir Mahmood, Arne Meier:
  Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. FoIKS 2020: 157-174
• 
  Munqath Alattar, Attila Sali:
  Functional Dependencies in Incomplete Databases with Limited Domains. FoIKS 2020: 1-21
• 
  Christoph Beierle, Jonas Haldimann:
  Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. FoIKS 2020: 22-41
• 
  Robert Brijder, Marc Gyssens, Jan Van den Bussche:
  On Matrices and K-Relations. FoIKS 2020: 42-57
• 
  Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran:
  ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. FoIKS 2020: 79-89
• 
  Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
  Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. FoIKS 2020: 90-105
• 
  Pietro Galliani, Jouko Väänänen:
  Diversity, Dependence and Independence. FoIKS 2020: 106-121
• 
  Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic:
  Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. FoIKS 2020: 122-139
• 
  John Grant, Francesco Parisi:
  Measuring Inconsistency in a General Information Space. FoIKS 2020: 140-156
• 
  Dennis Medved, Johan Nilsson, Pierre Nugues:
  Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival. FoIKS 2020: 175-190
• 
  Munyque Mittelmann, Laurent Perrussel:
  Game Description Logic with Integers: A GDL Numerical Extension. FoIKS 2020: 191-210
• 
  Ryo Murai, Katsuhiko Sano:
  Craig Interpolation of Epistemic Logics with Distributed Knowledge. FoIKS 2020: 211-221
• 
  Stipe Pandzic:
  On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic. FoIKS 2020: 222-241
• 
  Elena V. Ravve:
  Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams. FoIKS 2020: 242-262
• 
  Yuri David Santos:
  Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood. FoIKS 2020: 58-78
• 
  Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub:
  Realisability of Choreographies. FoIKS 2020: 263-280
• 
  Bernhard Thalheim:
  Schema Optimisation Instead of (Local) Normalisation. FoIKS 2020: 281-300
• 
  Daniel Xia, Michael Simpson, Venkatesh Srinivasan, Alex Thomo:
  Strongly Minimal MapReduce Algorithms: A TeraSort Case Study. FoIKS 2020: 301-317
• 
  Xianglin Zhan, Cai Lu, Guangmin Hu:
  Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences. FoIKS 2020: 318-333
• 
  Andreas Herzig, Juha Kontinen:
  Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Lecture Notes in Computer Science 12012, Springer 2020, ISBN 978-3-030-39950-4 [contents]