A formal semantics for P3P.

Ting Yu Ninghui Li Annie I. Antón

Published in: SWS (2004)

Keyphrases

formal semantics
peer to peer
logical language
logical reasoning
modelling language
formal language
overlay network
modeling language
ontology languages
theorem prover
speech acts
operational semantics
databases
first order logic
learning objects
data model
multi agent systems
knowledge base