Coverart for item
The Resource Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX98 Oisterwijk, the Netherlands, May 58, 1998 Proceedings, edited by Harrie Swart

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX98 Oisterwijk, the Netherlands, May 58, 1998 Proceedings, edited by Harrie Swart

Label
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX98 Oisterwijk, the Netherlands, May 58, 1998 Proceedings
Title
Automated Reasoning with Analytic Tableaux and Related Methods
Title remainder
International Conference, TABLEAUX98 Oisterwijk, the Netherlands, May 58, 1998 Proceedings
Statement of responsibility
edited by Harrie Swart
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 1998 International Conference on Analytic Tableaux and Related Methods, TABLEAUX'98, held in Oisterwijk near Tilburg, The Netherlands, in May 1998. The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis
Member of
Cataloging source
DKDLA
Dewey number
006.3
Index
no index present
LC call number
Q334-342
Literary form
non fiction
Nature of contents
  • dictionaries
  • standards specifications
http://library.link/vocab/relatedWorkOrContributorName
Swart, H. C. M. de
Series statement
Lecture Notes in Computer Science
Series volume
1397,
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Computer science
  • Artificial intelligence
  • Artificial intelligence
  • Automatic theorem proving
  • Computer science
Label
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX98 Oisterwijk, the Netherlands, May 58, 1998 Proceedings, edited by Harrie Swart
Instantiates
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Extended Abstracts of Invited Lectures -- Philosophical Aspects of Computerized Verification of Mathematics -- A Science of Reasoning (Extended Abstract) -- Model Checking: Historical Perspective and Example (Extended Abstract) -- Comparison -- Comparison of Theorem Provers for Modal Logics -- Introduction and Summary -- FaCT and DLP -- Prover KT4 -- leanK 2.0 -- Logics Workbench 1.0 -- Optimised Functional Translation and Resolution -- Benchmark Evaluation of?KE -- Abstracts of the Tutorials -- Implementation of Propositional Temporal Logics Using BDDs -- Computer Programming as Mathematics in a Programming Language and Proof System CL -- Contributed Research Papers -- A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results -- Hyper Tableau -- The Next Generation -- Fibring Semantic Tableaux -- A Tableau Calculus for Quantifier-Free Set Theoretic Formulae -- A Tableau Method for Interval Temporal Logic with Projection -- Bounded Model Search in Linear Temporal Logic and Its Application to Planning -- On Proof Complexity of Circumscription -- Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities -- Some Remarks on Completeness, Connection Graph Resolution, and Link Deletion -- Simplification and Backjumping in Modal Tableau -- Free Variable Tableaux for a Logic with Term Declarations -- Simplification A General Constraint Propagation Technique for Propositional and Modal Tableaux -- A Tableaux Calculus for Ambiguous Quantifiation -- From Kripke Models to Algebraic Counter-Valuations -- Deleting Redundancy in Proof Reconstruction -- A New One-Pass Tableau Calculus for PLTL -- Decision Procedures for Intuitionistic Propositional Logic by Program Extraction -- Contributed System Descriptions -- The FaCT System -- Implementation of Proof Search in the Imperative Programming Language Pizza -- p-SETHEO: Strategy Parallelism in Automated Theorem Proving
Control code
771192238
Extent
1 online resource.
Form of item
online
Isbn
9783540697787
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-69778-0
Specific material designation
remote
System control number
(OCoLC)771192238
Label
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX98 Oisterwijk, the Netherlands, May 58, 1998 Proceedings, edited by Harrie Swart
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Extended Abstracts of Invited Lectures -- Philosophical Aspects of Computerized Verification of Mathematics -- A Science of Reasoning (Extended Abstract) -- Model Checking: Historical Perspective and Example (Extended Abstract) -- Comparison -- Comparison of Theorem Provers for Modal Logics -- Introduction and Summary -- FaCT and DLP -- Prover KT4 -- leanK 2.0 -- Logics Workbench 1.0 -- Optimised Functional Translation and Resolution -- Benchmark Evaluation of?KE -- Abstracts of the Tutorials -- Implementation of Propositional Temporal Logics Using BDDs -- Computer Programming as Mathematics in a Programming Language and Proof System CL -- Contributed Research Papers -- A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results -- Hyper Tableau -- The Next Generation -- Fibring Semantic Tableaux -- A Tableau Calculus for Quantifier-Free Set Theoretic Formulae -- A Tableau Method for Interval Temporal Logic with Projection -- Bounded Model Search in Linear Temporal Logic and Its Application to Planning -- On Proof Complexity of Circumscription -- Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities -- Some Remarks on Completeness, Connection Graph Resolution, and Link Deletion -- Simplification and Backjumping in Modal Tableau -- Free Variable Tableaux for a Logic with Term Declarations -- Simplification A General Constraint Propagation Technique for Propositional and Modal Tableaux -- A Tableaux Calculus for Ambiguous Quantifiation -- From Kripke Models to Algebraic Counter-Valuations -- Deleting Redundancy in Proof Reconstruction -- A New One-Pass Tableau Calculus for PLTL -- Decision Procedures for Intuitionistic Propositional Logic by Program Extraction -- Contributed System Descriptions -- The FaCT System -- Implementation of Proof Search in the Imperative Programming Language Pizza -- p-SETHEO: Strategy Parallelism in Automated Theorem Proving
Control code
771192238
Extent
1 online resource.
Form of item
online
Isbn
9783540697787
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-69778-0
Specific material designation
remote
System control number
(OCoLC)771192238

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...