2291 search results - page 48 / 459 » Representational Reasoning and Verification |
FORTE
2009
13 years 6 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
FLAIRS
2001
13 years 10 months ago
2001
The World Wide Webprovides new opportunities for collecting information from distributed, multiple, and heterogeneous data sources. Information brokering can bc used to provide co...
JISBD
2003
13 years 10 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
ICAI
2009
13 years 6 months ago
2009
Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...
LPNMR
2009
Springer
14 years 3 months ago
2009
Springer
CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is