3032 search results - page 313 / 607 » Description Logic Rules |
145
click to vote
COLCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Risk-based access control raises some novel problems that have not yet been investigated. In particular, the ability to aggregate uncertain risk estimations from different experts...
133
click to vote
AAAI
2008
15 years 6 months ago
2008
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...
117
click to vote
COLING
1992
15 years 5 months ago
1992
This paper focuses on a theory of tense and aspect (the representation of time in natural language) that attempts a formM representation of the relevant liltguistic devices as imp...
132
click to vote
SLOGICA
2008
15 years 4 months ago
2008
We study a simple game theoretic model of information transfer which we consider to be a baseline model for capturing strategic aspects of epistemological questions. In particular,...
124
click to vote
LOGCOM
1998
15 years 3 months ago
1998
A sequent calculus of a new sort is extracted from the Prolog program leanTAP. This calculus is sound and complete, even though it lacks almost all structural rules. Thinking of l...