語系
Broersen, Jan.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Knowledge representation for agents and multi-agent systemsfirst international workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008 : revised selected papers /
by:
(1998 :); Broersen, Jan.; Meyer, John-Jules Ch.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Knowledge representation (Information theory)
Deontic logic
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Programming Techniques.
Information Storage and Retrieval.
Computer logic
Computer Appl. in Administrative Data Processing.
Data Mining and Knowledge Discovery.
Information Systems Applications (incl.Internet)
Computer Science.
Discrete Mathematics in Computer Science.
Intelligent agents (Computer software)