[Hol-info] [CFP] 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021)

CALL FOR PAPERS 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam -> see note below about remote participation https://kr2021.kbsg.rwth-aachen.de Knowledge Representation and Reasoning (KR) is a well-established and lively

[Hol-info] KR 2021: Call for Workshop and Tutorial Proposals (Applications due March 17th)

Call For Tutorial And Workshop Proposals 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)

[Hol-info] LOPSTR 2021 - Preliminary Call For Papers

31st International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2021 http://saks.iasi.cnr.it/lopstr21/