logo
logic programming

カンファレンス検索結果 (5)

International Conference on Logic Programming (ICLP)

Rank: AOffline
University of Calabria, Rende (CS), Italy
Sep 12, 2025 - Sep 19, 2025
Logic ProgrammingFormal and operational semanticsNon-monotonic reasoning+26 その他

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Tsukuba, Japan
May 26, 2026 - May 28, 2026
functional programminglogic programmingfunctional-logic programming+7 その他

Practical Aspects of Declarative Languages (PADL)

Rank: COffline
Rennes, France
Jan 12, 2026
functional programminglogic programmingconstraint programming+7 その他

Logics in Artificial Intelligence, European Conference (JELIA)

Rank: AOffline
Kutaisi, Georgia
Sep 1, 2025 - Sep 5, 2025
Logics in Artificial IntelligenceAbductive and inductive reasoningArgumentation+19 その他

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Singapore
Jun 23, 2025 - Jun 26, 2025
automata theoryautomated deductioncategorical models and logics+35 その他