Languages
Agotnes, Thomas.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Dynamics, uncertainty and reasoning = The Second Chinese Conference on Logic and Argumentation /
by:
Wang, Yi N.; Agotnes, Thomas.; Liao, Beishui.; SpringerLink (Online service)
(Language materials, printed)
Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
Elgesem, Dag.; SpringerLink (Online service); Broersen, Jan.; Agotnes, Thomas.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Computer logic
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computer Appl. in Administrative Data Processing.
Discrete Mathematics in Computer Science.
Computer Science.
Programming Techniques.
Logic.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Deontic logic