5 Questions 9 Answers 0 Followers
Questions related from Leroy Mason
For instance, I've found work on ontology matching and ontology mapping but the application is to ontologies at the same level, i.e. a book in an ecommerce catalogue and a book in a library...
15 August 2015 1,572 6 View
I am researching causal inference in business processes and need to find a large database representing an enterprise business process over time. I think a set of database for SAP or Microsoft...
19 March 2015 1,997 8 View
I am working on an AI approach to enterprise applications transformation and need to read case studies of ERP implementation. I know there is the paper "NIBCO's big bang" Brown, Carol V and...
17 March 2015 1,558 15 View
I am interested in assessing how well certain probabilistic logic languages such as Problog2 implement plausible reasoning, an example of which is "explaining away". There are only a few...
06 March 2015 3,823 0 View
I am looking for a proof such that: Given a set of Horn clauses, show that there is a unit refutation from S if and only if S is unsatisfiable
23 August 2014 1,111 3 View