3319 search results - page 155 / 664 » Subshifts, Languages and Logic |
107
click to vote
RWEB
2009
Springer
15 years 7 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
121
Voted
ICTAC
2009
Springer
14 years 10 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
124
click to vote
ENTCS
2006
15 years 24 days ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
119
click to vote
DLOG
2007
15 years 3 months ago
2007
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as formalisms capable of capturing and reasoning about imprecise and vague knowledge. The last years, research in Desc...
113
click to vote
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...