語系
Alferes, Jose Julio.
概要
| 作品: | 4 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Rule Technologies. Research, Tools, and Applications = 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings /
by:
Bertossi, Leopoldo.; SpringerLink (Online service); Alferes, Jose Julio.; Fodor, Paul.; Governatori, Guido.; Roman, Dumitru.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Rule technologies = research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Alferes, Jose Julio.
(書目-語言資料,印刷品)
Logics in artificial intelligence = 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /
by:
Leite, Joao Alexandre.; SpringerLink (Online service); Alferes, Jose Julio.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Computer logic.
Artificial intelligence.
Software engineering.
Rule-based programming
Information Systems Applications (incl. Internet).
Computer Science.
Semantic Web
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Application software.
Information storage and retrieval.
Artificial Intelligence.
Logic, Symbolic and mathematical
Information Storage and Retrieval.