1544 search results - page 209 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
184
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
204
click to vote
AIHC
2007
Springer
16 years 17 days ago
2007
Springer
Enabling machines to understand emotions and feelings of the human users in their natural language textual input during interaction is a challenging issue in Human Computing. Our w...
128
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
171
click to vote
LPAR
2007
Springer
16 years 16 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
201
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...