Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007849498/catalog> ?p ?o. }

• catalog abstract "This volume contains the papers presented at TABLEAUX’98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, The Netherlands. This conference was a continuation of international workshops/conferences on Theorem Proving with Analytic Tableaux and Related Methods held in Laut- bach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), and Pont- a-Mousson near Nancy (1997). Tableau methods have been found to be a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include veri cation of software and computer systems, deductive - tabases, knowledge representation and its required inference engines, and system diagnosis. The conference brought together researchers interested in all aspects { theoretical foundations, implementation techniques, systems development, and applications { of the mechanization of reasoning with tableaux and related methods. From the 34 papers submitted, 17 original research papers and 3 original system descriptions were selected by the program committee for presentation at the c- ference and for inclusion in these proceedings, together with the invited lectures. Abstracts of the tutorials have also been included. These proceedings also c- tain the summary of the comparison of theorem provers for modal propositional logics, as part of the Tableaux’98 conference, together with the contributions of the persons who participated in this comparison. As before, Tableaux’98 attracted interest from many parts of the world with papers from many countries.".
• catalog contributor b10866922.
• catalog contributor b10866923.
• catalog created "c1998.".
• catalog date "1998".
• catalog date "c1998.".
• catalog dateCopyrighted "c1998.".
• catalog description "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.".
• catalog description "Includes bibliographical references and index.".
• catalog description "This volume contains the papers presented at TABLEAUX’98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, The Netherlands. This conference was a continuation of international workshops/conferences on Theorem Proving with Analytic Tableaux and Related Methods held in Laut- bach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), and Pont- a-Mousson near Nancy (1997). Tableau methods have been found to be a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include veri cation of software and computer systems, deductive - tabases, knowledge representation and its required inference engines, and system diagnosis. The conference brought together researchers interested in all aspects { theoretical foundations, implementation techniques, systems development, and applications { of the mechanization of reasoning with tableaux and related methods. From the 34 papers submitted, 17 original research papers and 3 original system descriptions were selected by the program committee for presentation at the c- ference and for inclusion in these proceedings, together with the invited lectures. Abstracts of the tutorials have also been included. These proceedings also c- tain the summary of the comparison of theorem provers for modal propositional logics, as part of the Tableaux’98 conference, together with the contributions of the persons who participated in this comparison. As before, Tableaux’98 attracted interest from many parts of the world with papers from many countries.".
• catalog extent "x, 324 p. :".
• catalog identifier "3540644067 (pbk. : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1397.".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1397. Lecture notes in artificial intelligence".
• catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
• catalog issued "1998".
• catalog issued "c1998.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "006.3/33 21".
• catalog subject "Artificial intelligence Congresses.".
• catalog subject "Artificial intelligence.".
• catalog subject "Automatic theorem proving Congresses.".
• catalog subject "Computer science.".
• catalog subject "QA76.9.A96 T34 1998".
• catalog tableOfContents "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.".
• catalog title "Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart, ed.".
• catalog type "text".