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

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies

投稿日: 2024年4月16日 作成者: jarxiv

要約 この論文は、オブジェクト指向プログラミング (OOP) パラダイム内のオン … 続きを読む →

カテゴリー: 68N19, 68T27, 68T40, cs.AI, cs.LO, cs.RO, cs.SE, E.2 | OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies はコメントを受け付けていません

Monitoring Second-Order Hyperproperties

投稿日: 2024年4月16日 作成者: jarxiv

要約 ハイパープロパティは、システムの複数の実行間の関係を表します。 これは、知 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MA | Monitoring Second-Order Hyperproperties はコメントを受け付けていません

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

投稿日: 2024年4月16日 作成者: jarxiv

要約 ALC を拡張した記述ロジックにおける充足可能性チェックとクエリの決定可能 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features はコメントを受け付けていません

Automated Verification of Equivalence Properties in Advanced Logic Programs — Bachelor Thesis

投稿日: 2024年4月15日 作成者: jarxiv

要約 アンサーセット プログラミングを使用する産業用アプリケーションの増加に伴い … 続きを読む →

カテゴリー: cs.AI, cs.LO | Automated Verification of Equivalence Properties in Advanced Logic Programs — Bachelor Thesis はコメントを受け付けていません

Improving the Diproche CNL through Autoformalization via Large Language Models

投稿日: 2024年4月11日 作成者: jarxiv

要約 Diproche システムは、ドイツ語の管理された断片で書かれたテキストの … 続きを読む →

カテゴリー: cs.CL, cs.LO | Improving the Diproche CNL through Autoformalization via Large Language Models はコメントを受け付けていません

Teaching Higher-Order Logic Using Isabelle

投稿日: 2024年4月9日 作成者: jarxiv

要約 私たちは、基本的なフレームワーク Isabelle/Pure に直接構築さ … 続きを読む →

カテゴリー: cs.AI, cs.LO, I.2.3 | Teaching Higher-Order Logic Using Isabelle はコメントを受け付けていません

Large language models as oracles for instantiating ontologies with domain-specific knowledge

投稿日: 2024年4月8日 作成者: jarxiv

要約 背景。 インテリジェント システムにセマンティック データを提供するには、 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.IR, cs.LG, cs.LO | Large language models as oracles for instantiating ontologies with domain-specific knowledge はコメントを受け付けていません

Permissible Knowledge Pooling

投稿日: 2024年4月5日 作成者: jarxiv

要約 情報プーリングは、多様な情報共有パターンを特徴とする分散システムにおいて、 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Permissible Knowledge Pooling はコメントを受け付けていません

Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System

投稿日: 2024年4月3日 作成者: jarxiv

要約 言語学において、書記素は音韻に対応する書記体系の書かれた単位です。 自然言 … 続きを読む →

カテゴリー: cs.CL, cs.LO | Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System はコメントを受け付けていません

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code

投稿日: 2024年4月3日 作成者: jarxiv

要約 形式的定理証明の領域では、Coq 証明アシスタントは、数学的主張とソフトウ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code はコメントを受け付けていません