53 search results - page 9 / 11 » Expressive Reasoning with Horn Rules and Fuzzy Description L... |
AAAI
2010
13 years 8 months ago
2010
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
AI
2004
Springer
13 years 6 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
OWLED
2007
13 years 8 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
AUSAI
2005
Springer
14 years 7 days ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...