Ågotnes, Thomas.
Overview
| Works: | 6 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic and argumentation6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025 : proceedings /
by:
(1998 :); Ågotnes, Thomas.; Doder, Dragan.; SpringerLink (Online service)
(Electronic resources)
STAIRS 2010proceedings of the fifth Starting Ai Researchers' Symposium /
by:
(1998 :); Ågotnes, Thomas.
(Electronic resources)
Subjects
Artificial intelligence
Uncertainty (Information theory)
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Expert systems (Computer science)
Intelligent control systems
Artificial Intelligence.
Formal Languages and Automata Theory.
Logic, Symbolic and mathematical
Reasoning
Design and Analysis of Algorithms.
Compilers and Interpreters.