5378 search results - page 158 / 1076 » Base Logics in Argumentation |
180
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
– A two-layer fuzzy logic controller has been designed for 2-D autonomous navigation of a skid steering vehicle in an obstacle filled environment. The first layer of the fuzzy co...
175
click to vote
DLOG
2004
15 years 7 months ago
2004
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
181
Voted
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...
173
Voted
EEE
2005
IEEE
15 years 12 months ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
175
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...