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