このエントリーをはてなブックマークに追加

4月

21

"Potassco User Guide" 読書会 #02

clingoによる解集合プログラミング入門

Hashtag :#clingo
Registration info

どなたでも

Free

FCFS
1/4

Description

解集合プログラミングの代表的な処理系であるclingoのユーザーガイド(120ページ)のもくもく読書会です。


  • 3.1.5まで

解集合であるためには、正アトムであることを仮定したならばプログラムから非循環的に導出できなければならない。これが定義。

  • アトムはモデルに含まれる場合にのみ、正とみなされる。
  • 正であることを仮定しないものは導出できなくてもよいので、この場合は空集合が解集合になりうる。
  • あるパスで非循環的でさえあれば、別のところで循環していても構わない。

Example 3.1の説明おかしい。

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

shnarazk

shnarazk published "Potassco User Guide" 読書会 #02.

04/14/2018 19:17

"Potassco User Guide" 読書会 #02 を公開しました!

Group

記号計算大濠社中

Symbolic Computation Ohori Shachu

Number of events 9

Members 1

Ended

2018/04/21(Sat)

15:30
17:00

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

Registration Period
2018/04/14(Sat) 00:00 〜
2018/04/20(Fri) 12:00

Location

長崎県庁

長崎県長崎市尾上町3番1号

Organizer

Attendees(1)

shnarazk

shnarazk

"Potassco User Guide" 読書会 #02 に参加を申し込みました!

Attendees (1)