2062 search results - page 364 / 413 » Derivatives of Logical Formulas |
114
click to vote
AIIA
2005
Springer
15 years 28 days ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
ESWS
2008
Springer
15 years 22 days ago
2008
Springer
In order to overcome the limitations of deductive logic-based approaches to deriving operational knowledge from ontologies, especially when data come from distributed sources, indu...
ACSW
2006
15 years 11 days ago
2006
Owners of systems and resources usually want to control who can access them. This must be based on having a process for authorising certain parties, combined with mechanisms for e...
COLING
1996
15 years 8 days ago
1996
We describe a bidirectional framework for natural language parsing and generation, using a typedfeatureformalismand an HPSG-based grammar with a parser and generator derived from ...
117
click to vote
DASFAA
2007
IEEE
14 years 11 months ago
2007
IEEE
Radio frequency identification (RFID) technology is believed to be the next revolutionary step in supply-chain management. Complex process simplification using RFID technology can ...