Governatori, Guido.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
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)
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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