Progress in artificial intelligence : 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 8, 1993 : proceedings
This volume presents the proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA '93, organized by the Portuguese Artificial Intelligence Association. Like the last two conferences in this series, it was run as an international event with strict requirements as to the qual...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Yhteisötekijä: | |
| Muut tekijät: | |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science. Lecture notes in artificial intelligence
727 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Progress in Artificial Intelligence, Texte imprimé, 9783540572879 • Progress in Artificial Intelligence, Texte imprimé, 9783662174395 |
| LEADER | 05083nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 972732 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155229133 | ||
| 020 | |a 9783540480365 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 006.3 | ||
| 100 | 1 | |a Filgueiras, Miguel, |d 1953- | |
| 245 | 1 | 0 | |a Progress in artificial intelligence : |b 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 8, 1993 : proceedings |c [edited by] Miguel Filgueiras, Luís Damas. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 727 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume presents the proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA '93, organized by the Portuguese Artificial Intelligence Association. Like the last two conferences in this series, it was run as an international event with strict requirements as to the quality of accepted submissions. Fifty-one submissions were receivedfrom 9 countries, the largest numbers coming from Portugal (18), Germany (10), and France (8). The volume contains 25 selected papers, together with 7 poster abstracts and one invited lecture: "Organizations as complex, dynamic design problems" by L. Gasser, I. Hulthage, B. Leverich, J. Lieb, and A. Majchrzak, all from the University of Southern California. The papersare grouped into parts on: distributed artificial intelligence, natural language processing, knowledge representation, logic programming, non-standard logics, automated reasoning, constraints, planning, and learning. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Damas, Luis. |4 pbd | |
| 711 | 2 | |a Portuguese conference on artificial intelligence |n (06 |d :1993 |c :Porto). |4 aut | |
| 776 | 0 | |t Progress in Artificial Intelligence |b Texte imprimé |z 9783540572879 | |
| 776 | 0 | |t Progress in Artificial Intelligence |b Texte imprimé |z 9783662174395 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-57287-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-VDKP6QRW-X |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750633514 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-57287-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753989883 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-57287-2 |z Accès INSA CVL | |
| 997 | |0 972732 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||