Sciweavers

2611 search results - page 87 / 523
» A Logic for Concepts and Similarity
Sort
View
ITCC
2003
IEEE
15 years 7 months ago
A Method for Calculating Term Similarity on Large Document Collections
We present an efficient algorithm called the Quadtree Heuristic for identifying a list of similar terms for each unique term in a large document collection. Term similarity is de...
Wolfgang W. Bein, Jeffrey S. Coombs, Kazem Taghva
IAT
2009
IEEE
15 years 8 months ago
Computing Information Minimal Match Explanations for Logic-Based Matchmaking
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
DAGSTUHL
2007
15 years 3 months ago
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic
Abstract. While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An ...
Régis Riveret, Antonino Rotolo, Guido Gover...
DLOG
1998
15 years 3 months ago
A Description Logic System for Learning in Complex Domains
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
Jordi Alvarez
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 3 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl