 In JA Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, pages 100-106, Cambridge, CA, 1991.  Perspectives on Universal Logic - Página 412editado por - 2007 - 434 páginasVisualização parcial - Sobre este livro
 | Alberto Pettorossi - 1992 - 374 páginas
...1990. T 119 5. A. Brogi and F. Turini. Metalogic for Knowledge Representation. In JA Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, pages 100-106. Morgan Kaufmann, 1990. 6. K. Clark. Negation as failure.... | |
 | Evelina Lamma, Paola Mello - 1993 - 436 páginas
...November 1990. 6. A. Brogi and F. Turini. Metalogic for Knowledge Representation. In JA Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, pages 100-106, Cambridge, CA, 1991. Morgan Kaufmann. 7. P. Coscia,... | |
 | Andrei Voronkov - 1993 - 408 páginas
...B. Hollander (1992) Embedding Defaults into Terminological Knowledge Representation Formalisms, in Principles of Knowledge Representation and Reasoning...- Proceedings of the 3rd International Conference, B. Nebel, C. Rich and W. Swartout, eds. 2. Besnard, Ph. (1989) An Introduction to Default Logic. (Springer)... | |
 | Pietro Torasso - 1993 - 356 páginas
...Makay, D., Finin, T., Gruber, T., Neches, R. (1992) The DARPA Knowledge Sharing Effort: Progress Report, Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference, Morgan Kaufmann, 1992. Plotkin, GD (1981). A Structural Approach to Operational Semantic. Technical... | |
 | Laurent Fribourg, Franco Turini - 1994 - 468 páginas
...16(3), 1994. 7. A. Brogi and F. Turini. Metalogic for Knowledge Representation. In JA Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, pages 100—106. Morgan Kaufmann, 1990. 8. A. Brogi and F. Turini.... | |
 | Gerhard Lakemeyer, Bernhard Nebel - 1994 - 372 páginas
...functions. Journal of Symbolic Logic, 50(2):510-530, June 1985. [Allen et al., 1991] JA Allen, R. Fikes, and E. Sandewall, editors. Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference, Cambridge, MA, April 1991. Morgan Kaufmann. [Allgayer and Franconi, 1994]... | |
 | Ipke Wachsmuth, Claus Rollinger, Wilfried Brauer - 1995 - 292 páginas
...and AG Cohn. A spatial logic based on regions and connection. In B. Nebel, W. Swartout, and C. Rich, editors, Principles of Knowledge Representation and...Proceedings of the 3rd International Conference, pages 165-176, Cambridge, MA, Oct. 1992. Morgan Kaufmann. 18. A. Tarski. What is elementary geometry? In... | |
 | Gerard Ellis - 1995 - 372 páginas
...optimization techniques for terminological representation systems. In B. Nebel, C. Rich, and W. Swartout, editors, Principles of Knowledge Representation and...- Proceedings of the 3rd International Conference, Cambridge, MA, 1992. [CG70] DG Cornell and CC Gotlieb. An efficient algorithm for graph isomorphism.... | |
 | Doug Fisher, Hans-J. Lenz - 1996 - 468 páginas
...January 1995. [8] Judea Pearl and TS Verma. A theory of inferred causation. In JA Allen, R. Fikes, and E. Sandewall. editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second Intr rnational Conference, pages 441 452, San Mateo, CA. April 1991. Morgan Kaufmann. 16 Structure... | |
 | Malik Ghallab, Alfredo Milani - 1996 - 422 páginas
...Mendelzon. On the difference between updating a knowledge base and revising it. In JA Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference, pages 387-394, 1991. [10] R. Letz, J. Schumann, S. Bayerl, and W. Bibel.... | |
| |
