Sciweavers

2611 search results - page 226 / 523
» A Logic for Concepts and Similarity
Sort
View
DLOG
2007
15 years 8 months ago
A New Mapping from ALCI to ALC
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
Yu Ding, Volker Haarslev, Jiewen Wu
COMMA
2008
15 years 8 months ago
Argument Theory Change: Revision Upon Warrant
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...
Nicolás D. Rotstein, Martín O. Mogui...
AKA
2004
15 years 8 months ago
On Transaction Design for UML Components
: The transaction concept enables the efficient development of concurrent and fault tolerant applications. Transaction services are therefore an essential part of modern component ...
Sten Loecher
IJCAI
1989
15 years 7 months ago
Time for Action: On the Relation Between Time, Knowledge and Action
We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
Yoav Shoham
SWAP
2007
15 years 7 months ago
Semantic Nearest Neighbor Search in OWL Ontologies
Abstract. A nearest neighbor search procedure is presented, for retrieving resources in knowledge bases expressed in OWL. The procedure exploits a semidistance for annotated resour...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito