Mathematical logic

By R. Cori. 2000

1,510 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/9ac791f32fe94e45ff45e8cb6fedd9b43875a936

How researchers see this paper

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

1. Giuseppe De Giacomo
2. Hector J. Levesque
3. Yves Lespérance
4. Gerhard Lakemeyer
5. Vaishak Belle
6. Samuel R. Bowman
7. Diego Calvanese
8. Sheila A. McIlraith

Citations in the corpus

• ConGolog, a concurrent programming language based on the situation calculus (2000, background): “, [37]) of domain theory D plus the axioms needed for the encoding of programs as first-order terms, and appealing to the following general result:”