Progress in Artificial Intelligence (Record no. 188424)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05243nam a22005295i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-48159-1 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423132510.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121227s1999 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540481591 |
| -- | 978-3-540-48159-1 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/3-540-48159-1 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | Q334-342 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TA347.A78 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM004000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQ |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.3 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Progress in Artificial Intelligence |
| Medium | [electronic resource] : |
| Remainder of title | 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Evora, Portugal, September 21-24, 1999, Proceedings / |
| Statement of responsibility, etc | edited by Pedro Barahona, Jose J. Alferes. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 1999. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 1999. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XII, 392 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Artificial Intelligence, |
| International Standard Serial Number | 2945-9141 ; |
| Volume number/sequential designation | 1695 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Lectures -- Combinatorial Optimization in OPL Studio -- Challenges for Inductive Logic Programming -- Holonic Multiagent Systems — Theory and Applications — -- Constraint Programming -- On the Accuracy and Running Time of GSAT -- The Impact of Branching Heuristics in Propositional Satisfiability Algorithms -- A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations -- Is a Tractable Language? -- Natural Language Processing -- Inclusion of Picture Sequences in Generated Documents -- Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units -- On the Formal Distinction between Literal and Figurative Language -- Spatial Reasoning -- Qualitative Theory of Shape and Structure -- Logic Programming -- A New Formulation of Tabled Resolution with Delay -- YapOr: An Or-Parallel Prolog System Based on Environment Copying -- Theorem Proving -- Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic -- Critical Agents Supporting Interactive Theorem Proving -- Reasoning Under Uncertainty -- A Practical Approach to Fusing Prioritized Knowledge Bases -- Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles -- Multi-agent Systems -- A Multi-agent System for Electronic Commerce Including Adaptive Strategic Behaviours -- Choice and Institutions in Agent Societies -- Analytic Modal Revision for Multi-agent Systems -- Decisions Based upon Multiple Values: The BVG Agent Architecture -- Abduction and Revision -- Temporal Abductive Diagnosis -- A New Approach to Base Revision -- Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming -- Genetic Algorithms -- Genetic Algorithms for Solving Open Shop Scheduling Problems -- Expressing Population Based Optimization HeuristicsUsing PLATO. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones held in Porto (1985), Lisboa (1986), Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995) and Coimbra (1997). Starting in 1989, the conferences have been held biennially (alternating with an APPIA Advanced School on Arti cial Intelligence) and become truly international: English has been adopted as the o cial language and the proceedings are published in Springer’s LNAI series. The conference has recon rmed its high international standard this year, largely due to its programme committee, composed of distinguished researchers in a variety of specialities in Arti cial Intelligence, half of them from Portuguese universities. This has attracted a signi cant international interest, well expressed by the number of papers submitted (66), from 17 di erent countries, 29 of which are by Portuguese researchers. From the 66 papers submitted, about one third of them (23) were selected for oral presentation and have been published in this volume. The review process enabled the selection of high quality papers, each paper being reviewed by two or three reviewers, either from the programme committee or by their appointment. We would like to thank all of the reviewers for their excellent and hard work. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial Intelligence. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Barahona, Pedro. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Alferes, Jose J. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540665489 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662187821 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Artificial Intelligence, |
| -- | 2945-9141 ; |
| Volume number/sequential designation | 1695 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/3-540-48159-1">https://doi.org/10.1007/3-540-48159-1</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.