Zobrazeno 1 - 10
of 59 393
pro vyhledávání: '"first-order logic"'
Autor:
Spillo, Giuseppe1 (AUTHOR) giuseppe.spillo@uniba.it, Musto, Cataldo1 (AUTHOR), de Gemmis, Marco1 (AUTHOR), Lops, Pasquale1 (AUTHOR), Semeraro, Giovanni1 (AUTHOR)
Publikováno v:
User Modeling & User-Adapted Interaction. Nov2024, Vol. 34 Issue 5, p2039-2083. 45p.
Autor:
Grädel, Erich, Tannen, Val
A provenance analysis for a query evaluation or a model checking computation extracts information on how its result depends on the atomic facts of the model or database. Traditional work on data provenance was, to a large extent, restricted to positi
Externí odkaz:
http://arxiv.org/abs/2412.07986
Autor:
Olkhovikov, Grigory
We define a natural notion of standard translation for the formulas of conditional logic which is analogous to the standard translation of modal formulas into the first-order logic. We briefly show that this translation works (modulo a lightweight fi
Externí odkaz:
http://arxiv.org/abs/2411.08786
Complex logical reasoning tasks require a long sequence of reasoning, which a large language model (LLM) with chain-of-thought prompting still falls short. To alleviate this issue, neurosymbolic approaches incorporate a symbolic solver. Specifically,
Externí odkaz:
http://arxiv.org/abs/2410.08047