171 search results - page 3 / 35 » Flexible Query-Answering Systems Modelled in Metalogic Progr... |
CIKM
2011
Springer
12 years 6 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
ICDE
2009
IEEE
14 years 8 months ago
2009
IEEE
Auditing the changes to a database is critical for identifying malicious behavior, maintaining data quality, and improving system performance. But an accurate audit log is a histor...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
ICDCS
1996
IEEE
13 years 10 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
PADL
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...