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 2015: Advances in Artificial Intelligence [[electronic resource] ] : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / / edited by Steffen Hölldobler, , Rafael Peñaloza, Sebastian Rudolph
| KI 2015: Advances in Artificial Intelligence [[electronic resource] ] : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / / edited by Steffen Hölldobler, , Rafael Peñaloza, Sebastian Rudolph |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIX, 368 p. 93 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Mathematical logic Information storage and retrieval User interfaces (Computer systems) Artificial intelligence Computer simulation Computer Science Artificial Intelligence (incl. Robotics) Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
| ISBN | 3-319-24489-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466311203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
KI 2015: Advances in Artificial Intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / / edited by Steffen Hölldobler, , Rafael Peñaloza, Sebastian Rudolph
| KI 2015: Advances in Artificial Intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / / edited by Steffen Hölldobler, , Rafael Peñaloza, Sebastian Rudolph |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIX, 368 p. 93 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Mathematical logic Information storage and retrieval User interfaces (Computer systems) Artificial intelligence Computer simulation Computer Science Artificial Intelligence (incl. Robotics) Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
| ISBN | 3-319-24489-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483982203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
KI-96: Advances in Artificial Intelligence [[electronic resource] ] : 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings / / edited by Günther Görz, Steffen Hölldobler
| KI-96: Advances in Artificial Intelligence [[electronic resource] ] : 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings / / edited by Günther Görz, Steffen Hölldobler |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XIV, 394 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-70669-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rational models of normal logic programs -- Massively parallel reasoning about actions -- DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover -- Abstraction as a heuristic to guide planning -- Equational theorem proving using taxonomic constraints -- Planning for distributed theorem proving: The teamwork approach -- A revision of Dependency-Directed Backtracking for JTMS -- A compiler-interpreter-system for decoding the user's intention within a speech understanding application -- Cyclic rules in Linear Connection Proofs -- Optimized nearest-neighbor classifiers using generated instances -- Towards a totally distributed meeting scheduling system -- Representations as basis of cognitive processes -- Improving the functionality of a text-to-speech system by adding morphological knowledge -- Solving hard combinatorial problems with GSAT — A case study -- Using rippling for equational reasoning -- Reasoning about action and change: Defeasible observations and actions with abnormal effects -- Falldaten: Case-based reasoning for the diagnosis of technical devices -- Integration of prosodic and grammatical information in the analysis of dialogs -- Application of a genetic algorithm for plausible justification of observations -- Managing multiple contexts efficiently -- Inductive learning in symbolic domains using structure-driven recurrent neural networks -- Belief revision in a nonclassical logic -- Avoiding combinatorial explosion in automatic test generation: Reasoning about measurements is the key -- Case retrieval nets: Basic ideas and extensions -- Putting default logics in perspective -- EULE2: A prototypical knowledge-based decision support system for the performance of office tasks -- When to prove theorems by analogy? -- Probabilistic knowledge representation and reasoning at maximum entropy by SPIRIT -- Knowledge based image understanding by iterative optimization -- Knowledge organization using the development system FAENSY -- A uniform proof procedure for classical and non-classical logics -- Qualitative reasoning under uncertainty with symbolic probabilities -- Narratives with concurrent actions: The mutual exclusion problem (extended abstract) -- Tools for autonomous agents -- A concept language extended with different kinds of transitive roles -- Representation in auditory cortex -- A terminological qualification calculus for preferential reasoning under uncertainty -- Syntactic disambiguation by using categorial parsing in a DOOD framework -- Constructive disjunction revisited. |
| Record Nr. | UNISA-996465854103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||