1
TITLE: NoHR: An Overview Reasoning with Ontologies and Nonmonotonic Rules
AUTHORS: Vedran Kasalica; Matthias Knorr; Joao Leite; Carlos Lopes;
PUBLISHED: 2020, SOURCE: KUNSTLICHE INTELLIGENZ, VOLUME: 34, ISSUE: 4
INDEXED IN: Scopus WOS
2
TITLE: Telco Network Inventory Validation with NoHR
AUTHORS: Vedran Kasalica; Ioannis Gerochristos; José Júlio Alferes; Ana Sofia Gomes; Matthias Knorr; João Leite;
PUBLISHED: 2019, SOURCE: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, VOLUME: 11481
INDEXED IN: DBLP