2540 search results - page 196 / 508 » Abstract Logics as Dialgebras |
170
click to vote
AIMSA
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
170
click to vote
FUZZIEEE
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract—In contrast to standard fuzzy clustering, which optimizes a set of prototypes, one for each cluster, this paper studies fuzzy clustering without prototypes. Starting fro...
162
Voted
BIRTHDAY
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
191
click to vote
CADE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
154
click to vote
ICLP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...