3032 search results - page 141 / 607 » Description Logic Rules |
93
Voted
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
98
Voted
IGPL
1998
15 years 11 days ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
102
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
105
Voted
ELP
1993
15 years 4 months ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
87
Voted
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...