5818 search results - page 821 / 1164 » A reasonable Semantic Web |
284
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
285
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
175
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
192
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
178
click to vote
PRDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...