Computer Science Argumentation

 06 September 03:59   

    This book discusses argumentation as a apparatus for computer science; a acreage that uses argumentation at all levels. It provides a analysis of algebraic argumentation and its assorted applications. Some areas area it is decidedly important include:

    : Agenda ambit design

    : Complication approach (NP agnate to Existential second-order logic)

    : Database Systems (SQL; almost predicate/first-order logic)

    : Computer-aided analysis (Temporal argumentation & archetypal checking)

    : Programming languages (lambda calculus)

    : AI, able systems, inference engines

    : Broadcast Systems

    : Argumentation Programming

    : Computer Security

    

    After accoutrement propositional argumentation and first-order logic, we present the foundations of bound archetypal approach and anecdotic complexity, argumentation programming, non-monotonic reasoning, banausic logic, and assuredly acumen about ability and belief.

    

    

    You may aswell acquisition the afterward references useful