Handbook of automated reasoning. Volume I (©2001)

• Record Type: Book
• Further Information: Note: Editors, Alan Robinson and Andrei Voronkov.
• Other Names: Robinson, J. A (John Alan); Voronkov, Andrei, 1959-
• Contents: Chapter 19. Nonmonotonic Reasoning: Towards Efficient Calculi And Implementations1 General Nonmonotonic Logics; 2 Automating General Nonmonotonic Logics; 3 From Automated Reasoning to Disjunctive Logic Programming; 4 Nonmonotonic Semantics of Logic Programs; 5 Implementing Nonmonotonic Semantics; 6 Benchmarks; 7 Conclusion; Bibliography; Index; Chapter 20. Automated Deduction For Many-Valued Logics; 1 Introduction; 2 What is a many-valued logic?; 3 Classification of proof systems for many-valued logics; 4 Signed logic: reasoning classically about finitely-valued logics; 5 Signed resolution. 6 An example7 Optimization of transformation rules; 8 Remarks on infinitely-valued logics; Bibliography; Index; Chapter 21. Encoding Two-Valued Nonclassical Logics In Classical Logic; 1 Introduction; 2 Background; 3 Encoding consequence relations; 4 The standard relational translation; 5 The functionl translation; 6 The semi-functional translation; 7 Variations and alternatives; 8 Conclusion; Bibliography; Index; Chapter 22. Connections In Nonclassical Logics; 1 Introduction; 2 Prelude: Connections in classical first-order logic; 3 Labelled systems; 4 Propositional intuitionistic logic. 5 First-order intuitionistic logic6 Normal modal logics up to S4; 7 The S5 family; Bibliography; Index; Part VII: Decidable classes and model building; Chapter 23. Reasoning In Expressive Description Logics; 1 Introduction; 2 Description Logics; 3 Description Logics and Propositional Dynamic Logics; 4 Unrestricted Model Reasoning; 5 Finite Model Reasoning; 6 Beyond Basic Description Logics; 7 Conclusions; Bibliography; Index; Chapter 24. Model Checking; 1 Introduction; 2 Logical Languages, Expressiveness; 3 Second Order Languages; 4 Model Transformations and Properties.
• Publisher Details: Amsterdam New York Cambridge, Mass : Elsevier MIT Press
• Publication Date: 2001
• Copyright Date: 2001
• Extent: 1 online resource (xxv, 2122 pages), illustrations
• Subjects: 511.3; Automatic theorem proving; Qualitative reasoning; Artificial intelligence; Qualitative reasoning; MATHEMATICS -- General; Automatic theorem proving; Qualitative reasoning; Electronic books
• Languages: English
• ISBNs: 9780080532790; 0080532799
• Related ISBNs: 0262182211; 9780262182218; 026218222X; 9780262182225; 0262182238; 9780262182232; 0444829490; 9780444829498; 0444508120; 9780444508126; 0444508139; 9780444508133
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.