95 search results - page 1 / 19 » Scenario analysis based on linear logic |
ACMACE
2005
ACM
14 years 1 days ago
2005
ACM
IGPL
1998
13 years 6 months ago
1998
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Lig...
ASM
2005
ASM
14 years 1 days ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
CVPR
2011
IEEE
13 years 2 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
RANLP
2003
13 years 7 months ago
2003
This paper reports a research effort in scenario recognition task in information extraction. The presented approach uses partial semantic analysis based on logical form representa...