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

• 2024
• 
  Veeti Ahvonen, Damian Heiman, Antti Kuusisto:
  Descriptive Complexity for Neural Networks via Boolean Networks. CSL 2024: 9:1-9:22
• 
  Anuj Dawar, Lauri Hella:
  Quantifiers Closed Under Partial Polymorphisms. CSL 2024: 23:1-23:19
• 
  Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander:
  Interpretable Classifiers for Tabular Data via Feature Selection and Discretization. DAO-XAI@ECAI 2024
• 
  Anssi Yli-Jyrä, Heini Ikävalko, Tomi Janhunen:
  Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization. FoIKS 2024: 381-400
• 
  Masood Feyzbakhsh Rankooh, Tomi Janhunen:
  Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming. IJCAI 2024: 3369-3376
• 
  Masood Feyzbakhsh Rankooh, Tomi Janhunen:
  Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract). IJCAI 2024: 8399-8404
• 
  Henry Haverinen, Tomi Janhunen, Tero Päivärinta, Sami Lempinen, Suvi Kaartinen, Sami Merilä:
  Automating Cybersecurity Compliance in DevSecOps with Open Information Model for Security as Code. eSAAM 2024: 93-102
• 
  Veeti Ahvonen, Damian Heiman, Antti Kuusisto:
  Graded modal logic and counting message passing automata. CoRR abs/2401.06519 (2024)
• 
  Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander:
  Interpretable classifiers for tabular data via discretization and feature selection. CoRR abs/2402.05680 (2024)
• 
  Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz:
  Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats. CoRR abs/2405.14606 (2024)
• 
  Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander:
  Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions. CoRR abs/2406.01114 (2024)
• 
  Reijo Jaakkola, Antti Kuusisto, Miikka Vilander:
  Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. CoRR abs/2406.02108 (2024)
• 2023
• 
  Antti Kuusisto, Raine Rönnholm:
  The optimal way to play the most difficult repeated two-player coordination games. Discret. Appl. Math. 339: 36-52 (2023)
• 
  Masood Feyzbakhsh Rankooh, Tomi Janhunen:
  Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs. Theory Pract. Log. Program. 23(4): 782-796 (2023)
• 
  Lauri Hella:
  The Expressive Power of CSP-Quantifiers. CSL 2023: 25:1-25:19
• 
  Reijo Jaakkola, Antti Kuusisto:
  Complexity Classifications via Algebraic Logic. CSL 2023: 27:1-27:18
• 
  Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander:
  Short Boolean Formulas as Explanations in Practice. JELIA 2023: 90-105
• 
  Stéphane Demri, Raine Rönnholm:
  How to Manage a Budget with ATL+. KR 2023: 188-197
• 
  Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto:
  Descriptive Complexity for Distributed Computing with Circuits. MFCS 2023: 9:1-9:15
• 
  Anssi Yli-Jyrä, Masood Feyzbakhsh Rankooh, Tomi Janhunen:
  Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. PADL 2023: 279-294
• 
  Reijo Jaakkola, Antti Kuusisto, Miikka Vilander:
  Relating Description Complexity to Entropy. STACS 2023: 38:1-38:18
• 
  Tomi Janhunen:
  Generalizing Level Ranking Constraints for Monotone and Convex Aggregates. ICLP 2023: 101-115
• 
  Reijo Jaakkola, Antti Kuusisto, Miikka Vilander:
  A monotone connection between model class size and description length. CoRR abs/2301.13800 (2023)
• 
  Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto:
  Descriptive complexity for distributed computing with circuits. CoRR abs/2303.04735 (2023)
• 
  Masood Feyzbakhsh Rankooh, Tomi Janhunen:
  Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs. CoRR abs/2306.05069 (2023)
• 
  Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander:
  Short Boolean Formulas as Explanations in Practice. CoRR abs/2307.06971 (2023)
• 
  Anuj Dawar, Lauri Hella:
  Quantifiers closed under partial polymorphisms. CoRR abs/2308.03695 (2023)
• 
  Veeti Ahvonen, Damian Heiman, Antti Kuusisto:
  Descriptive complexity for neural networks via Boolean networks. CoRR abs/2308.06277 (2023)
• 
  Lauri Hella, Juha Kontinen, Kerkko Luosto:
  Regular Representations of Uniform TC0. CoRR abs/2309.06926 (2023)
• 2022
• 
  Raine Rönnholm:
  On definability of team relations with k-invariant atoms. Ann. Pure Appl. Log. 173(10): 103136 (2022)

skipping 288 more matches