16616 search results - page 331 / 3324 » Extending Extended Vacuity |
167
click to vote
AAAI
1997
15 years 8 months ago
1997
The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular reusable ontologies. The environment is available as a World ...
172
click to vote
IWFM
1998
15 years 8 months ago
1998
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
167
click to vote
CASCON
1993
15 years 8 months ago
1993
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
194
click to vote
DEDUCTIVE
1993
15 years 8 months ago
1993
This chapter discusses an extended deductive database prototype system, Q-Data, developed by Bellcore to improve data quality through data validation and cleanup. The key technolo...
181
click to vote
APAL
2008
15 years 6 months ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...