904 search results - page 112 / 181 » Towards practical meta-querying |
IA
2006
14 years 10 months ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
ENTCS
2007
14 years 9 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
SYNTHESE
2008
14 years 9 months ago
2008
Abstract In ethical discourse, it is common practice to distinguish between normative commitments and descriptive commitments. Normative commitments reflect what a person ought to ...
COMPUTER
1998
14 years 9 months ago
1998
ion layer3,4 hides hardware particulars from the higher levels of software but can also compromise performance and compatibility; the higher levels of software often make unwitting...
122
click to vote
AMAI
1999
Springer
14 years 9 months 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...