On-line algorithms for satisfiability problems with uncertainty

Theoretical Computer Science

Volumn 171, Issue 1-2, 1997, Pages 3-24

  Ausiello, Giorgio ^a   Giaccio, Roberto ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; GRAPH THEORY;

HYPERGRAPHS; ON-LINE ALGORITHMS;

ALGORITHMS;

EID: 0030784205     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00123-5     Document Type: Article

References (26)

1. G. Ausiello, A. D'Atri and D. Sacca, Minimal representation of directed hypergraphs, SIAM J. Comput. 2 (1986) 418-431.
2. G. Ausiello and G.F. Italiano, On-line algorithms for polynomially solvable satisfiability problems, J. Logic Programming 10 (1991) 69-90.
3. G. Ausiello, G.F. Italiano and U. Nanni, Dynamic maintenance of directed hypergraphs, Theoret. Comput. Sci. 72 (1990) 97-117.
4. G. Ausiello, G.F. Italiano and U. Nanni, Optimal traversal of directed hypergraphs, ICSI Technical Report TR-92-073, 1992.
5. P.P. Bonissone and K.S. Decker, Selecting uncertainty calculi and granularity: an experiment in trading-off precision and complexity, Proc. Workshop on Uncertainty and Probability in Artificial Intelligence, University of California, Los Angeles (1985) 57-66.
6. B.G. Buchanan and E.H. Shortliffe, Rule-based Expert Systems (Addison-Wesley, Reading, MA, 1984).
7. J. McCarthy, Circumscription - a form of non-monotonic reasoning, Artificial Intell. 13 (1980) 27-40.
8. R. Cambini, G. Gallo and M.G. Scutella, Minimum cost flows on hypergraphs, TR-1/92 Dipartimento di Informatica, Università di Pisa, 1992.
9. D. McDermott and J. Doyle, Nonmonotonic logic I, J. ACM 29 (1982) 33-57.
10. D. McDermott, Nonmonotonic logic II, Artificial Intell. 13 (1980) 41-72.
11. D. Dubois and H. Prade, Fuzzy Sets and Systems: Theory and Applications (Academic Press, New York, 1980).
12. R.O. Duda, P.E. Hart and N.J. Nilsson, Subjective bayesian methods for rule-based inference systems, AFIPS Conf. Proc., New York (1976) 1074-1082.
13. Encyclopedia of Artificial Intelligence (Wiley, New York, 1987).
14. G. Gallo, G. Longo, S. Nguyen and S. Pallottino, Directed hypergraphs and applications, Discrete Appl. Math. 42 (1993) 177-201.
15. T.D. Garvey, J.D. Lovrance and M.A. Fishier, An inference technique for integrating knowledge from disparate sources, Proc. Seventh Internat. Joint Conf. on Artificial Intelligence, Vancouver, B.C. (1981) 319-325.
16. R. Giaccio, On-line algorithms for satisfiability formulae with uncertainty. TR-2/94 Dipartimento di Informatica e Sistemistica, Università degli studi di Roma "La Sapienza", 1994.
17. M. Kifer and A. Li, On the semantics of rule-based expert systems with uncertainty, Internat. Conf. on Database Theory, 1988, Lecture Notes in Computer Science, Vol. 326 (Springer, Berlin, 1988) 186-202.
18. J. Pearl, Reverend bayes on inference engine: a distributed hierarchical approach, Proc. Second National Conf. on Artificial Intelligence, Pittsburgh, PA (1982) 133-136.
19. J. Pearl, Probabilistic reasoning in intelligent systems: network of plausible inference. (Morgan Kaufmann, Los Altos, 1988).
20. D. Pretolani, Satisfiability and hypergraphs, TD 12/93, Dipartimento di Informatica, Università di Pisa, 1993.
21. R. Reiter, A logic for default reasoning, Artificial Intell. 13 (1980) 81-132.
22. C.R. Rollinger, How to represent evidence: aspects of uncertainty reasoning, Proc. Eighth Internat. Joint Conf. on Artificial Intelligence, Karlsruhe, FRG (1983) 358-361.
23. G. Shafer, A Mathematical Theory of Evidence (Princeton University Press, Princeton, NJ, 1976).
24. E.H. Shortliffe and B.G. Buchanan, A model of inexact reasoning in medicine, Math. Biosci. 23 (1975) 351-379.
25. L.A. Zadeh, Fuzzy sets. Inform. and Control 8 (1965) 338-353.
26. L.A. Zadeh, Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets and Systems 1 (1978) 3-28.