129 search results - page 22 / 26 » Compiling Possibilistic Knowledge Bases |
PPOPP
1993
ACM
15 years 3 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
CP
2006
Springer
15 years 3 months ago
2006
Springer
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
119
click to vote
AAAI
2007
15 years 2 months ago
2007
Efficient query answering over ontologies is one of the most useful and important services to support Semantic Web applications. Approximation has been identified as a potential...
AAAI
2008
15 years 2 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
102
Voted
BMCBI
2002
14 years 11 months ago
2002
Background: For effective exposition of biological information, especially with regard to analysis of large-scale data types, researchers need immediate access to multiple categor...