Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Nonclassical Logics and Information Processing
International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
Taschenbuch von Heinrich Wansing (u. a.)
Sprache: Englisch

34,95 €*

-7 % UVP 37,44 €
inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Produkt Anzahl: Gib den gewünschten Wert ein oder benutze die Schaltflächen um die Anzahl zu erhöhen oder zu reduzieren.
Kategorien:
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.
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.
Details
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
Artikel-ID: 102134293
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.
Details
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
Artikel-ID: 102134293
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte