| |
In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 319-321.
|
| |
|
| |
In UAI '00: Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence (2000), pp. 371-379.
|
| |
Theorem Proving in Higher Order Logics (2001), pp. 329-345.
|
| |
The Philosophical Review, Vol. 88, No. 3. (1979), pp. 327-365.
|
| |
Meta-Programming in Logic (1992), pp. 235-249.
|
| |
Automata, Languages and Programming (1996), pp. 158-169.
|
| |
|
| |
Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.
|
| |
Philosophical Transactions: Physical Sciences and Engineering, Vol. 339, No. 1652. (1992), pp. 69-86.
|
| |
In Proceedings of the Conference on Categorical Algebra (1966), pp. 1-21.
|
| |
|
| |
Semigroup Forum, Vol. 53, No. 1. (23 December 1996), pp. 394-398.
|
| |
Synthese (June 2001), pp. 325-345.
|
| |
|
| |
|
| |
Synthese, Vol. 101, No. 1. (1 October 1994), pp. 1-14.
|
| |
Kybernetes: The International Journal of Systems & Cybernetics, Vol. 35, No. 3-4. (March 2006), pp. 403-425.
|
| |
|
| |
|
| |
|
| |
Journal of Logic and Computation (2001)
|
| |
Synthese, Vol. 69, No. 3. (1 December 1986), pp. 409-426.
|
| |
|
| |
Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
|
| |
|
| |
J. Autom. Reason., Vol. 22, No. 2. (February 1999), pp. 171-221.
|
| |
|
| |
ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
|
| |
In Proceedings of the 16th International Conference on Automated Deduction (CADE-16) (1999), pp. 202-206.
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
|
| |
Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104.
|
CiteULike
Scis0000002's CiteULike
Search
Export
