Results 261 to 270 of about 366,917 (330)
Some of the next articles are maybe not open access.
QA-NatVer: Question Answering for Natural Logic-based Fact Verification
Conference on Empirical Methods in Natural Language Processing, 2023Fact verification systems assess a claim's veracity based on evidence. An important consideration in designing them is faithfulness, i.e. generating explanations that accurately reflect the reasoning of the model.
Rami Aly, Marek Strong, Andreas Vlachos
semanticscholar +1 more source
Journal of Logic and Computation, 2021
We consider the effect of restricting the number of individual variables, as well as the number and arity of predicate letters, in languages of first-order predicate superintuitionistic logics of finite Kripke frames on the logics’ algorithmic ...
M. Rybakov, D. Shkatov
semanticscholar +1 more source
We consider the effect of restricting the number of individual variables, as well as the number and arity of predicate letters, in languages of first-order predicate superintuitionistic logics of finite Kripke frames on the logics’ algorithmic ...
M. Rybakov, D. Shkatov
semanticscholar +1 more source
Formalization of natural language requirements into temporal logics: a survey
International Conference on Industrial Informatics, 2019One of the challenges of requirements engineering is the fact that requirements are often formulated in natural language. This represents difficulty if requirements must be processed by formal approaches, especially if these approaches are intended to ...
Igor Buzhinsky
semanticscholar +1 more source
A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors
Journal of Logic, Language and Information, 2012Controlled natural languages (CNL) with a direct mapping to formal logic have been proposed to improve the usability of knowledge representation systems, query interfaces, and formal specifications.
T. Kuhn
semanticscholar +1 more source
Natural Language and Logic of Agency
Journal of Logic, Language and Information, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Logical Semantics for Natural Language
Erkenntnis, 1983It is now a quarter of a century ago that Wolfgang Stegmuller wrote his monograph ‘Das Wahrheitsproblem und die Idee der Semantik’ (1957) which dealt with Tarski’s and Carnap’s foundational work in the field of semantics. While this book is about the definition of the basic semantical concepts in artificial formal languages there is an article written ...
openaire +1 more source
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
Journal of Logic and Computation, 2020We study the effect of restricting the number of individual variables, as well as the number and arity of predicate letters, in languages of first-order predicate modal logics of finite Kripke frames on the logics’ algorithmic properties.
M. Rybakov, D. Shkatov
semanticscholar +1 more source