Progress in Artificial Intelligence : 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Evora, Portugal, September 21-24, 1999, Proceedings
by Portuguese Conference on Artificial Intelligence 1999 Evora, portugal; Alferes, Jose Julio; Carbonell, J. G.Format: Paperback
Pub. Date: 1999-11-01
Publisher(s): Springer Verlag
Other versions by this Author
List Price: $109.00
Rent Textbook
Select for Price
Rent Digital
$42.90*
New Textbook
We're Sorry
Sold Out
Used Textbook
We're Sorry
Sold Out
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
This book constitutes the refereed proceedings of the 9th Portuguese Conference on Artificial Intelligence, EPIA '99, held in Évora, Portugal in September 1999.The 23 revised full papers presented together with three invited full papers were carefully reviewed and selected from a total of 66 submissions from 17 different countries. The papers are organized in topical sections on constraint programming, natural language processing, spatial reasoning, logic programming, theorem proving, reasoning under uncertainty, multi-agent systems, abduction and revision, and genetic algorithms.
Table of Contents
| Combinatorial Optimization in OPL Studio | p. 1 |
| Challenges for Inductive Logic Programming | p. 16 |
| Holonic Multiagent Systems - Theory and Applications | p. 34 |
| On the Accuracy and Running Time of GSAT | p. 49 |
| The Impact of Branching Heuristics in Propositional Satisfiability Algorithms | p. 62 |
| A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations | p. 75 |
| Is PL[subscript 2] a Tractable Language? | p. 90 |
| Inclusion of Picture Sequences in Generated Documents | p. 99 |
| Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units | p. 113 |
| On the Formal Distinction between Literal and Figurative Language | p. 133 |
| Qualitative Theory of Shape and Structure | p. 148 |
| A New Formulation of Tabled Resolution with Delay | p. 163 |
| YapOr: An Or-Parallel Prolog System Based on Environment Copying | p. 178 |
| Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic | p. 193 |
| Critical Agents Supporting Interactive Theorem Proving | p. 208 |
| A Practical Approach to Fusing Prioritized Knowledge Bases | p. 222 |
| Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles | p. 237 |
| A Multi-agent System for Electronic Commerce Including Adaptative Strategic Behaviours | p. 252 |
| Choice and Institutions in Agent Societies | p. 267 |
| Analytic Modal Revision for Multi-agent Systems | p. 282 |
| Decisions Based upon Multiple Values: The BVG Agent Architecture | p. 297 |
| Temporal Abductive Diagnosis | p. 312 |
| A New Approach to Base Revision | p. 327 |
| Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming | p. 342 |
| Genetic Algorithms for Solving Open Shop Scheduling Problems | p. 357 |
| Expressing Population Based Optimization Heuristics Using PLATO | p. 369 |
| Author Index | p. 385 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.