top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui