TY  - GEN
DO  - 10.1007/978-3-030-31095-0
DO  - doi
T1  - Rules and reasoning :third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings /
AU  - Fodor, Paul,
AU  - Montali, Marco,
AU  - Calvanese, Diego,
AU  - Roman, Dumitru,
VL  - 11784
CN  - QA76.9.L63
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 914800
KW  - Computer logic
KW  - Computer programming
KW  - Software engineering
KW  - Logic, Symbolic and mathematical
KW  - Artificial intelligence
SN  - 9783030310950
SN  - 3030310957
TI  - Rules and reasoning :third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31095-0
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31095-0
ER  -