303 search results - page 44 / 61 » From Description Logic Provers to Knowledge Representation S... |
145
Voted
AMAI
1999
Springer
15 years 4 days ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
173
click to vote
SIGMOD
2005
ACM
16 years 18 days ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
114
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
103
click to vote
ASWC
2006
Springer
15 years 4 months ago
2006
Springer
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...
151
click to vote
CSCLP
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...