GitHub - schwering/limbo: A Reasoning System for a First-Order Logic of Limited Belief, written in C++

テクノロジーカテゴリーの変更を依頼記事元:

github.com/schwering

4users がブックマークコメント

コメント

1

記事へのコメント1件

注目コメント
新着コメント

tmatsuu 推論系。あとで

2017/05/07 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

GitHub - schwering/limbo: A Reasoning System for a First-Order Logic of Limited Belief, written in C++

Note: This rewrite branch is far from finished. Check out the master branch for a more stable ver... Note: This rewrite branch is far from finished. Check out the master branch for a more stable version. Most of the below text refers to the old version (in particular, the web demos are still running a version from 2017). Limbo is a reasoning system for modelling and querying an agent's knowledge. Limbo features a highly expressive modelling language that includes functions, equality, quantificati

あとで読む

ブックマークしたユーザー

nabinno2017/05/08
ts_hideo2017/05/07
tmatsuu2017/05/07

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

いま人気の記事 - 企業メディア

企業メディアをもっと読む

設定を変更しましたx