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

• 2021
• 
  Peter Backeman, Philipp Rümmer, Aleksandar Zeljic:
  Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic. Formal Methods Syst. Des. 57(2): 121-156 (2021)
• 2020
• 
  Zuzana Bilanová, Ján Perhác, Michal Hulic:
  A Modern Interpreter of Predicate Linear Logic Formulas. CSIT (2) 2020: 103-106
• 2018
• 
  Frederik Harwath:
  On Invariant Formulae of First-Order Logic with Numerical Predicates. HU Berlin, Germany, 2018
• 
  Ján Perhác, Daniel Mihályi, Lukas Relosky:
  Distribution of Linux Log Files Described by Predicate Linear Logic Formula. SACI 2018: 81-86
• 2015
• 
  Xiaoyan Qin, Yang Xu, Yi Liu:
  The validity degree vectors of formulae in two-valued predicate logic. Int. J. Comput. Intell. Syst. 8(5): 829-840 (2015)
• 2014
• 
  Grigory K. Olkhovikov:
  Model-theoretic characterization of intuitionistic predicate formulas. J. Log. Comput. 24(4): 809-829 (2014)
• 2013
• 
  João Marques-Silva, Mikolás Janota, Anton Belov:
  Minimal Sets over Monotone Predicates in Boolean Formulae. CAV 2013: 592-607
• 
  Xiaoyan Qin, Yang Xu:
  Theorey of vector truth degrees of formulas in two-valued predicate logic. ICMLC 2013: 1724-1728
• 2011
• 
  Wei-Yi Liu, Kun Yue, Ming-Hai Gao:
  Constructing probabilistic graphical model from predicate formulas for fusing logical and probabilistic knowledge. Inf. Sci. 181(18): 3828-3845 (2011)
• 2010
• 
  Yusuke Miyao, Alastair Butler, Kei Yoshimoto, Jun'ichi Tsujii:
  A Modular Architecture for the Wide-Coverage Translation of Natural Language Texts into Predicate Logic Formulas. PACLIC 2010: 481-488
• 
  Angelo De Caro, Vincenzo Iovino, Giuseppe Persiano:
  Efficient Fully Secure (Hierarchical) Predicate Encryption for Conjunctions, Disjunctions and k-CNF/DNF formulae. IACR Cryptol. ePrint Arch. 2010: 492 (2010)
• 2007
• 
  Alexander Sakharov:
  Intuitionistic Predicate Logic with Decidable Propositional Formulas. Reports Math. Log. 42: 153-168 (2007)
• 2006
• 
  Guo-Jun Wang, Xiao-Yan Qin, Xiang-Nan Zhou:
  An intrinsic fuzzy set on the universe of discourse of predicate formulas. Fuzzy Sets Syst. 157(24): 3145-3158 (2006)
• 
  Laura Chaubard, Jean-Eric Pin, Howard Straubing:
  First Order Formulas with Modular Predicates. LICS 2006: 211-220
• 2005
• 
  Martin Robinson, Kurt Kubik, Brian C. Lovell:
  A First Order Predicate Logic Formulation Of The 3d Reconstruction Problem And Its Solution Space. Int. J. Pattern Recognit. Artif. Intell. 19(1): 45-62 (2005)
• 
  Shin-ya Katsumata:
  A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. CSL 2005: 87-102
• 2004
• 
  Petr Hájek:
  A True Unprovable Formula of Fuzzy Predicate Logic. Logic versus Approximation 2004: 1-5
• 2002
• 
  Loïc Colson:
  Syntactical Truth Predicates for Formulas with Atomic Negation. Math. Struct. Comput. Sci. 12(1): 1-18 (2002)
• 2000
• 
  Tatsuya Shimura:
  Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster. Stud Logica 65(2): 237-247 (2000)
• 
  Setsuo Ohsuga:
  The Gap between Symbol and Non-symbol Processing - An Attempt to Represent a Database by Predicate Formulae. PRICAI 2000: 16-26
• 1997
• 
  Hajime Yoshino:
  On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation. Artif. Intell. Law 5(1-2): 77-96 (1997)
• 1994
• 
  Hajime Yoshino:
  Representation of Legal Knowledge by Compound Predicate Formula. ICLP Workshop: Legal Application of Logic Programming 1994
• 
  Rita Maria da Silva, Antônio Eduardo C. Pereira, Márcio L. Andrade Netto:
  A System of Knowledge Representation Based in Formulae of Predicate Calculus whose Variables are Annotated by Expressions of A "Fuzzy"Terminological Logic. IPMU 1994: 409-417
• 1993
• 
  Michael Makkai:
  The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1. Notre Dame J. Formal Log. 34(3): 334-377 (1993)
• 
  Michael Makkai:
  The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2. Notre Dame J. Formal Log. 34(4): 471-498 (1993)
• 
  Tatsuya Shimura:
  Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. Stud Logica 52(1): 23-40 (1993)
• 
  Jilei Yin, Hong Zhu:
  On the Learnability of a Restricted Predicate Formulae. FCT 1993: 462-471
• 1992
• 
  Ching-Tsun Chou:
  A Sequent Formulation of a Logic of Predicates in HOL. TPHOLs 1992: 71-80
• 1988
• 
  Peter Jackson, Han Reichgelt:
  A General Proof Method for Modal Predicate Logic without the Barcan Formula. AAAI 1988: 177-181
• 1985
• 
  H. Yoshida, H. Kato, Masakatsu Sugimoto:
  Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae. LP 1985: 117-127

skipping 5 more matches