logo
formalization of commonsense reasoning

会议结果 (1)

International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR)

Rank: BOffline
Klagenfurt, Austria
Jul 9, 2026
declarative logic programmingnon-monotonic reasoningknowledge representation+7 更多