315 search results - page 34 / 63 » Using Logic in the Generation of Referring Expressions |
121
click to vote
ICSEA
2009
IEEE
15 years 8 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
116
click to vote
OOPSLA
2010
Springer
15 years 9 days ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
ECAI
2004
Springer
15 years 5 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...
119
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
110
click to vote
RULEML
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Access control is an important aspect of regulatory compliance. Therefore, access control specifications must be process-aware in that they can refer to an underlying bu...