Governatori, Guido.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Agent computing and multi-agent systems10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007 : revised papers /
by:
(1998 :); Ghose, Aditya K.; Governatori, Guido.; Sadananda, R.; SpringerLink (Online service)
(書目-電子資源)
Rules and reasoning6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings /
by:
(1998 :); Governatori, Guido.; SpringerLink (Online service); Turhan, Anni-Yasmin.
(書目-電子資源)
Rule interchange and applicationsinternational symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5 - 7, 2009 : proceedings /
by:
(1998 :); Governatori, Guido.; Hall, John.; Paschke, Adrian.; SpringerLink (Online service)
(書目-電子資源)
Rule representation, interchange and reasoning on the webinternational symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings /
by:
(1998 :); Bassiliades, Nick.; Governatori, Guido.; Paschke, Adrian.; SpringerLink (Online service)
(書目-電子資源)
Deontic logic in computer science10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /
by:
(1998 :); Governatori, Guido.; Sartor, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Rule-based reasoning, programming, and applications5th international symposium, RULEML 2011, Europe, Barcelona, Spain, July 19-21 2011 : proceedings /
by:
(1998 :); Bassiliades, Nick.; Governatori, Guido.; Paschke, Adrian.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Deontic logic
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Semantic Web
Document markup languages
Computation by Abstract Devices.
Programming Techniques.
Logic programming
Computer logic
Management information systems
Decision making
Rule-based programming
Models and Principles.
Data Mining and Knowledge Discovery.
World Wide Web
Information Systems Applications (incl.Internet)
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.
Intelligent agents (Computer software)
Metadata