Verwandte Artikel zu Handbook of Philosophical Logic: Volume 8

Handbook of Philosophical Logic: Volume 8 - Softcover

 
9789401039192: Handbook of Philosophical Logic: Volume 8

Inhaltsangabe

logics databases modality Algorithmic Discourse rep­ New logics. Generaltheory Proceduralap­ proof resentation. Generic theo­ of reasoning. proachtologic Direct com- remprovers Non-monotonic putation on systems linguisticinput Non­ Resolving Loopchecking. Intrinsiclogical Negation by monotonic ambigui- Non-monotonic discipline for failure.Deduc­ reasoning ties. Machine decisionsabout AI. Evolving tivedatabases translation. loops. Faults and com­ Document insystems. municating classification. databases Relevance theory Probabilistic logicalanalysis Realtimesys­ Expert sys­ Semantics for and fuzzy oflanguage tems tems.Machine logicprograms logic learning Intuitionistic Quantifiers in Constructive Intuitionistic Horn clause logic logic reasoning and logicisabetter logic is really proof theory logical basis intuitionistic.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

logics databases modality Algorithmic Discourse rep­ New logics. Generaltheory Proceduralap­ proof resentation. Generic theo­ of reasoning. proachtologic Direct com- remprovers Non-monotonic putation on systems linguisticinput Non­ Resolving Loopchecking. Intrinsiclogical Negation by monotonic ambigui- Non-monotonic discipline for failure.Deduc­ reasoning ties. Machine decisionsabout AI. Evolving tivedatabases translation. loops. Faults and com­ Document insystems. municating classification. databases Relevance theory Probabilistic logicalanalysis Realtimesys­ Expert sys­ Semantics for and fuzzy oflanguage tems tems.Machine logicprograms logic learning Intuitionistic Quantifiers in Constructive Intuitionistic Horn clause logic logic reasoning and logicisabetter logic is really proof theory logical basis intuitionistic.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.