A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (2001)

by Steve Easterbrook , Marsha Chechik
Citations:84 - 27 self

Documents Related by Co-Citation

318 A useful four-valued logic – Nuel D Belnap - 1977
1176 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1126 A Survey of Approaches to Automatic Schema Matching – Erhard Rahm, Philip A. Bernstein - 2001
3430 Communication and Concurrency – R Milner - 1989
419 Category Theory for Computer Science – M Barr, C Wells - 1990
1246 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
762 Introduction to Metamathematics – S C Kleene
942 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992