Progress in Artificial Intelligence - neues Buch

EAN (ISBN-13): 9783540604280
ISBN (ISBN-10): 3540604286
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer Berlin Heidelberg
508 Seiten
Gewicht: 0,760 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-03-22T23:53:48+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-04-15T16:12:43+02:00 (Vienna)
ISBN/EAN: 9783540604280

ISBN - alternative Schreibweisen:
3-540-60428-6, 978-3-540-60428-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ferreira, nuno, fernao mendez pinto, molder jorge pinto, fernando mendez pinto, fernand mendez pinto, carlos pinto, siekmann, berlin
Titel des Buches: madeira, 1995 band, island, portugal, funchal, proceedings artificial intelligence conference, art progress, lecture notes computer science, port, artifical intelligence, 990

---

Daten vom Verlag:

Autor/in: Carlos Pinto-Ferreira; Nuno J. Mamede
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Progress in Artificial Intelligence - 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings
Verlag: Springer; Springer Berlin
492 Seiten
Erscheinungsjahr: 1995-09-22
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
DVIII, 492 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automated Reasoning; Automatisches Schließen; Maschinelles Lernen; Nich-monotones Schließen; Verteilte Künstliche Intelligenz; Zwangsbasiertes Schließen; case-based reasoning; constraint-based reasoning; distributed artificial intelligence; expert system; genetic algorithms; knowledge representation; nonmonotonic reasoning; optimization; uncertainty; Artificial Intelligence; EA

Terminological meta-reasoning by reification and multiple contexts.- A new continuous propositional logic.- Super-polynomial speed-ups in proof length by new tautologies.- Belief revision in non-monotonic reasoning.- A new representation of JTMS.- The retrieval problem in a concept language with number restrictions.- Formalizing local propagation in constraint maintenance systems.- A dependency parser of Korean based on connectionist/symbolic techniques.- A symbiotic approach to arc and path consistency checking.- Where do intentions come from ?: A framework for goals and intentions adoption, derivation and evolution.- A closer look to artificial learning environments.- Building multi-agent societies from descriptions to systems: Inter-layer translations.- GA/TS: A hybrid approach for job shop scheduling in a production system.- A controlled experiment: Evolution for learning difficult image classification.- Minimal model complexity search.- Characterization of classification algorithms.- Neurons, glia and the borderline between subsymbolic and symbolic processing.- Arguments and defeat in argument-based nonmonotonic reasoning.- A preference semantics for ground nonmonotonic modal logics.- Logical omniscience vs. logical ignorance on a dilemma of epistemic logic.- On the role of splitting and merging past cases for generation of a new solution.- Theorem proving by analogy — A compelling example.- Non-atomic actions in the situation calculus.- Planning under uncertainty: A qualitative approach.- Qualitative reasoning under uncertainty.- Systematic construction of qualitative physics-based rules for process diagnostics.- Integrated process supervision: A structured approach to expert control.- Using stochastic grammars to learn robotic tasks.- Constraint categorialgrammars.- A new translation algorithm from lambda calculus into combinatory logic.- Interlocking multi-agent and blackboard architectures.- A model theory for paraconsistent logic programming.- Promoting software reuse through explicit knowledge representations.- Efficient learning in Multi-Layered Perceptron using the Grow-And-Learn algorithm.- A non-diffident combinatorial optimization algorithm.- Modelling diagnosis systems with the logic programming.- Agreement: A logical approach to approximate reasoning.- Constructing extensions by resolving a system of linear equations.- Presenting significant information in expert system explanation.- A cognitive model of problem solving with incomplete information.- Filtering software specifications written in natural language.- Parsimonious Diagnosis in SNePS.- Syntactic and semantic filtering in a chart parser.- GA approach to solving Multiple Vehicle Routing Problem.- Multilevel refinement planning in an interval-based temporal logic.