Filters








289 Hits in 2.1 sec

19th International Conference on Automated Deduction (CADE-19)

Franz Baader
2005 Information and Computation  
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

Willem Visser, Nikolaj Bjørner, Natarajan Shankar
2014 Proceedings of the on Future of Software Engineering - FOSE 2014  
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]

Geoff Sutcliffe, Christian Suttner
2004 Lecture Notes in Computer Science  
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

Renate A. Schmidt, Brigitte Pientka
2010 Journal of automated reasoning  
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]

Geoff Sutcliffe, Christian Suttner
2003 Lecture Notes in Computer Science  
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

Geoff Sutcliffe
2017 AI Communications  
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

Philippe Balbiani, Joseph Boudou
2015 International Conference on Automated Deduction (CADE 2015)   unpublished
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]

Larry Wos, William McCune
9th International Conference on Automated Deduction  
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]

Rainer Manthey, François Bry
9th International Conference on Automated Deduction  
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

Maria Paola Bonacina, Thierry Boy de la Tour
2005 Electronical Notes in Theoretical Computer Science  
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

Frank Pfenning
2007 Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07  
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

Jürgen Giesl
2010 Künstliche Intelligenz  
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

Adrian Paschke
2016 The AI Magazine  
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]

JOHN PENIX, PERRY ALEXANDER
2004 Series on Component-Based Software Development  
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  
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