Search dblp for Publications

• > Home > Search

@article{DBLP:journals/fmsd/BackemanRZ21,
  author       = {Peter Backeman and
                  Philipp R{\"{u}}mmer and
                  Aleksandar Zeljic},
  title        = {Interpolating bit-vector formulas using uninterpreted predicates and
                  Presburger arithmetic},
  journal      = {Formal Methods Syst. Des.},
  volume       = {57},
  number       = {2},
  pages        = {121--156},
  year         = {2021}
}

@inproceedings{DBLP:conf/csit/BilanovaPH20,
  author       = {Zuzana Bilanov{\'{a}} and
                  J{\'{a}}n Perh{\'{a}}c and
                  Michal Hulic},
  title        = {A Modern Interpreter of Predicate Linear Logic Formulas},
  booktitle    = {{CSIT} {(2)}},
  pages        = {103--106},
  publisher    = {{IEEE}},
  year         = {2020}
}

@phdthesis{DBLP:phd/basesearch/Harwath18,
  author       = {Frederik Harwath},
  title        = {On Invariant Formulae of First-Order Logic with Numerical Predicates},
  school       = {{HU} Berlin, Germany},
  year         = {2018}
}

@inproceedings{DBLP:conf/saci/PerhacMR18,
  author       = {J{\'{a}}n Perh{\'{a}}c and
                  Daniel Mih{\'{a}}lyi and
                  Lukas Relosky},
  title        = {Distribution of Linux Log Files Described by Predicate Linear Logic
                  Formula},
  booktitle    = {{SACI}},
  pages        = {81--86},
  publisher    = {{IEEE}},
  year         = {2018}
}

@article{DBLP:journals/ijcisys/QinXL15,
  author       = {Xiaoyan Qin and
                  Yang Xu and
                  Yi Liu},
  title        = {The validity degree vectors of formulae in two-valued predicate logic},
  journal      = {Int. J. Comput. Intell. Syst.},
  volume       = {8},
  number       = {5},
  pages        = {829--840},
  year         = {2015}
}

@article{DBLP:journals/logcom/Olkhovikov14,
  author       = {Grigory K. Olkhovikov},
  title        = {Model-theoretic characterization of intuitionistic predicate formulas},
  journal      = {J. Log. Comput.},
  volume       = {24},
  number       = {4},
  pages        = {809--829},
  year         = {2014}
}

@inproceedings{DBLP:conf/cav/Marques-SilvaJB13,
  author       = {Jo{\~{a}}o Marques{-}Silva and
                  Mikol{\'{a}}s Janota and
                  Anton Belov},
  title        = {Minimal Sets over Monotone Predicates in Boolean Formulae},
  booktitle    = {{CAV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8044},
  pages        = {592--607},
  publisher    = {Springer},
  year         = {2013}
}

@inproceedings{DBLP:conf/icmlc/QinX13,
  author       = {Xiaoyan Qin and
                  Yang Xu},
  title        = {Theorey of vector truth degrees of formulas in two-valued predicate
                  logic},
  booktitle    = {{ICMLC}},
  pages        = {1724--1728},
  publisher    = {{IEEE}},
  year         = {2013}
}

@article{DBLP:journals/isci/LiuYG11,
  author       = {Wei{-}Yi Liu and
                  Kun Yue and
                  Ming{-}Hai Gao},
  title        = {Constructing probabilistic graphical model from predicate formulas
                  for fusing logical and probabilistic knowledge},
  journal      = {Inf. Sci.},
  volume       = {181},
  number       = {18},
  pages        = {3828--3845},
  year         = {2011}
}

@inproceedings{DBLP:conf/paclic/MiyaoBYT10,
  author       = {Yusuke Miyao and
                  Alastair Butler and
                  Kei Yoshimoto and
                  Jun'ichi Tsujii},
  title        = {A Modular Architecture for the Wide-Coverage Translation of Natural
                  Language Texts into Predicate Logic Formulas},
  booktitle    = {{PACLIC}},
  pages        = {481--488},
  publisher    = {Institute for Digital Enhancement of Cognitive Development, Waseda
                  University},
  year         = {2010}
}

@article{DBLP:journals/iacr/CaroIP10a,
  author       = {Angelo De Caro and
                  Vincenzo Iovino and
                  Giuseppe Persiano},
  title        = {Efficient Fully Secure (Hierarchical) Predicate Encryption for Conjunctions,
                  Disjunctions and k-CNF/DNF formulae},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {492},
  year         = {2010}
}

@article{DBLP:journals/rml/Sakharov07,
  author       = {Alexander Sakharov},
  title        = {Intuitionistic Predicate Logic with Decidable Propositional Formulas},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {153--168},
  year         = {2007}
}

@article{DBLP:journals/fss/WangQZ06,
  author       = {Guo{-}Jun Wang and
                  Xiao{-}Yan Qin and
                  Xiang{-}Nan Zhou},
  title        = {An intrinsic fuzzy set on the universe of discourse of predicate formulas},
  journal      = {Fuzzy Sets Syst.},
  volume       = {157},
  number       = {24},
  pages        = {3145--3158},
  year         = {2006}
}

@inproceedings{DBLP:conf/lics/ChaubardPS06,
  author       = {Laura Chaubard and
                  Jean{-}Eric Pin and
                  Howard Straubing},
  title        = {First Order Formulas with Modular Predicates},
  booktitle    = {{LICS}},
  pages        = {211--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2006}
}

@article{DBLP:journals/ijprai/RobinsonKL05,
  author       = {Martin Robinson and
                  Kurt Kubik and
                  Brian C. Lovell},
  title        = {A First Order Predicate Logic Formulation Of The 3d Reconstruction
                  Problem And Its Solution Space},
  journal      = {Int. J. Pattern Recognit. Artif. Intell.},
  volume       = {19},
  number       = {1},
  pages        = {45--62},
  year         = {2005}
}

@inproceedings{DBLP:conf/csl/Katsumata05,
  author       = {Shin{-}ya Katsumata},
  title        = {A Semantic Formulation of TT-Lifting and Logical Predicates for Computational
                  Metalanguage},
  booktitle    = {{CSL}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3634},
  pages        = {87--102},
  publisher    = {Springer},
  year         = {2005}
}

@inproceedings{DBLP:conf/birthday/Hajek04,
  author       = {Petr H{\'{a}}jek},
  title        = {A True Unprovable Formula of Fuzzy Predicate Logic},
  booktitle    = {Logic versus Approximation},
  series       = {Lecture Notes in Computer Science},
  volume       = {3075},
  pages        = {1--5},
  publisher    = {Springer},
  year         = {2004}
}

@article{DBLP:journals/mscs/Colson02,
  author       = {Lo{\"{\i}}c Colson},
  title        = {Syntactical Truth Predicates for Formulas with Atomic Negation},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {12},
  number       = {1},
  pages        = {1--18},
  year         = {2002}
}

@article{DBLP:journals/sLogica/Shimura00,
  author       = {Tatsuya Shimura},
  title        = {Kripke Incompleteness of Predicate Extensions of the Modal Logics
                  Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster},
  journal      = {Stud Logica},
  volume       = {65},
  number       = {2},
  pages        = {237--247},
  year         = {2000}
}

@inproceedings{DBLP:conf/pricai/Ohsuga00,
  author       = {Setsuo Ohsuga},
  title        = {The Gap between Symbol and Non-symbol Processing - An Attempt to Represent
                  a Database by Predicate Formulae},
  booktitle    = {{PRICAI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1886},
  pages        = {16--26},
  publisher    = {Springer},
  year         = {2000}
}

@article{DBLP:journals/ail/Yoshino97,
  author       = {Hajime Yoshino},
  title        = {On the Logical Foundations of Compound Predicate Formulae for Legal
                  Knowledge Representation},
  journal      = {Artif. Intell. Law},
  volume       = {5},
  number       = {1-2},
  pages        = {77--96},
  year         = {1997}
}

@inproceedings{DBLP:conf/iclp/Yoshino94,
  author       = {Hajime Yoshino},
  title        = {Representation of Legal Knowledge by Compound Predicate Formula},
  booktitle    = {{ICLP} Workshop: Legal Application of Logic Programming},
  year         = {1994}
}

@inproceedings{DBLP:conf/ipmu/SilvaPN94,
  author       = {Rita Maria da Silva and
                  Ant{\^{o}}nio Eduardo C. Pereira and
                  M{\'{a}}rcio L. Andrade Netto},
  title        = {A System of Knowledge Representation Based in Formulae of Predicate
                  Calculus whose Variables are Annotated by Expressions of {A} "Fuzzy"Terminological
                  Logic},
  booktitle    = {{IPMU}},
  series       = {Lecture Notes in Computer Science},
  volume       = {945},
  pages        = {409--417},
  publisher    = {Springer},
  year         = {1994}
}

@article{DBLP:journals/ndjfl/Makkai93,
  author       = {Michael Makkai},
  title        = {The fibrational formulation of intuitionistic predicate logic {I:}
                  completeness according to G{\"{o}}del, Kripke, and L{\"{a}}uchli,
                  Part 1},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {34},
  number       = {3},
  pages        = {334--377},
  year         = {1993}
}

@article{DBLP:journals/ndjfl/Makkai93a,
  author       = {Michael Makkai},
  title        = {The fibrational formulation of intuitionistic predicate logic {I:}
                  completeness according to G{\"{o}}del, Kripke, and L{\"{a}}uchli,
                  Part 2},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {34},
  number       = {4},
  pages        = {471--498},
  year         = {1993}
}

@article{DBLP:journals/sLogica/Shimura93,
  author       = {Tatsuya Shimura},
  title        = {Kripke completeness of some intermediate predicate logics with the
                  axiom of constant domain and a variant of canonical formulas},
  journal      = {Stud Logica},
  volume       = {52},
  number       = {1},
  pages        = {23--40},
  year         = {1993}
}

@inproceedings{DBLP:conf/fct/YinH93,
  author       = {Jilei Yin and
                  Hong Zhu},
  title        = {On the Learnability of a Restricted Predicate Formulae},
  booktitle    = {{FCT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {710},
  pages        = {462--471},
  publisher    = {Springer},
  year         = {1993}
}

@inproceedings{DBLP:conf/tphol/Chou92a,
  author       = {Ching{-}Tsun Chou},
  title        = {A Sequent Formulation of a Logic of Predicates in {HOL}},
  booktitle    = {TPHOLs},
  series       = {{IFIP} Transactions},
  volume       = {{A-20}},
  pages        = {71--80},
  publisher    = {North-Holland/Elsevier},
  year         = {1992}
}

@inproceedings{DBLP:conf/aaai/JacksonR88,
  author       = {Peter Jackson and
                  Han Reichgelt},
  title        = {A General Proof Method for Modal Predicate Logic without the Barcan
                  Formula},
  booktitle    = {{AAAI}},
  pages        = {177--181},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1988}
}

@inproceedings{DBLP:conf/lp/YoshidaKS85,
  author       = {H. Yoshida and
                  H. Kato and
                  Masakatsu Sugimoto},
  title        = {Retrieval of Software Module Functions Using First-Order Predicate
                  Logic Formulae},
  booktitle    = {{LP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {221},
  pages        = {117--127},
  publisher    = {Springer},
  year         = {1985}
}

@inproceedings{DBLP:conf/focs/Immerman79,
  author       = {Neil Immerman},
  title        = {Length of Predicate Calculus Formulas as a New Complexity Measure},
  booktitle    = {{FOCS}},
  pages        = {337--347},
  publisher    = {{IEEE} Computer Society},
  year         = {1979}
}

@article{DBLP:journals/jsyml/Hughes76a,
  author       = {Charles E. Hughes},
  title        = {A Reduction Class Containing Formulas with one Monadic Predicate and
                  one Binary Function Symbol},
  journal      = {J. Symb. Log.},
  volume       = {41},
  number       = {1},
  pages        = {45--49},
  year         = {1976}
}

@article{DBLP:journals/jsyml/Lewis76,
  author       = {Harry R. Lewis},
  title        = {Krom Formulas with One Dyadic Predicate Letter},
  journal      = {J. Symb. Log.},
  volume       = {41},
  number       = {2},
  pages        = {341--362},
  year         = {1976}
}

@article{DBLP:journals/aml/Monting75,
  author       = {J{\"{u}}rgen Schulte M{\"{o}}nting},
  title        = {Interpolation formulae for predicates and terms which carry their
                  own history},
  journal      = {Arch. Math. Log.},
  volume       = {17},
  number       = {3-4},
  pages        = {159--169},
  year         = {1975}
}

@article{DBLP:journals/ndjfl/Weston65,
  author       = {Kenneth Weston},
  title        = {On predicate letter formulas which have no substitution instances
                  provable in a first order language},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {6},
  number       = {4},
  pages        = {296--300},
  year         = {1965}
}