Languages
Alferes, Jose Julio.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Logics in artificial intelligence = 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /
by:
Alferes, Jose Julio.; Leite, Joao Alexandre.; SpringerLink (Online service); JELIA 2004 ((2004 :)
(Language materials, printed)
Practical aspects of declarative languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings /
by:
PADL (Symposium) (2019 :); Alferes, Jose Julio.; Johansson, Moa.; SpringerLink (Online service)
(Electronic resources)
Rule technologies = research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings /
by:
Alferes, Jose Julio.; SpringerLink (Online service)
(Electronic resources)
Subjects
Artificial intelligence
Mathematical Logic and Formal Languages.
Software Engineering.
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.
Logic, Symbolic and mathematical- Congresses.
Rule-based programming
Artificial Intelligence.
Computer Science.