REBIUN - ODA

Descripción del título

Sorts and Types in Artifici...

Sorts and Types in Artificial Intelligence [Workshop, Eringerfeld, FRG, April 24-26, 1989 Proceedings

Bläsius, K. H. (Karl Hans)

Springer Berlin Heidelberg 1990

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning

Ver

Llibres electrònics

Monografía

monografia Rebiun17727533 https://catalogo.rebiun.org/rebiun/record/Rebiun17727533 m o d cr mnu---uuaaa 121227s1990 gw o 000 0 eng 9783540469650 electronic bk.) 3540469656 electronic bk.) 9783540523376 3540523375 3540469656 UPVA 996968494203706 AU@. eng. pn. AU@. OCLCO. GW5XE. OCLCA. OCLCF. OCLCQ. ES-VaUB 006.3 23 Bläsius, K. H. Karl Hans) Sorts and Types in Artificial Intelligence Recurs electrònic] :] Workshop, Eringerfeld, FRG, April 24-26, 1989 Proceedings edited by Karl Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger Berlin, Heidelberg Springer Berlin Heidelberg 1990 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg 1 recurs electrònic (viii, 307 pages) 1 recurs electrònic (viii, 307 pages) Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence 0302-9743 418 Introduction -- Sorts and Types in Logic, Theorem Proving and Logic Programming -- Sorts and Types in Knowledge Representation Including Qualitative Reasoning -- Sorts and Types in Natural Language (Understanding) Systems -- List of Contributors The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning Computer science Artificial intelligence Logic, Symbolic and mathematical Artificial intelligence. fast Computer science. fast Logic, Symbolic and mathematical. fast Llibres electrònics Hedtstück, Ulrich Rollinger, Claus-Rainer Lecture notes in computer science. Lecture notes in artificial intelligence 418 SpringerLink eBooks

• Localizaciones: 4
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun17727533

Cerrar

monografia Rebiun17727533 https://catalogo.rebiun.org/rebiun/record/Rebiun17727533 m o d cr mnu---uuaaa 121227s1990 gw o 000 0 eng 9783540469650 electronic bk.) 3540469656 electronic bk.) 9783540523376 3540523375 3540469656 UPVA 996968494203706 AU@. eng. pn. AU@. OCLCO. GW5XE. OCLCA. OCLCF. OCLCQ. ES-VaUB 006.3 23 Bläsius, K. H. Karl Hans) Sorts and Types in Artificial Intelligence Recurs electrònic] :] Workshop, Eringerfeld, FRG, April 24-26, 1989 Proceedings edited by Karl Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger Berlin, Heidelberg Springer Berlin Heidelberg 1990 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg 1 recurs electrònic (viii, 307 pages) 1 recurs electrònic (viii, 307 pages) Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence 0302-9743 418 Introduction -- Sorts and Types in Logic, Theorem Proving and Logic Programming -- Sorts and Types in Knowledge Representation Including Qualitative Reasoning -- Sorts and Types in Natural Language (Understanding) Systems -- List of Contributors The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning Computer science Artificial intelligence Logic, Symbolic and mathematical Artificial intelligence. fast Computer science. fast Logic, Symbolic and mathematical. fast Llibres electrònics Hedtstück, Ulrich Rollinger, Claus-Rainer Lecture notes in computer science. Lecture notes in artificial intelligence 418 SpringerLink eBooks