Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
KI-95: Advances in Artificial Intelligence [[electronic resource] ] : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings / / edited by Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer
| KI-95: Advances in Artificial Intelligence [[electronic resource] ] : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings / / edited by Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XIII, 275 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-44944-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Partially observable Markov decision processes for artificial intelligence -- Robust processing of natural language -- Distinction networks -- The problem of signal and symbol integration: A study of cooperative mobile autonomous agent behaviors -- An extension of explanation-based generalization to negation as failure -- Inducing integrity constraints from knowledge bases -- Dynamic structuring of lexical knowledge in a reusability scenario -- Efficient memory-limited graph search -- Quality-based terminological reasoning for concept learning -- Task acquisition with a description logic reasoner -- Parallelizing description logics -- Automated termination proofs with measure functions -- What is a skeptical proof? -- Default entailment -- Actions that make you change your mind -- Reasoning about action with typical and atypical effects -- Reasoning about action and change: Actions with abnormal effects -- Temporal logic based on characteristic functions -- Computational properties of qualitative spatial reasoning: First results -- An empirically validated model for computing spatial relations -- Integrating vision and language: Towards automatic description of human movements. |
| Record Nr. | UNISA-996466158203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Sorts and Types in Artificial Intelligence [[electronic resource] ] : Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings / / edited by Karl H. Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger
| Sorts and Types in Artificial Intelligence [[electronic resource] ] : Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings / / edited by Karl H. Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (VIII, 307 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-46965-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contents: 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. |
| Record Nr. | UNISA-996466138503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Text Understanding in LILOG [[electronic resource] ] : Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project / / edited by Otthein Herzog, Claus-Rainer Rollinger
| Text Understanding in LILOG [[electronic resource] ] : Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project / / edited by Otthein Herzog, Claus-Rainer Rollinger |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (XII, 744 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Architecture, Computer Software engineering Mathematical logic Database management Computer programming Artificial Intelligence Computer System Implementation Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Database Management Programming Techniques |
| ISBN | 3-540-38493-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introducing LILOG -- Text understanding — The challenges to come -- A formalism for natural language — STUF -- The language of STUF -- Chart-parsing of STUF grammars -- The STUF workbench -- Unification-ID/LP grammars: Formalization and parsing -- A flexible parser for a Linguistic Development Environment -- Gap-Handling mechanisms in categorial grammars -- Outlines of the LEU/2 lexicology -- Morphological processing in the two-level paradigm -- Representing word meanings -- Sortal information in lexical concepts -- Incremental vocabulary extensions in text understanding systems -- Managing lexical knowledge in LEU/2 -- The grammars of LILOG -- An alternative phrase structure account of symmetric coordination -- Verb order and head movement -- The Bermuda Triangle: Natural language semantics between linguistics, knowledge representation, and knowledge processing -- Presupposition, anaphora, and lexical content -- Anaphora and domain restriction -- On representing the temporal structure of texts -- The treatment of plurality in L LILOG -- The knowledge representation language LLILOG -- Knowledge packets and knowledge packet structures -- Deductive aspects of three-valued logic -- The LILOG inference engine -- Knowledge based control of the LILOG inference engine: Kinds of metaknowledge -- Attributive description formalisms ... and the rest of the world -- The background knowledge of the LILOG system -- The LILOG ontology from a linguistic point of view -- A knowledge engineering environment for LILOG -- Knowledge engineering in the context of related fields of research -- LILOG-DB: Database support for knowledge based systems -- Processing of spatial expressions in LILOG -- Phenomena of localization -- Verbs of motion and position: On the optionality of the local argument -- Why a hill can't be a valley: Representing gestalt and position properties of objects with object schemata -- Object-oriented representation of depictions on the basis of cell matrices -- Integrating a generation component into a natural language understanding system -- From knowledge structures to text structures -- The formulator -- Constructing a context for LEU/2 -- The text understanding system LEU/2 -- The trace of building a large AI system. |
| Record Nr. | UNISA-996465287303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||