Photo 1 sur 1

Vous en avez un à vendre?

Vendez le vôtre

Logics in AI : European Workshop JELIA '90, Amsterdam, Pays-Bas, Septembre

État :

Entièrement neuf

Quantité :

3 disponibles

Prix :

126,24 $US

Environ172,85 $C

Ayez l'esprit tranquille. Renvois acceptés.

Expédition :

Sans frais Economy Shipping. En savoir plussur l'expédition

Lieu : Fairfield, Ohio, États-Unis

Livraison :

Livraison prévue entre le mar. 9 juil. et le ven. 19 juil. à 43230

Renvois :

Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois

Paiements :

Magasinez en toute confiance

Garantie de remboursement eBay

Recevez l'objet commandé ou obtenez un remboursement.

En savoir plusGarantie de remboursement eBay - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Informations sur le vendeur

grandeagleretail (921580)
98,3% d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :364685270094

Dernière mise à jour : mai 19, 2024 08:27:52 HAEAfficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Entièrement neuf: Un livre neuf, non lu, non utilisé et en parfait état, sans aucune page manquante ...

ISBN-13: 9783540536864

Book Title: Logics in AI

ISBN: 9783540536864

Subject Area: Computers, Mathematics, Language Arts & Disciplines

Publication Name: Logics in AI : European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings

Publisher: Springer Berlin / Heidelberg

Item Length: 9.2 in

Subject: Systems Architecture / General, Hardware / General, Linguistics / Semantics, Intelligence (Ai) & Semantics, Logic, Speech & Audio Processing, Logic Design

Publication Year: 1991

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Format: Trade Paperback

Language: English

Author: J.Van Eijck

Item Weight: 62.8 Oz

Item Width: 6.1 in

Number of Pages: Xi, 569 Pages

À propos de ce produit

Product Information

The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.

Product Identifiers

Publisher

Springer Berlin / Heidelberg

ISBN-10

3540536868

ISBN-13

9783540536864

eBay Product ID (ePID)

109204880

Product Key Features

Number of Pages

Xi, 569 Pages

Language

English

Publication Name

Logics in AI : European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings

Publication Year

1991

Subject

Systems Architecture / General, Hardware / General, Linguistics / Semantics, Intelligence (Ai) & Semantics, Logic, Speech & Audio Processing, Logic Design

Type

Textbook

Subject Area

Computers, Mathematics, Language Arts & Disciplines

Author

J.Van Eijck

Series

Lecture Notes in Computer Science Ser.

Format

Trade Paperback

Dimensions

Item Weight

62.8 Oz

Item Length

9.2 in

Item Width

6.1 in

Additional Product Features

Intended Audience

Scholarly & Professional

Series Volume Number

478

Number of Volumes

1 Vol.

Illustrated

Yes

Lc Classification Number

Qa76.9.S88

Table of Content

Commonsense entailment: A modal theory of nonmonotonic reasoning.- Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators.- Belief revision and nonmonotonic logic: Two sides of the same coin?.- Two theories of dynamic semantics.- What is a Horn clause in partial logic?.- Semantic interpretation as higher-order deduction.- Action logic and pure induction.- Loop checking and negation.- On generative capacity of the Lambek calculus.- Extending resolution for model construction.- A first order logic of truth, knowledge and belief.- The optimal model of a program with negation.- NM3 -- A three-valued cumulative non-monotonic formalism.- Constructive matching -- A methodology for inductive theorem proving.- Deductive inference operations.- A constraint logic approach to modal deduction.- Dynamic semantics and VP-ellipsis.- Systems for knowledge and beliefs.- Awareness, negation and Logical omniscience.- Theoretical circumscription in partial modal logic.- A logical basis for object oriented programming.- A computationally attractive first-order logic of belief.- Polymorphic constructs in natural and programming languages.- The net-clause language -- A tool for data-driven inference.- The logical compilation of knowledge bases.- Non-monotonic reasoning by monotonic means.- Anaphora and the logic of change.- Towards automatic autoepistemic reasoning.- Towards a connection procedure with built in theories.- On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs.- Towards a formal theory of intentions.- Note on effective constructibility of resolution proof systems.- The logic of objective knowledge and rational belief.- A complete logic forautoepistemic membership.- Doxastic preference logic.- Partial semantics for truth maintenance.

1991

Description de l'objet du vendeur

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :364685270094

Dernière mise à jour : mai 19, 2024 08:27:52 HAEAfficher toutes les modificationsAfficher toutes les modifications

Expédition et manutention

Lieu où se trouve l'objet :

Fairfield, Ohio, États-Unis

Expédition :

Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Salomon, Îles Turks et Caicos, Îles Vierges britanniques, Îles du Cap-Vert

Lieux exclus :

Adresses militaires ou navales, Alaska/Hawaii, Barbade, Biélorussie, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Samoa, Ukraine, Venezuela

Quantité :

Changer de pays :

Code postal :

Expédition et manutention	Chaque objet supplémentaire	À	Service	Livraison*Voir les remarques sur la livraison
Expédition sans frais	Sans frais	États-Unis	Economy Shipping	Livraison prévue entre le mar. 9 juil. et le ven. 19 juil. à 43230

*Les dates de livraison approximatives – s'ouvre dans une nouvelle fenêtre ou un nouvel onglet tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.Remarques - Livraison *Les dates de livraison approximatives tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.

Délai de manutention

Expédition dans les 10 jours ouvrables après réception du paiement.

Taxes

Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay.