Band 8
Handbook of Philosophical Logic Volume 8
Aus der Reihe
Handbook of Philosophical Logic
-
- Hardcover
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
-
Verlag:Springer Netherland
-
Auflage:Second Edition 2002
- 1. Auflage Fr. 72.90
- 1. Auflage Fr. 242.00
- Second Edition 2005 Fr. 242.00
- Softcover reprint of the original 1st ed. 1984 Fr. 171.00
- Second Edition 2002 Fr. 192.00
- Second Edition 2002 Fr. 192.00
- Second Edition 2002 Fr. 192.00
- Second Edition 2002 Fr. 192.00
- Second Edition 2002 Fr. 202.00 ausgewählt
- Second Edition 2002 Fr. 219.00
- Softcover reprint of the original 1st ed. 1983 Fr. 72.90
- Second Edition 2003 Fr. 192.00
- Second Edition 2011 Fr. 192.00
- Second Edition 2011 Fr. 192.00
- Softcover reprint of the original 1st ed. 2014 Fr. 138.00
- Second Edition 2001 Fr. 192.00
- Second Edition 2001 Fr. 192.00
- Second Edition 2001 Fr. 192.00
- Softcover reprint of the original 1st ed. 1989 Fr. 72.90
Fr. 202.00
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
21.10.2012
Herausgeber
Dov M. Gabbay + weitereVerlag
Springer NetherlandSeitenzahl
354
Maße (L/B/H)
23.5/15.5/2.1 cm
Gewicht
584 g
Auflage
Second Edition 2002
Sprache
Englisch
ISBN
978-94-010-3919-2
suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher! TheprojectednumberofvolumesforthisHandbookisabout18.The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent thatitnolongermakessensetodedicatevolumestotopics.However,the volumesdofollowsomenaturalgroupingsofchapters. Iwouldliketothankourauthorsarereadersfortheircontributionsand theircommitmentinmakingthisHandbookasuccess. Thanksalsoto ourpublicationadministratorMrsJ.Spurrforherusualdedicationand excellenceandtoKluwerAcademicPublishersfortheircontinuingsupport fortheHandbook. DovGabbay King'sCollegeLondon x Logic II IT Natural Program Artificialin Logic p- language controlspec telligence gramming processing ification, verification, concurrency Temporal Expressive Expressive Planning. Extension of logic poweroftense power for re Time depen Horn clause operators. currentevents. dent data. with time Temporal Specification Eventcalculus. capability. indices. Sepa of tempo- Persistence Eventcalculus. rationofpast ral control. throughtime Temporallogic fromfuture Decisionprob the Frame programming. Problem.Tem lems. Model checking. poral query language. temporal transactions. Modal logic. generalised Actionlogic Beliefrevision. Negation by Multi-modal quantifiers Inferential failure and 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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.