1171 search results - page 170 / 235 » A Logical Language for Expressing Authorizations |
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
MKM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...