Ågotnes, Thomas.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
STAIRS 2010 = proceedings of the fifth Starting Ai Researchers' Symposium /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Ågotnes, Thomas.
(書目-語言資料,印刷品)
Logic and argumentation = 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Ågotnes, Thomas.; Doder, Dragan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Artificial intelligence
Artificial Intelligence.
Design and Analysis of Algorithms.
Programming Techniques.
Reasoning
Expert systems (Computer science)
Formal Languages and Automata Theory.
Compilers and Interpreters.
Uncertainty (Information theory)
Intelligent control systems
Computer Science Logic and Foundations of Programming.
Logic, Symbolic and mathematical