Artificial Intelligence: Methodology, Systems, and Applications - neues Buch

EAN (ISBN-13): 9783540497936
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-02-21T11:49:41+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-10-13T16:49:02+02:00 (Berlin)
ISBN/EAN: 9783540497936

ISBN - alternative Schreibweisen:
978-3-540-49793-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: artificial intelligence systems

---

Daten vom Verlag:

Autor/in: Fausto Giunchiglia
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Artificial Intelligence: Methodology, Systems, and Applications - 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings
Verlag: Springer; Springer Berlin
508 Seiten
Erscheinungsjahr: 2003-06-26
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 508 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Extension; algorithms; automated reasoning; automated theorem proving; expert system; intelligence; knowledge-based systems; learning; model checking; modeling; multi-agent system; natural language; nonmonotonic reasoning; programming language; uncertainty; C; Artificial Intelligence; Computer Science; BC

The gain of failures: Using side-effects of anaphora resolution for term consistency checks.- An agent model for NL dialog interfaces.- Constraint solving in Logic Programming and in Automated Deduction: A comparison.- An extension of SATPLAN for planning with constraints.- Reasoning about generalized intervals.- Formalizing belief reports — The approach and a case study.- Extension calculus and query answering in prioritized default logic.- Study of symmetry in qualitative temporal interval networks.- A blackboard architecture for guiding interactive proofs.- Combining nonmonotonic reasoning and belief revision: A practical approach.- Modelling uncertainty with kripke's semantics.- Using linear temporal logic to model and solve planning problems.- Tailorable interactive agents for scheduling meetings.- Planning diagonalization proofs.- Theories and proofs in fault diagnosis.- Nonmonotonic reasoning under uncertain evidence.- Multicontext systems with importing contexts.- Planning via model checking in determistic domains: Preliminary report.- Acquisition of useful lemma-knowledge in automated reasoning.- Constructing translations between individual vocabularies in multi-agent systems.- Belief reconstruction in cooperative dialogues.- Model theoretic semantics for information integration.- A classification learning algorithm robust to irrelevant features.- Knowledge assimilation and proof restoration through the addition of goals.- Learning multiple predicates.- Modal reasoning and rough set theory.- Overcoming incomplete information in NLP systems — Verb subcategorization.- A framework for inductive learning based on subsumption lattices.- Dynamic learning — An approach to forgetting in ART2 neural networks.- A new approach to linguistic negation of nuancedinformation in knowledge-based systems.- SAT-based decision procedures for normal modal logics: A theoretical framework.- Version space retraction with instance-based boundary sets.- A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming.- A new approach to learning Bayesian Network classifiers from data: Using observed statistical frequencies.- Abstraction as a form of elaboration tolerance.- System architecture of a distributed expert system for the management of a national data network.- Strategy selection for automated theorem proving.- An agent system for intelligent situation assessment.- Knowledge granularity and action selection.- Towards lifetime maintenance of case base indexes for continual case based reasoning.
Includes supplementary material: sn.pub/extras