Languages
Alferes, Jose Julio.
Overview
| Works: | 4 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
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.