• Produktbild: Progress in Artificial Intelligence
  • Produktbild: Progress in Artificial Intelligence

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.09.1993

Herausgeber

Michel Filgueiras + weitere

Verlag

Springer Berlin

Seitenzahl

368

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

575 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57287-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.09.1993

Herausgeber

Verlag

Springer Berlin

Seitenzahl

368

Maße (L/B/H)

23,5/15,5/2 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: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • 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.