Database Updates and Transition Constraints: A Formula-Based Approach.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 1, p. 169, doi. 10.1002/int.4550090111
- By:
- Publication type:
- Article
Works matching IS 08848173 AND DT 1994 AND VI 9 AND IP 1
Results: 9
1
2
A Knowledge Representation Perspective: Logics for Paraconsistent Reasoning.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 1, p. 153, doi. 10.1002/int.4550090110
- By:
- Publication type:
- Article
3
Revision and Action.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 1, p. 143, doi. 10.1002/int.4550090109
- By:
- Publication type:
- Article
4
A Temporal Revision Model for Reasoning About World Change*.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 1, p. 131, doi. 10.1002/int.4550090108
- By:
- Publication type:
- Article
5
Notes on Change and Nonmonotony.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 1, p. 101, doi. 10.1002/int.4550090106
- By:
- Publication type:
- Article
6
Interference Logic = Conditional Logic + Frame Axiom.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 1, p. 119, doi. 10.1002/int.4550090107
- By:
- Publication type:
- Article
7
A Survey of Belief Revision and Updating Rules in Various Uncertainty Models*.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 1, p. 61, doi. 10.1002/int.4550090105
- By:
- Publication type:
- Article
8
A Glance at Revision and Updating in Knowledge Bases1.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 1, p. 1
- By:
- Publication type:
- Article
9
A Survey of Belief Revision and Updating in Classical Logic.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 1, p. 29
- By:
- Publication type:
- Article