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

Box$^2$EL: Concept and Role Box Embeddings for the Description Logic EL++

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

要約 記述ロジック (DL) オントロジーは、概念的な情報と論理的な背景知識を備 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Box$^2$EL: Concept and Role Box Embeddings for the Description Logic EL++ はコメントを受け付けていません

Explanations as Programs in Probabilistic Logic Programming

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

要約 わかりやすい説明の生成は、現代の人工知能システムの重要な機能です。 この研 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL | Explanations as Programs in Probabilistic Logic Programming はコメントを受け付けていません

Soy: An Efficient MILP Solver for Piecewise-Affine Systems

投稿日: 2023年8月16日 作成者: jarxiv

要約 ピースワイズ アフィン (PWA) システムは、接触ダイナミクスのモデリン … 続きを読む →

カテゴリー: cs.LO, cs.RO, cs.SY, eess.SY, math.OC | Soy: An Efficient MILP Solver for Piecewise-Affine Systems はコメントを受け付けていません

EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability

投稿日: 2023年8月16日 作成者: jarxiv

要約 ブール満足度 (SAT) と満足度モジュロ理論 (SMT) は自動検証で広 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability はコメントを受け付けていません

Why Not? Explaining Missing Entailments with Evee (Technical Report)

投稿日: 2023年8月16日 作成者: jarxiv

要約 オントロジーユーザーにとって、記述ロジック推論器によって導出された論理的含 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Why Not? Explaining Missing Entailments with Evee (Technical Report) はコメントを受け付けていません

Formal Verification of Intersection Safety for Automated Driving

投稿日: 2023年8月15日 作成者: jarxiv

要約 私たちは、責任に敏感な安全性 (RSS) の形式化に関する最近の研究を基礎 … 続きを読む →

カテゴリー: cs.LO, cs.RO | Formal Verification of Intersection Safety for Automated Driving はコメントを受け付けていません

Why Not? Explaining Missing Entailments with $\rm E{\scriptsize VEE}$ (Technical Report)

投稿日: 2023年8月15日 作成者: jarxiv

要約 オントロジーユーザーにとって、記述ロジック推論器によって導出された論理的含 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Why Not? Explaining Missing Entailments with $\rm E{\scriptsize VEE}$ (Technical Report) はコメントを受け付けていません

Software Doping Analysis for Human Oversight

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

要約 この記事では、ソフトウェアが引き起こす可能性のある社会的リスクの軽減を支援 … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.LO | Software Doping Analysis for Human Oversight はコメントを受け付けていません

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring

投稿日: 2023年8月11日 作成者: jarxiv

要約 分散型自律配送、ヘルスケア、観光、運輸などのさまざまなサービス指向のアプリ … 続きを読む →

カテゴリー: cs.LO, cs.PF, cs.RO | QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring はコメントを受け付けていません

Model Checking Time Window Temporal Logic for Hyperproperties

投稿日: 2023年8月11日 作成者: jarxiv

要約 ハイパープロパティは、トレースのセットのプロパティを表現するためにトレース … 続きを読む →

カテゴリー: cs.FL, cs.LO, cs.RO | Model Checking Time Window Temporal Logic for Hyperproperties はコメントを受け付けていません