Languages
Alferes, Jose Julio.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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