Datalog에서 '데이터' 대신 '사실(Fact)'이라고 부르는 이유
Datalog
Logic Programming
Knowledge Representation
Inference
Reasoning
Symbolic AI에서 Datalog가 필요한 이유
Datalog
Symbolic AI
Logic Programming
AI
시맨틱 태깅, 단순한 키워드를 넘어 지식의 연결로
Knowledge Graph
Linked Data
Ontology
Datalog, 일상의 도구가 될 수 있을까
Datalog
Logic Programming
Use Cases
Knowledge Graph
Timely Dataflow를 위한 전송 프로토콜은 왜 새로 필요한가
Differential Dataflow
Timely Dataflow
Protocol Design
FPGA
Network
System Design