Datalog에서 '데이터' 대신 '사실(Fact)'이라고 부르는 이유
Datalog Logic Programming Knowledge Representation Inference Reasoning
Datalog의 증분 계산
Datalog Differential Dataflow Incremental Computation Logic Programming Knowledge Graph
Askitect 프로토타입: 청사진에서 동작하는 코드로
Askitect Neuro-symbolic AI RDF Python LLM Knowledge Graph
기호주의(Symbolism) 인공지능: 블랙박스를 여는 열쇠
Symbolic AI GOFAI Logic Neuro-symbolic AI XAI
ASP와 Datalog: 논리 프로그래밍의 두 가지 시선
Logic Programming ASP Datalog Knowledge Representation