|
|
|
Item Details
Title:
|
LOGICS IN ARTIFICIAL INTELLIGENCE
EUROPEAN WORKSHOP, JELIA 2000 MALAGA, SPAIN, SEPTEMBER 29-OCTOBER 2, 2000 PROCEEDINGS |
By: |
Manuel Ojeda-Aciego (Editor), Inma P. De Guzman (Editor), Gerhard Brewka (Editor) |
Format: |
Paperback |
List price:
|
£85.50 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3540411313 |
ISBN 13: |
9783540411314 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
20 September, 2000 |
Series: |
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence v.1919 |
Pages: |
412 |
Description: |
The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences. |
Synopsis: |
Logics have, for many years, laid claim to providing a formal basis for the study of arti?cial intelligence. With the depth and maturity of methodologies, formalisms, procedures, implementations, and their applications available today, this claim is stronger than ever, as witnessed by increasing amount and range of publications in the area, to which the present proceedings accrue. The European series of Workshops on Logics in Arti?cial Intelligence (or Journ'ees Europ'eennes sur la Logique en Intelligence Arti?cielle - JELIA) began in response to the need for a European forum for the discussion of emerging work in this burgeoning ?eld. JELIA 2000 is the seventh such workshop in the series, following the ones held in Rosco?, France (1988); Amsterdam, Netherlands ' (1990); Berlin, Germany (1992); York, U.K. (1994); Evora, Portugal (1996); and Dagstuhl, Germany (1998). JELIA 2000 will take place in M' alaga, Spain, from 29 September to 2 - tober 2000. The workshop is organized and hosted by the Research Group of Mathematics Applied to Computing of the Department of Applied Mathematics of the University of Mal ' aga.As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in arti?cial intelligence. Additional sponsorship was provided by the ESPRIT NOE Compulog-Net. |
Illustrations: |
biography |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Returnable |
|
|
|
|
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|