JELIA
2000
Springer
14 years 19 days ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
JELIA
2000
Springer
14 years 19 days ago
2000
Springer
Abstract. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the\spoiled" part of the data (i.e., the set ...
JELIA
2000
Springer
14 years 19 days ago
2000
Springer
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 ...
TABLEAUX
1998
Springer
14 years 19 days ago
1998
Springer
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232
ISMIS
2000
Springer
14 years 19 days ago
2000
Springer
A learned lesson, in the context of a pre-defined organizational process, summarizes an experience that should be used to modify that process, under the conditions for which that l...
ISMIS
2000
Springer
14 years 19 days ago
2000
Springer
There is current interest in generalizing Bayesian networks by using dependencies which are more general than probabilistic conditional independence (CI). Contextual dependencies, ...
ISMIS
2000
Springer
14 years 19 days ago
2000
Springer
ISMIS
2000
Springer
14 years 19 days ago
2000
Springer
This paper introduces the design of rough neurons based on rough sets. Rough neurons instantiate approximate reasoning in assessing knowledge gleaned from input data. Each neuron c...
ISMIS
2000
Springer
14 years 19 days ago
2000
Springer
ISMIS
2000
Springer
14 years 19 days ago
2000
Springer
Abstract. The conventional use of databases is commonly restricted to the retrieval of factual data in the form of tuples or records. However most databases also contain metadata i...