Oct 6, 2026 Datalog를 이야기하면 왜 고정점과 온톨로지를 만나게 될까 Datalog Fixed Point Ontology Knowledge Representation Logic Programming 온톨로지 Jun 1, 2026 Datalog에서 '데이터' 대신 '사실(Fact)'이라고 부르는 이유 Datalog Logic Programming Knowledge Representation Inference Reasoning Feb 3, 2026 ASP와 Datalog: 논리 프로그래밍의 두 가지 시선 Logic Programming ASP Datalog Knowledge Representation
