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

A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality

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

要約 タイトル：典型性を持つ条件論理の多重優先解釈におけるマルチレイヤーパーセプ … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.NE, I.2.4 | A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality はコメントを受け付けていません

Investigations into Proof Structures

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

要約 タイトル：Proof構造の調査 要約： – Proofをグロー … 続きを読む →

カテゴリー: cs.AI, cs.LO | Investigations into Proof Structures はコメントを受け付けていません

Recursion, evolution and conscious self

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

要約 【タイトル】 再帰、進化、そして意識的自己 【要約】 ・自己言及の可能性に … 続きを読む →

カテゴリー: cs.LG, cs.LO, math.LO, q-bio.NC, q-bio.PE | Recursion, evolution and conscious self はコメントを受け付けていません

Bridging Declarative, Procedural, and Conditional Metacognitive Knowledge Gap Using Deep Reinforcement Learning

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

要約 タイトル：Deep Reinforcement Learningを使用した … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.HC, cs.LG, cs.LO | Bridging Declarative, Procedural, and Conditional Metacognitive Knowledge Gap Using Deep Reinforcement Learning はコメントを受け付けていません

Using Z3 for Formal Modeling and Verification of FNN Global Robustness

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

要約 タイトル：Z3を使用したFNNグローバル頑健性の形式的モデリングと検証 要 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Using Z3 for Formal Modeling and Verification of FNN Global Robustness はコメントを受け付けていません

The Descriptive Complexity of Graph Neural Networks

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

要約 タイトル: グラフニューラルネットワークの記述的複雑性 要約: &#821 … 続きを読む →

カテゴリー: cs.CC, cs.LG, cs.LO | The Descriptive Complexity of Graph Neural Networks はコメントを受け付けていません

Using Z3 for Formal Modeling and Verification of FNN Global Robustness

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

要約 タイトル：Z3を用いたFNNグローバルロバスト性の形式的モデリングと検証 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Using Z3 for Formal Modeling and Verification of FNN Global Robustness はコメントを受け付けていません

Anti-unification and Generalization: A Survey

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

要約 【タイトル】Anti-unification and Generaliza … 続きを読む →

カテゴリー: cs.AI, cs.LO | Anti-unification and Generalization: A Survey はコメントを受け付けていません

Smart Choices and the Selection Monad

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

要約 タイトル：スマートチョイスと選択のモナド 要約： – 選択とそ … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.PL | Smart Choices and the Selection Monad はコメントを受け付けていません

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming

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

要約 タイトル：ニューロシンボリックAIが計算科学と関数型プログラミングの基礎と … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming はコメントを受け付けていません