Hopp til hovedinnhold
Omslagsbilde

Nonmonotonic Reasoning : Logical Foundations of Commonsense

Brewka, Gerhard

Produseres på bestilling

Leveringstid: 3-10 dager

Handlinger

Beskrivelse

Omtale

This 1991 book gives an overview of different areas of research in nonmonotonic reasoning. The guiding principles are: clarification of the different research activities in the area and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation.

  • Utgivelsesdato:

    25.01.1991

  • ISBN/Varenr:

    9780521383943

  • Språk:

    Engelsk

  • Forlag:

    Cambridge University Press

  • Innbinding:

    Innbundet

  • Fagtema:

    Data- og informasjonsteknologi

  • Serie:

    Cambridge Tracts in Theoretical Computer Science

  • Litteraturtype:

    Faglitteratur

  • Sider:

    184

  • Høyde:

    25.4 cm

  • Bredde:

    18 cm

Syntax and Semantics of Petri Nets

Syntax and Semantics of Petri Nets

Gorrieri, Roberto
9781009613286 Innbundet
31.08.2025
Engelsk

Forventes utgitt
Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors

Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors

Adamek, Jiri • Milius, Stefan • Moss, Lawrence S.
9781108835466 Innbundet
06.02.2025
Engelsk

Produseres på bestilling
Topological Duality for Distributive Lattices : Theory and Applications

Topological Duality for Distributive Lattices : Theory and Applications

Gehrke, Mai • van Gool, Sam
9781009349697 Innbundet
07.03.2024
Engelsk

I salg
Finite-State Techniques : Automata, Transducers and Bimachines

Finite-State Techniques : Automata, Transducers and Bimachines

Schulz, Klaus U. • Mihov, Stoyan
9781108485418 Innbundet
01.08.2019
Engelsk

I salg
Introduction to Coalgebra : Towards Mathematics of States and Observation

Introduction to Coalgebra : Towards Mathematics of States and Observation

Jacobs, Bart
9781107177895 Innbundet
27.10.2016
Engelsk

Produseres på bestilling
Temporal Logics in Computer Science : Finite-State Systems

Temporal Logics in Computer Science : Finite-State Systems

Lange, Martin • Goranko, Valentin • Demri, Stephane , Paris)
9781107028364 Innbundet
13.10.2016
Engelsk

I salg
Nominal Sets : Names and Symmetry in Computer Science

Nominal Sets : Names and Symmetry in Computer Science

Pitts, Andrew M.
9781107017788 Innbundet
30.05.2013
Engelsk

Produseres på bestilling
Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes

Baeten, J. C. M. • Basten, T. • Reniers, M. A.
9780521820493 Innbundet
16.12.2009
Engelsk

Produseres på bestilling
Term Rewriting Systems

Term Rewriting Systems

Terese
9780521391153 Innbundet
20.03.2003
Engelsk

Produseres på bestilling
Concurrency Verification : Introduction to Compositional and Non-compositional Methods

Concurrency Verification : Introduction to Compositional and Non-compositional Methods

Boer, Frank de • Lakhnech, Yassine • Roever, Willem-Paul de • Hanneman, Ulrich • Poel, Mannes • Hooman, Jozef • Zwiers, Job
9780521806084 Innbundet
26.11.2001
Engelsk

Produseres på bestilling
Nonmonotonic Reasoning : Logical Foundations of Commonsense

Nonmonotonic Reasoning : Logical Foundations of Commonsense

Brewka, Gerhard
9780521181303 Heftet
29.03.2012
Engelsk

Produseres på bestilling