Languages
Agotnes, Thomas.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Dynamics, uncertainty and reasoningThe Second Chinese Conference on Logic and Argumentation /
by:
Agotnes, Thomas.; Liao, Beishui.; SpringerLink (Online service); Wang, Yi N.
(Electronic resources)
Deontic logic in computer science11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
(1998 :); Agotnes, Thomas.; Broersen, Jan.; Elgesem, Dag.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Logic.
Deontic logic
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer logic
Computer Appl. in Administrative Data Processing.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.