Sciweavers

2958 search results - page 95 / 592
» Extending and Implementing RASP
Sort
View
WIKIS
2009
ACM
14 years 3 months ago
Experience report - Wiki for law firms
This paper shows the experiences of a law firm with adopting Wiki Webs for knowledge management and collaboration over the last two years. Wikis created a business advantage for t...
Urs Egli, Peter Sommerlad
AI
2000
Springer
14 years 1 months ago
On the Integration of Recursive ALN-Theories
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
Aida Vitória, Margarida Mamede
AUSAI
1998
Springer
14 years 1 months ago
cardTAP: Automated Deduction on a Smart Card
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
Andrew Slater, Rajeev Goré, Joachim Posegga...
JELIA
2000
Springer
14 years 17 days ago
A Compilation of Brewka and Eiter's Approach to Prioritization
In previous work, we developed a framework for expressing general preference information in default logic and logic programming. Here we show that the approach of Brewka and Eiter ...
James P. Delgrande, Torsten Schaub, Hans Tompits
DATESO
2004
134views Database» more  DATESO 2004»
13 years 10 months ago
Designing Indexing Structure for Discovering Relationships in RDF Graphs
Discovering the complex relationships between entities is one way of benefitting from the Semantic Web. This paper discusses new approaches to implementing -operators into RDF quer...
Stanislav Barton