8228 search results - page 204 / 1646 » Structural Logical Relations |
139
Voted
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
123
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
150
click to vote
MFCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
146
Voted
BTW
2005
Springer
15 years 10 months ago
2005
Springer
: User-defined data types such as intervals require specialized access methods to be efficiently searched and queried. As database implementors cannot provide appropriate index str...
185
Voted
PKDD
2004
Springer
15 years 10 months ago
2004
Springer
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...