1737 search results - page 295 / 348 » On Interpolation in Existence Logics |
172
click to vote
DLT
2006
15 years 7 months ago
2006
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...
142
click to vote
FLAIRS
2004
15 years 7 months ago
2004
The Federal Highway Administration (FHWA) Office of Highway Planning requires states to furnish vehicle classification data as part of the Highway Performance Monitoring Systems (...
138
click to vote
DLOG
2003
15 years 7 months ago
2003
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
206
click to vote
LANMR
2004
15 years 7 months ago
2004
In previous work we have discussed the importance of identifying the cycles that occur in a logic program under the answer set semantics, and the connections between cycles, that w...
163
click to vote
ECIS
2003
15 years 7 months ago
2003
In this study we explore the concept of business model and its essential elements in software business. There are no rigorous previous definitions or descriptions of the term busi...