3891 search results - page 388 / 779 » A logic for strategic reasoning |
172
click to vote
ICLP
2003
Springer
16 years 9 hour ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
152
click to vote
SBIA
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
192
Voted
IJCAI
2003
15 years 8 months ago
2003
Degrees of information and of contradiction are investigated within a uniform propositional framework, based on test actions. We consider that the degree of information of a propo...
149
click to vote
AAAI
1998
15 years 8 months ago
1998
In this paper we present a fuzzy version of SHOIN(D), the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasonin...
186
Voted
FLAIRS
2000
15 years 8 months ago
2000
In recent years, fuzzy logic has been applied successfully to a wide range of problems. This paper shows how it can be utilized in the area of spatial reasoning, in particular geo...