1328 search results - page 94 / 266 » Cut-free common knowledge |
168
click to vote
SUM
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Logic-based argumentation offers an approach to querying and revising multiple ontologies that are inconsistent or incoherent. A common assumption for logic-based argumen...
157
click to vote
FUZZIEEE
2007
IEEE
16 years 20 days ago
2007
IEEE
— DNA sequence basecalling is commonly regarded as a solved problem, despite significant error rates being reflected in inaccuracies in databases and genome annotations. This has...
138
click to vote
AGILE
2007
Springer
16 years 15 days ago
2007
Springer
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...
170
click to vote
COSIT
2007
Springer
16 years 15 days ago
2007
Springer
When animals (including humans) first explore a new environment, what they remember is fragmentary knowledge about the places visited. Yet, they have to use such fragmentary knowl...
163
click to vote
HICSS
2006
IEEE
16 years 11 days ago
2006
IEEE
The Internet is increasingly used as a medium for providing medical information. Nevertheless, whether the World Wide Web is favoured over other information sources depends to a l...