Fodor, Paul.
Overview
| Works: | 1 works in 0 publications in 0 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]
Rules and Reasoning = Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings /
by:
Roman, Dumitru.; Calvanese, Diego.; Fodor, Paul.; SpringerLink (Online service); Montali, Marco.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Application software.
Software Engineering/Programming and Operating Systems.
Computer logic.
Information storage and retrieval.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer Appl. in Administrative Data Processing.
Information Systems Applications (incl. Internet).
Information Storage and Retrieval.