Probabilistic neighbourhood logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1926, Issue , 2000, Pages 264-275

  Guelev, Dimitar P ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FAULT TOLERANCE; REAL TIME SYSTEMS;

NEIGHBOURHOOD; PROBABILISTIC DURATION; PROBABILISTIC EXTENSION; PROOF SYSTEM;

COMPUTER CIRCUITS;

EID: 84974687461     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45352-0_22     Document Type: Conference Paper

References (15)

1. Barua, R. S. Roy AND Zhou Chaochen. Completeness of Neighbourhood Logic. Proceedings of STACS’99, Trier, Germany, LNCD 1563, Springer Verlag, 1999.
2. Chang, C. C. AND H. J. Keisler. Model Theory. North Holland, Amsterdam, 1973.
3. Dutertre, B. On First Order Interval Temporal Logic Report no. CSD- TR-94-3 Department of Computer Science, Royal Holloway, University of London, Egham, Surrey TW20 0EX, England, 1995.
4. Dang Van Hung and Zhou Chaochen. Probabilistic Duration Calculus for Continuous Time. Formal Aspects of Computing, 11, pp. 21-44, 1999.
5. Guelev, D. P. A Calculus of Durations on Abstract Domains: Completeness and Extensions. Technical Report 139, UNU/IIST, P.O.Box 3058, Macau, May 1998.
6. Guelev, D. P. Probabilistic Interval Temporal Logic, Technical Report 144, UNU/IIST, P.O.Box 3058, Macau, August 1998, Draft.
7. Guelev, D. P. Probabilistic and Temporal Modal Logics, Ph.D. thesis, submitted.
8. Guelev, D. P. Interval-related Interpolation in Interval Temporal Logics, submitted, 1999.
9. Guelev, D. P. Probabilistic Neighbourhood Logic. Technical Report 196, UNU/IIST, P.O.Box 3058, Macau, April 2000.
10. Liu Zhiming, A. P. Ravn, E. V. Sorensen and Zhou Chaochen. A Probabilistic Duration Calculus. In: Proceedings of the Second International Workshop on Responsive Computer Systems. KDD Research and Development Laboratories, Saitama, Japan, 1992.
11. Mathai, J. Real-Time Systems. Prentice Hall, 1995.
12. Moszkowski, B. Temporal Logic For Multilevel Reasoning About Hardware. IEEE Computer, 18(2):10-19, February 1985.
13. Trifonov, V. T. A completeness theorem for the probabilistic interval temporal logic with respect to its standard semantics, M.Sc. thesis, Sofia University, July 1999. (In Bulgarian)
14. Zhou Chaochen, AND M. R. Hansen. An Adequate First Order Interval Logic. International Symposium, Compositionality - The Significant Difference, H. Langmaack, A. Pnueli and W.-P. de Roever (eds.), Springer, 1998.
15. Zhou Chaochen, C. A. R. Hoare and A. P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5), pp. 269-276, 1991.