Nonclassical Logics and Information Proces...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

34,95 €*

-7 % UVP 37,44 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

This volume comprises the proceedings of the First
All-Berlin Workshop on Nonclassical Logics and Information
Processing, held at the Free University of Berlin, November
9-10, 1990.
The scope of the ten papers in the volume is broad, covering
various different subfields of logic - particularly
nonclassical logic - and its applications in artificial
intelligence. The papers are grouped according to the four
major topics that emerged at the meeting: modal systems,
logic programming, nonmonotonic logics, and proof theory.
The classification is only a rough guide since the four
areas overlap considerably.

Inhaltsverzeichnis

Algebraic aspects of the relational knowledge representation: Modal relation algebras.- A logic for memory.- Actions with preconditions and postconditions.- Testclasses and closed world assumptions for non-horn theories.- Reasoning with negative information, II: Hard negation, strong negation and logic programs.- Lindenbaum-algebraic semantics of logic programs.- Conditional logics and cumulative logics.- Semantics of nonmonotonic reasoning in logic programming.- Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic.- Cut-elimination in logics with definitional reflection.

Erscheinungsjahr:	1992
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	ix 175 S.
ISBN-13:	9783540557456
ISBN-10:	3540557458
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Pearce, David Wansing, Heinrich
Redaktion:	Wansing, Heinrich Pearce, David
Herausgeber:	David Pearce/Heinrich Wansing
Hersteller:	Springer Berlin Springer Berlin Heidelberg
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 11 mm
Von/Mit:	Heinrich Wansing (u. a.)
Erscheinungsdatum:	22.07.1992
Gewicht:	0,289 kg

Ähnliche Produkte