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