Home

Sasa__Buvac


A declarative formalization of knowledge translation

Combining planning contexts

Resolving lexical ambiguity using a formal theory of context