Zobrazeno 1 - 10
of 408
pro vyhledávání: '"Fontaine Pascal"'
This paper describes the new TPTP format for representing interpretations. It provides a background survey that helped us ensure that the representation format is adequate for different types of interpretations: Tarskian, Herbrand, and Kripke interpr
Externí odkaz:
http://arxiv.org/abs/2406.06108
Publikováno v:
Knowledge and Management of Aquatic Ecosystems, Vol 0, Iss 423, p 10 (2022)
In the context of global change, the aim of this study was to investigate the effects of temperature on the survival rate and various variables (development time, morphometric measures, energy values) for both embryos and post-hatch stages until firs
Externí odkaz:
https://doaj.org/article/ebfa424ffeb042549d3225a9299e7cee
Deciding formulas mixing arithmetic and uninterpreted predicates is of practical interest, notably for applications in verification. Some decision procedures consist in building by structural induction an automaton that recognizes the set of models o
Externí odkaz:
http://arxiv.org/abs/2306.04210
First-order logic fragments mixing quantifiers, arithmetic, and uninterpreted predicates are often undecidable, as is, for instance, Presburger arithmetic extended with a single uninterpreted unary predicate. In the SMT world, difference logic is a q
Externí odkaz:
http://arxiv.org/abs/2305.15059
Publikováno v:
EPTCS 376, 2023
This volume contains the post-proceedings of the Seventeenth Logical and Semantic Frameworks with Applications (LSFA 2022), organised by the Universidade Federal de Minas Gerais, Brasil. Because of the COVID-19 pandemic, the meeting was held hybridly
Externí odkaz:
http://arxiv.org/abs/2303.12680