「math.LO」カテゴリーアーカイブ

Decidability of Querying First-Order Theories via Countermodels of Finite Width

投稿日: 2023年4月14日 作成者: jarxiv

要約 タイトル：有限幅のカウンターモデルを用いた一階理論の問い合わせの決定可能性 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.DM, cs.LO, math.LO | Decidability of Querying First-Order Theories via Countermodels of Finite Width はコメントを受け付けていません

Making first order linear logic a generating grammar

投稿日: 2023年4月10日 作成者: jarxiv

要約 タイトル：第一級線形論理を生成文法にする 要約： – 同じ範囲 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Making first order linear logic a generating grammar はコメントを受け付けていません

Compression of enumerations and gain

投稿日: 2023年4月7日 作成者: jarxiv

要約 【タイトル】列挙の圧縮と利得 【要約】 – 計算可能列挙集合の … 続きを読む →

カテゴリー: cs.CL, cs.IT, math.IT, math.LO | Compression of enumerations and gain はコメントを受け付けていません

$π$-augmented pregroups and applications to linguistics

投稿日: 2023年3月10日 作成者: jarxiv

要約 指定された部分文字列に前循環順列をローカルに適用できるようにするマッピング … 続きを読む →

カテゴリー: cs.CL, math.LO | $π$-augmented pregroups and applications to linguistics はコメントを受け付けていません

Find a witness or shatter: the landscape of computable PAC learning

投稿日: 2023年2月24日 作成者: jarxiv

要約 この論文は、最近の論文からの 3 つの未解決の問題を解決することにより、C … 続きを読む →

カテゴリー: cs.CC, cs.LG, math.LO, stat.ML | Find a witness or shatter: the landscape of computable PAC learning はコメントを受け付けていません

The logic behind desirable sets of things, and its filter representation

投稿日: 2023年2月17日 作成者: jarxiv

要約 望ましい (セットの) ギャンブルとコヒーレントな選択関数を一般化する、望 … 続きを読む →

カテゴリー: cs.AI, math.LO | The logic behind desirable sets of things, and its filter representation はコメントを受け付けていません