Login / Signup

Representing WP Semantics in Isabelle/ZF.

Mark Staples
Published in: TPHOLs (1999)
Keyphrases
  • graphical representation
  • theorem prover
  • website
  • relational databases
  • formal semantics
  • argumentation semantics
  • database
  • denoising
  • logic programming
  • semantic information
  • semantic representation
  • owl ontologies