A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
19th International Conference on Automated Deduction (CADE-19)
2005
Information and Computation
Preserved Fulltext
Despite many competing smaller conferences and workshops covering different aspects of automated deduction, CADE is still the major forum for discussing new results on all aspects of automated deduction ...
The topics covered by these papers are a good cross-section of the topics covered by the conference, and they demonstrate both the breadth and the depth of the current research in automated deduction. ...
With him, the area of automated deduction has lost one of its most influential researcher, and many of its members a trusted friend and adviser. ...
doi:10.1016/j.ic.2005.02.001
fatcat:dasg2sdcq5g77mi2avidypokeu
Software engineering and automated deduction
2014
Proceedings of the on Future of Software Engineering - FOSE 2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We focus on the underlying technology by which a number of these problems can be reduced to a logical form and answered using automated deduction. ...
advances in automated deduction are also driven by software engineering requirements. ...
The CADE ATP Systems Competition (CASC) [109, 88] that evaluates fully automatic theorem proving systems has been running since 1996 at the CADE and IJCAR conferences. ...
doi:10.1145/2593882.2593899
dblp:conf/icse/VisserBS14
fatcat:cdgga6syovar5hr4mfzjyyi4se
The CADE ATP System Competition
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
CASC-19 was held on 31st July 2003, as part of the 19th International Conference on Automated Deduction, in Miami, USA. ...
Introduction The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. ...
doi:10.1007/978-3-540-25984-8_36
fatcat:bfxt3pwbazgwtcmolgdypumde4
Preface: Special Issue of Selected Extended Papers of CADE-22
2010
Journal of automated reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The four selected papers in this special issue concentrate on traditional core areas at the forefront of automated deduction. ...
In the first round, the CADE-22 programme committee selected 32 technical papers and system descriptions out of 77 initial submissions for publication in the proceedings of the conference [1]. ...
The results of extensive experiments on the TPTP problem library demonstrate finite unsatisfiability is a promising new direction of research in automated deduction. ...
doi:10.1007/s10817-010-9212-z
fatcat:yisey4tajzaqxix74lhvtxjsnq
The CADE-19 ATP System Competition
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
CASC-19 was held on 31st July 2003, as part of the 19th International Conference on Automated Deduction, in Miami, USA. ...
Introduction The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. ...
doi:10.1007/978-3-540-45085-6_25
fatcat:uwjnv2sgqjfonaqzuabdqpi23i
The CADE-26 automated theorem proving system competition – CASC-26
2017
AI Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-20 was the tenth competition in the CASC series. ...
CASC-20 was held on 26th July 2005, as part of the 20th International Conference on Automated Deduction (CADE-20). ...
Introduction The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems -the world championship for such systems. ...
doi:10.3233/aic-170744
fatcat:nqki7kub7fhyfpbl7a3x6qzmey
Open Archive TOULOUSE Archive Ouverte (OATAO) Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition
2015
International Conference on Automated Deduction (CADE 2015)
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Then we focus on the class of ⊳-deterministic frames and give tableaux methods for two fragments of PRSPDL over this class of frames. ...
This is an author-deposited version published in : http://oatao.univ-toulouse.fr/ Eprints ID : 19189 The contribution was presented at CADE 2015 : https://conference.imp.fu-berlin.de/cade-25/home To cite ...
one of π ′ s conclusions sets is a subset of J ′ . ...
fatcat:akeiyyfa2vcurjrhue3uosaqbq
Challenge problems focusing on equality and combinatory logic: Evaluating automated theorem-proving programs
[chapter]
9th International Conference on Automated Deduction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
As an example, the statistics found in the earlier paper |McCharen76|-thai focusing on problems and e*|iciimen!s and published in the first L'AlH-conference proceedings-have proved most useful. ...
This properly of never failing lo unify would not necessarily be so damaging if a program could separate the needed deductions from the unneeded, but no one has come close at this point in lune lo discovering ...
doi:10.1007/bfb0012870
dblp:conf/cade/WosM88
fatcat:tpaycvzz5je5fnzxhrstr4csji
SATCHMO: A theorem prover implemented in Prolog
[chapter]
9th International Conference on Automated Deduction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We also would like to thank the Argonne team for their interest in our work and their encouragement to present our results to the automated deduction community. ...
Extending Database Technology EDBT 88) [BUT 86] Butler, R. et. al., Paths to High-Performance Automated Theorem Proving, Proc. 8th CADE 1986, Oxford, 1986, 588-597 [LO 85] Lusk, E. and Overbeek, R., Non-Horn ...
Provers, J. of Automated Reasoning 2 (1986), 191-216 [PR 86] Pelletier, F.J. and Rudnicki, P., Non-Obviousness, AAR Newsletter No. 6, 1986, 4- -84, Austin, Texas, 1984 , 330-334 (Revised version ...
doi:10.1007/bfb0012847
dblp:conf/cade/MantheyB88
fatcat:l3anou3wordlzen5b2ya5glngq
Preface
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The series of workshops on "Strategies in Automated Deduction," or STRA- ...
In automated theorem proving, the search plan selects inference rule and premises for the next step in the derivation, which involves priorities on inferences rules, heuristics to sort formulae or subgoals ...
This year the International Joint Conference in Automated Reasoning in Cork, County Cork, Ireland, merges an unprecedented number of events: CADE (Conference on Automated DEduction), the Calculemus Symposium ...
doi:10.1016/j.entcs.2005.02.001
fatcat:k5whorbw2vgnxp7st4q2ll42ay
Subtyping and intersection types revisited
2007
Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Church's system of simple types has proven to be remarkably robust: call-by-name, call-by-need, and call-by-value languages, with or without effects, and even logical frameworks can be based on the same ...
He served as trustee, vice president, and president of CADE, Inc., the governing body of the International Conference on Automated Deduction and on advisory boards for INRIA, the Max-Planck-Institute for ...
He has chaired the PPDP and CADE conferences and several program committees, including GPCE, RTA, CADE, and LICS. ...
doi:10.1145/1291151.1291153
dblp:conf/icfp/Pfenning07
fatcat:hgiisnisuzekpgcvlmx3bulefi
Special Issue on Automated Deduction
2010
Künstliche Intelligenz
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
While verification is one of the main application areas for automated deduction, the project report by U. Furbach, I. Glöckner, H. Helbig, and B. ...
Rümmer as well as the report on the Verisoft XT project by B. Beckert and M. Moskal describe how to use automated deduction systems for software verification. ...
ase-conferences.org
• CADE, International Conference on Automated Deduc-
tion
www.cadeconference.org
• CALCULEMUS, Symposium on the Integration of Sym-
bolic Computation and Mechanized Reasoning ...
doi:10.1007/s13218-010-0009-3
fatcat:thygxf7skfds7lrq2itmy5uh3u
A Report on the Ninth International Web Rule Symposium
2016
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The annual International Web Rule Symposium (RuleML) is an international conference on research, applications, languages and standards for rule technologies. ...
The 9th International Web Rule Symposium (RuleML 2015) was held in Berlin, Germany, August 2-5. This report summarizes the events of that conference. ...
Additionally, the Conference on Automated Deduction (CADE 2015) celebrated its 25th meeting with more than 200 participants. ...
doi:10.1609/aimag.v37i1.2634
fatcat:co7wgxhxdrbtdncktdfa76tchy
REBOUND: A Framework for Automated Component Adaptation
[chapter]
2004
Series on Component-Based Software Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The REBOUND adaptation framework organizes a collection of adaptation tactics in a way that they can be selected based on the components available for adaptation. ...
Toward automated
component
adaptation.
In Proceedings
of the
Ninth International
Conference
on Software Engineering
and Knowledge
Engineering,
pages
535-542. ...
CADE-14
Workshop
on Automated
Theorem
Proving in
Software
Engineering,
July 1997.
7
Bernd Fischer and Johann Schumann. ...
doi:10.1142/9789812562425_0010
fatcat:f4l4amltybhzrhv264qliql3nm
Page 1993 of Computational Linguistics Vol. 26, Issue 4
[page]
2000
Computational Linguistics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In Automated Deduction CADE-12, 12th International Conference on Automated Deduction. Springer, pages 635-649.
Priist, Hub. 1992. On Discourse Structure, VP Anaphora, and Gapping. ...
Deriving database queries from logical forms by abductive definition expansion In P roceedings of the 3rd International Conference on Applied Natural Language Processing, pages 1-8, Trento, Italy. ...
« Previous
Showing results 1 — 15 out of 289 results