Logics in AI (Lecture Notes in Computer Science) de Jan van Eijck

Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings: Lecture Notes in Computer Science, cartea 478

Jan van Eijck

en Limba Engleză Paperback – 26 feb 1991

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.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 1061^.55 lei
20%

Preț: 340^.32 lei
20%

Preț: 341^.95 lei
20%

Preț: 453^.32 lei
20%

Preț: 238^.01 lei
20%

Preț: 340^.32 lei
20%

Preț: 438^.69 lei
Preț: 449^.57 lei
20%

Preț: 343^.62 lei
20%

Preț: 148^.66 lei
20%

Preț: 310^.26 lei
20%

Preț: 256^.27 lei
20%

Preț: 645^.28 lei
17%

Preț: 427^.22 lei
20%

Preț: 655^.02 lei
20%

Preț: 307^.71 lei
20%

Preț: 1075^.26 lei
20%

Preț: 591^.51 lei
Preț: 381^.21 lei
20%

Preț: 337^.00 lei
15%

Preț: 438^.59 lei
20%

Preț: 607^.39 lei
20%

Preț: 538^.29 lei
Preț: 389^.48 lei
20%

Preț: 326^.98 lei
20%

Preț: 1414^.79 lei
20%

Preț: 1024^.44 lei
20%

Preț: 579^.30 lei
20%

Preț: 575^.48 lei
20%

Preț: 583^.40 lei
20%

Preț: 763^.23 lei
15%

Preț: 580^.46 lei
17%

Preț: 360^.19 lei
20%

Preț: 504^.57 lei
20%

Preț: 172^.69 lei
20%

Preț: 369^.12 lei
20%

Preț: 353^.50 lei
20%

Preț: 585^.88 lei
Preț: 410^.88 lei
20%

Preț: 596^.46 lei
20%

Preț: 763^.23 lei
20%

Preț: 825^.93 lei
20%

Preț: 649^.49 lei
20%

Preț: 350^.21 lei
20%

Preț: 309^.90 lei
20%

Preț: 122^.89 lei

Specificații

ISBN-13: 9783540536864
ISBN-10: 3540536868
Pagini: 580
Ilustrații: XI, 569 p.
Dimensiuni: 155 x 233 x 30 mm
Greutate: 0.81 kg
Ediția:1991
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Cuprins

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.