Search Results - "automated reasoning"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

    Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus by Zimmer, Juergen, Dennis, Louise Abigail

    Published 2002
    Get full text
  2. 2
    An ontology-based approach for test case management system using semantic technology / Mansoor Abdullateef Abdulgabber Abdulhak

    An ontology-based approach for test case management system using semantic technology / Mansoor Abdullateef Abdulgabber Abdulhak by Mansoor Abdullateef, Abdulgabber Abdulhak

    Published 2013
    “…In order to achieve this an automated test case management system that is ‘knowledgeable’ is needed, where concepts and terms related to testing are important to support automated reasoning about test cases as well as for promoting common understanding among software testing practitioners involved. …”
    Get full text
    Get full text
  3. 3
    A defeasible logic programming-based framework to support argumentation in Semantic Web applications

    A defeasible logic programming-based framework to support argumentation in Semantic Web applications by Janjua, Naeem Khalid

    Published 2013
    “…The logic layer of the Semantic Web stack provides a set of logic-based rule languages to perform automated reasoning over such information, produce results and assist the decision maker in the decision making process. …”
    Get full text

Search Tools: