Ågotnes, Thomas.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
STAIRS 2010 = proceedings of the fifth Starting Ai Researchers' Symposium /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Ågotnes, Thomas.
(Language materials, printed)
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)
(Language materials, printed)
Subjects
Artificial intelligence
Artificial Intelligence.
Design and Analysis of Algorithms.
Expert systems (Computer science)
Uncertainty (Information theory)
Formal Languages and Automata Theory.
Intelligent control systems
Logic, Symbolic and mathematical
Reasoning
Programming Techniques.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.