45 search results - page 2 / 9 » Logical Consequence Inside Out |
114
Voted
ASP
2003
Springer
15 years 6 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
116
Voted
EUSFLAT
2001
15 years 2 months ago
2001
In this document we cany out a comparative analysis of the reasoning strategies implemented in Fuzzy Logic Controllers (hereinafter FLCs) and Faded Temporal Fuzzy Logic Controller...
157
Voted
KR
1991
Springer
15 years 4 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
125
Voted
KI
2007
Springer
15 years 7 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...
116
Voted
CORR
2002
Springer
15 years 29 days ago
2002
Springer
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...