Search results for "deduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	Chao-Chih Yang	Deduction Graphs: An Algorithm and Applications.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	deduction graph, function-free Horn formula, logic queries, artificial intelligence, logic programming, logic programming, relational database, relational databases, expert systems, database theory, inference mechanisms, functional dependency, Horn clauses, polynomial time complexity, rule-based expert systems, inference problem
36	Natarajan Shankar	Automated deduction for verification.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF
36	José L. Balcázar	Deduction Schemes for Association Rules.	Discovery Science	2008	DBLP DOI BibTeX RDF	deductive calculus, Association rules, redundancy
36	Zengchang Qin, Marcus Thint, Mirza Mohd. Sufyan Beg	Deduction Engine Design for PNL-Based Question Answering System.	IFSA (1)	2007	DBLP DOI BibTeX RDF
36	Guillaume Burel	Unbounded Proof-Length Speed-Up in Deduction Modulo.	CSL	2007	DBLP DOI BibTeX RDF	rewriting, arithmetic, higher order logic, proof theory
36	Olaf Beyersdorff	The Deduction Theorem for Strong Propositional Proof Systems.	FSTTCS	2007	DBLP DOI BibTeX RDF
36	Andreas Dandalis, Viktor K. Prasanna	Run-time performance optimization of an FPGA-based deduction engine for SAT solvers.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	reconfigurable components, reconfigurable computing, configurable, high performance, Boolean satisfiability, reconfigurable systems, Adaptive computing, performance trade-offs
36	José Espírito Santo	An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction.	LPAR	2002	DBLP DOI BibTeX RDF
36	Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001	A General Theory of Deduction, Induction, and Learning.	Discovery Science	2001	DBLP DOI BibTeX RDF
36	Andreas Dandalis, Viktor K. Prasanna, Bharani Thiruvengadam	Run-Time Performance Optimization of an FPGA-Based Deduction Engine for SAT Solvers.	FPL	2001	DBLP DOI BibTeX RDF
36	Annie Foret	On Mixing Deduction and Substitution in Lambek Categorial Grammars.	LACL	2001	DBLP DOI BibTeX RDF
36	Michaël Rusinowitch	Rewriting for Deduction and Verification.	RTA	2001	DBLP DOI BibTeX RDF
36	Michael Leuschel, Helko Lehmann	Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction.	Computational Logic	2000	DBLP DOI BibTeX RDF
36	Geoff Sutcliffe	A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems.	LPAR	1993	DBLP DOI BibTeX RDF
36	Maria Paola Bonacina, Jieh Hsiang	Distributed Deduction by Clause-Diffusion: The Aquarius Prover.	DISCO	1993	DBLP DOI BibTeX RDF
36	Michel Parigot	Free Deduction: An Analysis of "Computations" in Classical Logic.	RCLP	1991	DBLP DOI BibTeX RDF
35	Tetsuo Ida, Jacques D. Fleuriot (eds.)	Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers	Automated Deduction in Geometry	2013	DBLP DOI BibTeX RDF
35	Shuichi Moritsugu	Extending the Descartes Circle Theorem for Steiner n-Cycles.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Pascal Mathis, Pascal Schreck	Equation Systems with Free-Coordinates Determinants.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Sana Stojanovic	Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Ciprian Borcea, Ileana Streinu	Realizations of Volume Frameworks.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Gabriel Braun, Julien Narboux	From Tarski to Hilbert.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Umair Siddique, Vincent Aravantinos, Sofiène Tahar	On the Formal Analysis of Geometrical Optics in HOL.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk	Algebraic Analysis of Huzita's Origami Operations and Their Extensions.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Christophe Brun, Jean-François Dufourd, Nicolas Magaud	Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	John Christopher Bowers, Ileana Streinu	Rigidity of Origami Universal Molecules.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Jing Yang 0039, Dongming Wang 0001, Hoon Hong	Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Dongming Wang 0001	Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Michael Beeson	Proof and Computation in Geometry.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
35	Thomas Sturm 0001, Christoph Zengler (eds.)	Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers	Automated Deduction in Geometry	2011	DBLP DOI BibTeX RDF
35	Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.)	Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers	Automated Deduction in Geometry	2011	DBLP DOI BibTeX RDF
35	Pavel Pech	On One Method of Proving Inequalities in Automated Way.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Dominique Michelucci	Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Dominique Michelucci	What Is a Line ?	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Pedro Quaresma	Thousands of Geometric Problems for Geometric Theorem Provers (TGTP).	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Fadoua Ghourabi, Tetsuo Ida, Asem Kasem	Proof Documents for Automated Origami Theorem Proving.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Susanne Apel, Jürgen Richter-Gebert	Cancellation Patterns in Automatic Geometric Theorem Proving.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Laurent Fuchs, Laurent Théry	A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Sana Stojanovic, Vesna Pavlovic, Predrag Janicic	A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Yu Zou, Jingzhong Zhang	Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Jacques D. Fleuriot	Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Phil Scott, Jacques D. Fleuriot	An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Daniel Lichtblau	The Midpoint Locus of a Triangle in a Corner.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Michael Gerhäuser, Alfred Wassermann	Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
35	Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow (eds.)	Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009	Interaction versus Automation: The two Faces of Deduction	2009	DBLP BibTeX RDF
35	Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow	09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions.	Interaction versus Automation: The two Faces of Deduction	2009	DBLP BibTeX RDF
35	Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp	Inductive Theorem Proving meets Dependency Pairs.	Interaction versus Automation: The two Faces of Deduction	2009	DBLP BibTeX RDF
35	Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke 0001	Termination of Integer Term Rewriting.	Interaction versus Automation: The two Faces of Deduction	2009	DBLP BibTeX RDF
35	Viorica Sofronie-Stokkermans	Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms.	Interaction versus Automation: The two Faces of Deduction	2009	DBLP BibTeX RDF
35	Benjamin Grégoire, Loïc Pottier, Laurent Théry	Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Gerald Bourgeois, Sébastien Orange	Dynamical Systems of Simplices in Dimension Two or Three.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Deepak Kapur, Manfred Minimair	Multivariate Resultants in Bernstein Basis.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Fernando San Segundo, J. Rafael Sendra	Offsetting Revolution Surfaces.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Nicolas Magaud, Julien Narboux, Pascal Schreck	Formalizing Projective Plane Geometry in Coq.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Zhenbing Zeng, Liangyu Chen 0001	On the Heilbronn Optimal Configuration of Seven Points in the Square.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao	An Introduction to Java Geometry Expert - (Extended Abstract).	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Xiaoyu Chen 0001, Ying Huang, Dongming Wang 0001	On the Design and Implementation of a Geometric Knowledge Base.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Aless Lasaruk, Thomas Sturm 0001	Automatic Verification of the Adequacy of Models for Families of Geometric Objects.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Heinz Kredel	Unique Factorization Domains in the Java Computer Algebra System.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Dominique Michelucci, Christoph Fünfzig	Linear Programming for Bernstein Based Solvers.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
35	Francisco Botana, Tomás Recio (eds.)	Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers	Automated Deduction in Geometry	2007	DBLP DOI BibTeX RDF
35	Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis (eds.)	Deduction and Decision Procedures, 30.09. - 05.10.2007	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
35	Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl	Implementing RPO and POLO using SAT.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
35	René Thiemann, Jürgen Giesl, Peter Schneider-Kamp	Decision Procedures for Loop Detection.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
35	Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs	Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
35	Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli	From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
35	Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik	Termination of Programs using Term Rewriting and SAT Solving.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
35	Hoon Hong, Dongming Wang 0001 (eds.)	Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Franz Baader, Peter Baumgartner 0001, Robert Nieuwenhuis, Andrei Voronkov (eds.)	Deduction and Applications, 23.-28. October 2005	Deduction and Applications	2006	DBLP BibTeX RDF
35	Julien Narboux	Mechanical Theorem Proving in Tarski's Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Predrag Janicic, Pedro Quaresma	Automatic Verification of Regular Constructions in Dynamic Geometry Systems.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Xiaoyu Chen 0001, Dongming Wang 0001	Towards an Electronic Geometry Textbook.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Daniel Lichtblau	Cylinders Through Five Points: Complex and Real Enumerative Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF	Enumerative geometry, Gröbner bases, nonlinear systems
35	Eugenio Roanes-Macías, Eugenio Roanes-Lozano	A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Peter Lebmeir, Jürgen Richter-Gebert	Recognition of Computationally Constructed Loci.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Pavel Pech	On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Robert H. Lewis, Evangelos A. Coutsias	Algorithmic Search for Flexibility Using Resultants of Polynomial Systems.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Lu Yang, Zhenbing Zeng	Constructing a Tetrahedron with Prescribed Heights and Widths.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF	generalized Cayley-Menger algebra, widths of a tetrahedron, geometric constraint solving
35	Philip H. Todd	Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Thomas C. Hales	Equidecomposable Quadratic Regions.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Antonio Montes, Tomás Recio	Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF	automatic discovering, comprehensive Gröbner system, canonical Gröbner system, automatic theorem proving
35	Dominique Michelucci, Sebti Foufou	Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
35	Viktor Kuncak, Martin C. Rinard, Bruno Marnette	On Algorithms and Complexity for Sets with Cardinality Constraints.	Deduction and Applications	2005	DBLP BibTeX RDF
35	Jürgen Giesl, René Thiemann, Peter Schneider-Kamp	Proving and Disproving Termination in the Dependency Pair Framework.	Deduction and Applications	2005	DBLP BibTeX RDF
35	Jörg H. Siekmann	Proof Presentation.	Deduction and Applications	2005	DBLP BibTeX RDF
35	Deepak Kapur	Automatically Generating Loop Invariants Using Quantifier Elimination.	Deduction and Applications	2005	DBLP BibTeX RDF
35	Franz Winkler 0001 (eds.)	Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger	Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	Britta Denner-Broser	On the Decidability of Tracing Problems in Dynamic Geometry.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	Gui-Fang Zhang, Xiao-Shan Gao	Planar Generalized Stewart Platforms and Their Direct Kinematics.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF	Planar generalized Stewart platform, direct kinematics, geometric constraint solving, closed-form solution
35	Hongbo Li 0012	nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF	Structural Reconstruction, Grassmann-Cayley Algebra, Local Propagation, Polyhedra, Geometric Reconstruction
35	Francisco Botana, Tomás Recio	Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	Pavel Pech	Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	XueFeng Chen, Peng Li, Long Lin, DingKang Wang	Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	Tielin Liang, Dongming Wang 0001	Towards a Geometric-Object-Oriented Language.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	Lu Yang, Zhenbing Zeng	Symbolic Solution of a Piano Movers' Problem with Four Parameters.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	Laura I. Meikle, Jacques D. Fleuriot	Mechanical Theorem Proving in Computational Geometry.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	Dmytro Chibisov, Ernst W. Mayr, Sergey Pankratov	Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	Daniel Lichtblau	Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
35	Hans-Gert Gräbe	The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF