2501 search results - page 103 / 501 » Logics with Rank Operators |
ENTCS
2006
15 years 3 months ago
2006
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...
144
click to vote
ISDA
2009
IEEE
15 years 10 months ago
2009
IEEE
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
135
click to vote
AAAI
2007
15 years 6 months ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
122
click to vote
TCS
2002
15 years 3 months ago
2002
An operation M which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata r...
156
click to vote
JOLLI
2008
15 years 3 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...