Zobrazeno 1 - 10
of 9 415
pro vyhledávání: '"syntactic approach"'
Abstraction is an important and useful concept in the field of artificial intelligence. To the best of our knowledge, there is no syntactic method to compute a sound and complete abstraction from a given low-level basic action theory and a refinement
Externí odkaz:
http://arxiv.org/abs/2412.11217
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kihara, Takayuki1 (AUTHOR) kihara@i.nagoya-u.ac.jp, Sasaki, Kenta1 (AUTHOR)
Publikováno v:
Archive for Mathematical Logic. Nov2023, Vol. 62 Issue 7/8, p1041-1082. 42p.
Autor:
Kihara, Takayuki, Sasaki, Kenta
Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $\Gamma$, then its $\Gamma$-code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau's theorem to Borel functions: If a Borel f
Externí odkaz:
http://arxiv.org/abs/2103.02950
In the field of Answer Set Programming (ASP), two logic programs are strongly equivalent if they are ordinarily equivalent under any extensions. This property provides a theoretical foundation for studying many aspects of logic programs such as progr
Externí odkaz:
http://arxiv.org/abs/2011.04454
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Xu, Chuangjie
Publikováno v:
Logical Methods in Computer Science, Volume 16, Issue 1 (February 20, 2020) lmcs:5394
We give a new proof of the well-known fact that all functions $(\mathbb{N} \to \mathbb{N}) \to \mathbb{N}$ which are definable in G\"odel's System T are continuous via a syntactic approach. Differing from the usual syntactic method, we firstly perfor
Externí odkaz:
http://arxiv.org/abs/1904.09794
Autor:
Ausensi, Josep, Bigolin, Alessandro
Publikováno v:
Acta Linguistica Academica. An International Journal of Linguistics (Until 2016 Acta Linguistica Hungarica). 70(1):139-160
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1117187
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Danon, Guy, Last, Mark
Factoid questions are questions that require short fact-based answers. Automatic generation (AQG) of factoid questions from a given text can contribute to educational activities, interactive question answering systems, search engines, and other appli
Externí odkaz:
http://arxiv.org/abs/1712.09827