語系
Dix, Jurgen.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Logics in artificial intelligence = European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 : proceedings /
by:
Dix, Jurgen.; Farinas del Cerro, Luis.; SpringerLink (Online service); European Workshop JELIA'98 ((1998 :); Furbach, Ulrich.
(書目-語言資料,印刷品)
Non-monotonic extensions of logic programming = second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers /
by:
Dix, Jurgen.; Pereira, Luis Moniz.; Przymusinski, Teodor C.; SpringerLink (Online service); NMELP '96 (1996 :)
(書目-語言資料,印刷品)
Logic programming and knowledge representation = third international workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997 : selected papers /
by:
Dix, Jurgen.; Przymusinski, Teodor C.; Pereira, Luis Moniz.; SpringerLink (Online service); LPKR'97 ((1997 :)
(書目-語言資料,印刷品)
Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
Dix, Jurgen.; Novak, Peter.; SpringerLink (Online service); Collier, Rem.
(書目-電子資源)
Engineering multi-agent systems = second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014 : revised selected papers /
by:
Dix, Jurgen.; SpringerLink (Online service); Riemsdijk, M. Birna van.; Dalpiaz, Fabiano.
(書目-電子資源)
Computational logic in multi-agent systems = 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, proceedings /
by:
Dix, Jurgen.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings /
by:
Dix, Jurgen.; Fuhrbach, Ulrich.; Nerode, Anil.; SpringerLink (Online service); LPNMR '97 ((1997 :)
(書目-語言資料,印刷品)
Multiagent system technologies = 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010, proceedings /
by:
Dix, Jurgen.; Witteveen, Cees.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Computational logic in multi-agent systems = 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers /
by:
Dix, Jurgen.; Fisher, Michael.; Novak, Peter.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Artificial intelligence
Software Engineering.
Mathematical Logic and Formal Languages.
Nonmonotonic reasoning
Knowledge representation (Information theory)
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Systems engineering
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Engineering systems
Computer logic
Programming Languages, Compilers, Interpreters.
Computer programming
Logic, Symbolic and mathematical- Congresses.
Information Systems Applications (incl.Internet)
Computer Science.
Computer Communication Networks.
Simulation and Modeling.
Engineering design- Data processing
Multiagent systems