語系
Governatori, Guido.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings /
by:
RuleML+RR (Joint conference) (2022 :); Governatori, Guido.; Turhan, Anni-Yasmin.; SpringerLink (Online service)
(書目-電子資源)
Rule representation, interchange and reasoning on the web = international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings /
by:
Bassiliades, Nick.; Governatori, Guido.; Paschke, Adrian.; SpringerLink (Online service)
(書目-電子資源)
Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /
by:
Governatori, Guido.; Sartor, Giovanni.; SpringerLink (Online service); International Conference on Deontic Logic in Computer Science (2010 :)
(書目-語言資料,印刷品)
Agent computing and multi-agent systems = 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007 : revised papers/
by:
Ghose, Aditya K.; Governatori, Guido.; Sadananda, R.; SpringerLink (Online service); Pacific Rim International Conference on Multi-Agents (2007 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Decision making- Data processing
Software engineering
Logics and Meanings of Programs.
Deontic logic
Mathematics of Computing.
Information Systems and Communication Service.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Document markup languages
Semantic Web
Logic programming
Metadata- Standards
Management information systems
Computer logic
Computer logic- Congresses.
Data Mining and Knowledge Discovery.
Models and Principles.
Rule-based programming
Intelligent agents (Computer software)- Congresses.
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.