|
|

avaa valikko

Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
51,40 €
Springer
Sivumäärä: 412 sivua
Asu: Pehmeäkantinen kirja
Painos: 1992 ed.
Julkaisuvuosi: 1992, 19.08.1992 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 633
This volume contains the proceedings of JELIA '92, lesJourn es Europ ennes sur la Logique en IntelligenceArtificielle, or the Third European Workshop on Logics inArtificial Intelligence. The volume contains 2 invited addresses and 21 selectedpapers covering such topics as:- Logical foundations of logic programming andknowledge-based systems,- Automated theorem proving,- Partial and dynamic logics,- Systems of nonmonotonic reasoning,- Temporal and epistemic logics,- Belief revision. One invited paper, by D. Vakarelov, is on arrow logics,i. e. , modal logics for representing graph information. Theother, by L. M. Pereira,J. J. Alferes, and J. N. Apar cio, ison default theory for well founded semantics with explicitnegation.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.

Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. ProceedingsSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783540558873
Kansikuva tuotteelle