Logic in computer science - modelling and reasoning about systems

By M. Huth, M. Ryan. 2000

763 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/8ff3040ec8e66604b1057cd3606ff8fa067ff89c

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. L. C. Lamb
2. A.S. d'Avila Garcez
3. Ufuk Topcu
4. Richard M. Murray
5. Tichakorn Wongpiromsarn
6. Reza Olfati-Saber
7. Wei Ren
8. Yongcan Cao

Citations in the corpus

• Reasoning about Time and Knowledge in Neural Symbolic Learning Systems (2003, methodology): “As we have seen, the solution to the muddy children puzzle illustrated in Figures 1 and 2 considers only snapshots of knowledge evolution along time rounds without the addition of a time variable (Huth & Ryan, 2000).”
• Receding Horizon Temporal Logic Planning (2012, methodology): “With these definitions, the semantics of LTL for a sequence of discrete states can be derived from the general semantics of LTL [6], [7], [8].”