1544 search results - page 222 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
112
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
110
click to vote
TIME
2009
IEEE
15 years 6 months ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
100
click to vote
CADE
2003
Springer
16 years 5 days ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
102
click to vote
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
WWW
2009
ACM
16 years 17 days ago
2009
ACM
This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an on...