Cantitate/Preț
Produs
Total produse
Vezi coșul
Progress in Artificial Intelligence: 6th Portuguese Conference on AI, EPIA `93, Porto, Portugal, October 6-8, 1993. Proceedings de Michel Filgueiras

Progress in Artificial Intelligence: 6th Portuguese Conference on AI, EPIA `93, Porto, Portugal, October 6-8, 1993. Proceedings: Lecture Notes in Computer Science, cartea 727

Editat de Michel Filgueiras, Luis M.M. Damas
en Limba Engleză Paperback – 21 sep 1993
This volume presents the proceedings of the 6th PortugueseConference on Artificial Intelligence, EPIA '93, organizedby the Portuguese Artificial Intelligence Association. Likethe last two conferences in this series, it was run as aninternational event with strict requirements as to thequality of accepted submissions. Fifty-one submissions werereceivedfrom 9 countries, the largest numbers coming fromPortugal (18), Germany (10), and France (8).The volume contains 25 selected papers, together with 7poster abstracts and one invited lecture: "Organizations ascomplex, dynamic design problems" by L. Gasser, I. Hulthage,B. Leverich, J. Lieb, and A. Majchrzak, all from theUniversity of Southern California. The papersare groupedinto parts on: distributed artificial intelligence, naturallanguage processing, knowledge representation, logicprogramming, non-standard logics, automated reasoning,constraints, planning, and learning.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32373 lei

Preț vechi: 40466 lei
-20%

Puncte Express: 486
Preț estimativ în valută:
5724€ • 6749$ • 4941£

Carte tipărită la comandă

Livrare economică 19 martie-02 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540572879
ISBN-10: 3540572872
Pagini: 380
Ilustrații: XII, 368 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.53 kg
Ediția:1993
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.