Vor Ort
Merkzettel Warenkorb
  • Produktbild: Progress in Artificial Intelligence
  • Produktbild: Progress in Artificial Intelligence
Band 727

Progress in Artificial Intelligence 6th Portuguese Conference on AI, EPIA `93, Porto, Portugal, October 6-8, 1993. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.09.1993

Abbildungen

XII, 368 p.

Herausgeber

Michel Filgueiras + weitere

Verlag

Springer Berlin

Seitenzahl

368

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

575 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57287-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.09.1993

Abbildungen

XII, 368 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

368

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

575 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57287-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Progress in Artificial Intelligence
  • Produktbild: Progress in Artificial Intelligence
  • Organizations as complex, dynamic design problems.- Specifying and verifying distributed Intelligent systems.- A logical approach for distributed truth maintenance.- Building text temporal structure.- Resolution of constraints in algebras of rational trees.- Inheritance in a hierarchy of theories.- Semantics of interworking knowledge based systems.- Combining terminological logics with tense logic.- Towards complete answers in concept languages.- Version space algorithms on hierarchies with exceptions.- Regular languages and a class of logic programs.- Some results on the complexity of SLD-derivations.- An or-parallel prolog execution model for a distributed shared memory machine.- Diagnosis and debugging as contradiction removal in logic programs.- Well-founded approximations of autoepistemic logic.- A process model for default logic and its realization in logic programming.- A unified approach to default reasoning and belief revision.- Second order E-matching as a tool for automated theorem proving.- Attribute-specific interchangeability in constraint satisfaction problems.- The use and interpretation of meta level constraints.- Preliminary formalization of an incremental hierarchical constraint solver.- Fast methods for solving linear diophantine equations.- A note on Chapman's Modal Truth Criterion.- Learning operators while planning.- Evaluating evidence for motivated discovery.- How to learn in an incomplete knowledge environment: Structured objects for a modal approach.- The semantics of rational contractions.- A uniform framework for Deductive Database derivation strategies.- Assumption set semantics (The procedures).- Bargaining agents.- A constraint maintenance algorithm based on value propagation.- A text-to-phoneme translator for the Portuguese language.- Learning probabilistic models by conceptual pyramidal clustering.