語系
Dix, Jurgen.
概要
作品: | 2 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Non-monotonic extensions of logic programmingsecond International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers /
by:
(1998 :); Dix, Jurgen.; Pereira, Luis Moniz.; Przymusinski, Teodor C.; SpringerLink (Online service)
(書目-電子資源)
Logic programming and knowledge representationthird international workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997 : selected papers /
by:
(1998 :); Dix, Jurgen.; Pereira, Luis Moniz.; Przymusinski, Teodor C.; SpringerLink (Online service)
(書目-電子資源)
Logic programming and nonmonotonic reasoning4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings /
by:
(1998 :); Dix, Jurgen.; Fuhrbach, Ulrich.; Nerode, Anil.; SpringerLink (Online service)
(書目-電子資源)
Logics in artificial intelligenceEuropean Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 : proceedings /
by:
(1998 :); Dix, Jurgen.; Farinas del Cerro, Luis.; Furbach, Ulrich.; SpringerLink (Online service)
(書目-電子資源)
Programming multi-agent systems8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(1998 :); Collier, Rem.; Dix, Jurgen.; Novak, Peter.; SpringerLink (Online service)
(書目-電子資源)
Computational logic in multi-agent systems11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, proceedings /
by:
(1998 :); Dix, Jurgen.; SpringerLink (Online service)
(書目-電子資源)
Foundations of Information and Knowledge Systems4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings /
by:
(1998 :); Dix, Jurgen.; Hegner, Stephen J.; SpringerLink (Online service)
(書目-電子資源)
Engineering multi-agent systemssecond International Workshop, EMAS 2014, Paris, France, May 5-6, 2014 : revised selected papers /
by:
(1998 :); Dalpiaz, Fabiano.; Dix, Jurgen.; Riemsdijk, M. Birna van.; SpringerLink (Online service)
(書目-電子資源)
Multiagent system technologies8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010, proceedings /
by:
(1998 :); Dix, Jurgen.; SpringerLink (Online service); Witteveen, Cees.
(書目-電子資源)
Computational logic in multi-agent systems10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers /
by:
(1998 :); Dix, Jurgen.; Fisher, Michael.; Novak, Peter.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Software Engineering.
Knowledge representation (Information theory)
Logics and Meanings of Programs.
Nonmonotonic reasoning
Software Engineering/Programming and Operating Systems.
Systems engineering
Artificial Intelligence (incl. Robotics)
Database Management.
Computer systems
Logic programming
Programming Techniques.
Engineering systems
Engineering design
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Programming Languages, Compilers, Interpreters.
Computer logic
Computer programming
Databases
Computer science
Information Systems Applications (incl.Internet)
Computer Science.
Discrete Mathematics in Computer Science.
Information technology
Logic, Symbolic and mathematical
Computer Communication Networks.
Simulation and Modeling.
Multiagent systems