Login / Signup

Collaborative Process Deduction through a Knowledge-Based System.

Frédérick BénabenHervé PingaudVatcharaphun RajsiriJean-Pierre Lorré
Published in: DEXA Workshops (2011)
Keyphrases
  • inference rules
  • automated deduction
  • theorem proving
  • computer algebra
  • domain knowledge
  • automated theorem proving
  • high level
  • active learning
  • rough sets
  • programming language
  • intuitionistic logic