検索内容:
研究チームはドメインの概念を形式化し、整合性チェックを自動化するために記述論理を使用しました。
私たちのゼミでは、時間的推論を最もよくモデル化する複数の記述論理を比較しました。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★