語系
Alferes, Jose Julio.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Principles and Practice of Semantic Web Reasoning (vol. # 4187)4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers /
by:
Alferes, Jose Julio.; PSWR 2006 ((2006 :); SpringerLink (Online service)
(書目-電子資源)
Logics in artificial intelligence9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /
by:
(1998 :); Alferes, Jose Julio.; Leite, Joao Alexandre.; SpringerLink (Online service)
(書目-電子資源)
Practical aspects of declarative languages21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings /
by:
(1998 :); Alferes, Jose Julio.; Johansson, Moa.; SpringerLink (Online service)
(書目-電子資源)
Rule technologiesresearch, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings /
by:
(1998 :); Alferes, Jose Julio.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Declarative programming
Theory of Computation.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Semantic Web
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Information Storage and Retrieval.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Rule-based programming
Information Systems Applications (incl.Internet)
Artificial Intelligence.
Computer Science.
Logic, Symbolic and mathematical