Monotonicity and persistence in preferential logics

Journal of Artificial Intelligence Research

Volumn 8, Issue , 1998, Pages 1-21

  Engelfriet, Joeri ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 4544229064     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.461     Document Type: Article

References (7)

1. Chang, C. C., & Keisler, H. J. (1990). Model Theory (3rd edition). Amsterdam: North-Holland.
2. Chen, J. (1997). The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications. Journal of Logic and Computation, 7(2), 159-174.
3. Davis, M. (1980). The mathematics of non-monotonic reasoning. Artificial Intelligence, 13, 73-80.
4. McCarthy, J. (1980). Circumscription - a form of non-monotonic reasoning. Artificial Intelligence, 13, 27-39.
5. Meyer, J.-J. C., & van der Hoek, W. (1995). Epistemic Logic for Computer Science and Artificial Intelligence, Vol. 41 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
6. Rabin, M. O. (1977). Decidable theories. In Barwise, J. (Ed.), Handbook of Mathematical Logic, pp. 595-629. Amsterdam: North-Holland.
7. Reiter, R. (1980a). Equality and domain closure in first-order data bases. Journal of the ACM, 27, 235-249.