Data Portal @ linkeddatafragments.org

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

• catalog abstract "The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference: the Conference on Automated Reasoning (CADE), the International Workshop on First-Order Theorem Proving (FTP), and the International Conference on - tomated Reasoning with Analytic Tableau and Related Methods (TABLEAUX) to name three. During 1999, various members of these three communities d- cussed the idea of holding a joint conference in 2001 to bring our communities togetheragain.Theplanwastoholdaone-o?conferencefor2001,toberepeated ifitprovedasuccess.Thisvolumecontainsthepaperspresentedattheresulting event:the?rstInternationalJointConferenceonAutomatedReasoning(IJCAR 2001), held in Siena, Italy, from June 18–23, 2001. We received 88 research papers and 24 systems descriptions as submissions. Each submission was fully refereed by at least three peers who were asked to writeareportonthequalityofthesubmissions.Thesereportswereaccessibleto membersoftheprogrammecommitteeviaaweb-basedsystemspeciallydesigned for electronic discussions. As a result we accepted 37 research papers and 19 system descriptions, which make up these proceedings. In addition, this volume contains full papers or extended abstracts from the ?ve invited speakers. Tenone-dayworkshopsandfourtutorialswereheldduringIJCAR2001.The automatedtheoremprovingsystemcompetition(CASC)wasorganizedbyGeo? Sutcli?e to evaluate the performance of sound, fully automatic, classical, ?r- order automated theorem proving systems. The third Workshop on Inference in Computational Semantics (ICoS-3) and the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS-2001) were co-located with IJCAR 2001, and held their own associated workshops and produced their own separate proceedings.".
• catalog contributor b12306432.
• catalog contributor b12306433.
• catalog contributor b12306434.
• catalog contributor b12306435.
• catalog created "c2001.".
• catalog date "2001".
• catalog date "c2001.".
• catalog dateCopyrighted "c2001.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Program Termination Analysis by Size-Change Graphs / Neil D. Jones -- SET Cardholder Registration: The Secrecy Proofs / Lawrence C. Paulson -- Algorithms, Datastructures, and Other Issues in Efficient Automated Deduction / Andrei Voronkov -- The Description Logic ALCNH[subscript R+] Extended with Concrete Domains: A Practically Motivated Approach / Volker Haarslev, Ralf Moller and Michael Wessel -- NExpTime-Complete Description Logics with Concrete Domains / Carsten Lutz -- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics / Volker Haarslev, Ralf Moller and Anni-Yasmin Turhan -- The Hybrid [mu]-Calculus / Ulrike Sattler and Moshe Y. Vardi.".
• catalog description "The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference: the Conference on Automated Reasoning (CADE), the International Workshop on First-Order Theorem Proving (FTP), and the International Conference on - tomated Reasoning with Analytic Tableau and Related Methods (TABLEAUX) to name three. During 1999, various members of these three communities d- cussed the idea of holding a joint conference in 2001 to bring our communities togetheragain.Theplanwastoholdaone-o?conferencefor2001,toberepeated ifitprovedasuccess.Thisvolumecontainsthepaperspresentedattheresulting event:the?rstInternationalJointConferenceonAutomatedReasoning(IJCAR 2001), held in Siena, Italy, from June 18–23, 2001. We received 88 research papers and 24 systems descriptions as submissions. Each submission was fully refereed by at least three peers who were asked to writeareportonthequalityofthesubmissions.Thesereportswereaccessibleto membersoftheprogrammecommitteeviaaweb-basedsystemspeciallydesigned for electronic discussions. As a result we accepted 37 research papers and 19 system descriptions, which make up these proceedings. In addition, this volume contains full papers or extended abstracts from the ?ve invited speakers. Tenone-dayworkshopsandfourtutorialswereheldduringIJCAR2001.The automatedtheoremprovingsystemcompetition(CASC)wasorganizedbyGeo? Sutcli?e to evaluate the performance of sound, fully automatic, classical, ?r- order automated theorem proving systems. The third Workshop on Inference in Computational Semantics (ICoS-3) and the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS-2001) were co-located with IJCAR 2001, and held their own associated workshops and produced their own separate proceedings.".
• catalog extent "xv, 708 p. :".
• catalog identifier "3540422544 (pbk. : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 2083. Lecture notes in artificial intelligence".
• catalog isPartOf "Lecture notes in computer science ; 2083.".
• catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
• catalog issued "2001".
• catalog issued "c2001.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "006.3/33 21".
• catalog subject "Artificial intelligence.".
• catalog subject "Automatic theorem proving Congresses.".
• catalog subject "Computer logic Congresses.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "Logic, Symbolic and mathematical.".
• catalog subject "QA76.9.A96 I38 2001".
• catalog subject "Software engineering.".
• catalog tableOfContents "Program Termination Analysis by Size-Change Graphs / Neil D. Jones -- SET Cardholder Registration: The Secrecy Proofs / Lawrence C. Paulson -- Algorithms, Datastructures, and Other Issues in Efficient Automated Deduction / Andrei Voronkov -- The Description Logic ALCNH[subscript R+] Extended with Concrete Domains: A Practically Motivated Approach / Volker Haarslev, Ralf Moller and Michael Wessel -- NExpTime-Complete Description Logics with Concrete Domains / Carsten Lutz -- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics / Volker Haarslev, Ralf Moller and Anni-Yasmin Turhan -- The Hybrid [mu]-Calculus / Ulrike Sattler and Moshe Y. Vardi.".
• catalog title "Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".