1059 search results - page 52 / 212 » Standard Logics Are Valuation-Nonmonotonic |
191
click to vote
ATAL
1997
Springer
15 years 10 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
161
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...
172
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
166
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
157
click to vote
FPGA
2010
ACM
16 years 3 months ago
2010
ACM
Monte Carlo based SSTA serves as the golden standard against alternative SSTA algorithms, but it is seldom used in practice due to its high computation time. In this paper, we acc...