Search results for "Deduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Alwen Tiu, Rajeev Goré	A Proof Theoretic Analysis of Intruder Theories.	RTA	2009	DBLP DOI BibTeX RDF	AC convergent theories, intruder deduction, security protocols, sequent calculus
83	Guillaume Burel, Claude Kirchner	Cut Elimination in Deduction Modulo by Abstract Completion.	LFCS	2007	DBLP DOI BibTeX RDF	Knuth-Bendix completion, automated deduction and interactive theorem proving, proof ordering, abstract canonical system, cut elimination, deduction modulo
69	José Espírito Santo	The lambda-Calculus and the Unity of Structural Proof Theory.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
67	Han-Lin Li, Chao-Chih Yang	Integrating integer programming and probabilistic deduction graphs for probabilistic reasoning.	J. Syst. Integr.	1991	DBLP DOI BibTeX RDF	causal graph, deduction graph, quantitative logic, expert system, integer programming, abduction, probabilistic reasoning, medical diagnosis, deduction
63	Simon Colton, Volker Sorge, Ursula Martin	Workshop: The Role of Automated Deduction in Mathematics.	CADE	2000	DBLP DOI BibTeX RDF
62	Guillaume Burel	A First-Order Representation of Pure Type Systems Using Superdeduction.	LICS	2008	DBLP DOI BibTeX RDF	lambda-calculus with explicit substitutions, natural deduction vs. sequent calculus, first-order logic, logical frameworks, deduction modulo
60	Herman Geuvers, Iris Loeb	From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.	MFCS	2006	DBLP DOI BibTeX RDF
60	Audun Jøsang, Simon Pope, Milan Daniel	Conditional Deduction Under Uncertainty.	ECSQARU	2005	DBLP DOI BibTeX RDF
60	Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng	A General-Purpose Forward Deduction Engine for Modal Logics.	KES (2)	2005	DBLP DOI BibTeX RDF
60	Chris Mellish	DCGs: Parsing as Deduction?	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
58	Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen 0002	Proof Search and Proof Check for Equational and Inductive Theorems.	CADE	2003	DBLP DOI BibTeX RDF	proof terms, computation, induction, automated theorem proving, deduction, rewrite rules, proof assistant
56	XueFeng Chen, DingKang Wang	The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
55	Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand	Algebra and Automated Deduction.	CADE	1996	DBLP DOI BibTeX RDF
55	Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann	KEIM: A Toolkit for Automated Deduction.	CADE	1994	DBLP DOI BibTeX RDF
55	Li Dafa	A Natural Deduction Automated Theorem Proving System.	CADE	1992	DBLP DOI BibTeX RDF
54	Clément Houtmann	Axiom Directed Focusing.	TYPES	2008	DBLP DOI BibTeX RDF	superdeduction, Proof theory, focusing, deduction modulo
54	Paul Brauner, Clément Houtmann, Claude Kirchner	Principles of Superdeduction.	LICS	2007	DBLP DOI BibTeX RDF
52	Konstantine Arkoudas	Simplifying Proofs in Fitch-Style Natural Deduction Systems.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	Fitch style, proof simplification, denotational proof languages, NDL, assumption bases, natural deduction, detours
52	Yi Tao 0001, William I. Grosky, Chunnian Liu	An Automatic Partial Deduction System for Constraint Logic Programs.	ICTAI	1997	DBLP DOI BibTeX RDF	partial deduction(partial evaluation), CLP(Bool), CLP(R), Prolog, constraint logic programming
52	Eric Deplagne, Claude Kirchner	Deduction versus Computation: The Case of Induction.	AISC	2002	DBLP DOI BibTeX RDF
52	Yishai A. Feldman, Haim Schneider	Simulating Reactive Systems by Deduction.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF
50	Ralph Butler, Nicholas T. Karonis	Exploitation of Parallelism in Prototypical Deduction Problems.	CADE	1988	DBLP DOI BibTeX RDF
48	Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow	09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.	Interaction versus Automation: The two Faces of Deduction	2009	DBLP BibTeX RDF
48	Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis	07401 Executive Summary -- Deduction and Decision Procedures.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
48	Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis	07401 Abstracts Collection -- Deduction and Decision Procedures.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
48	Franz Baader, Peter Baumgartner 0001, Robert Nieuwenhuis, Andrei Voronkov	05431 Executive Summary - Deduction and Applications.	Deduction and Applications	2005	DBLP BibTeX RDF
48	Franz Baader, Peter Baumgartner 0001, Robert Nieuwenhuis, Andrei Voronkov	05431 Abstracts Collection - Deduction and Applications.	Deduction and Applications	2005	DBLP BibTeX RDF
48	Dongming Wang 0001 (eds.)	Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers	Automated Deduction in Geometry	1997	DBLP DOI BibTeX RDF
48	Stéphane Fèvre	Integration of Reasoning and Algebraic Calculus in Geometry.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	He Shi, Fengmei Zou	Flat Central Configurations of Four Planet Motions.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	Desmond Fearnley-Sander, Timothy Stokes 0001	Area in Grassmann Geometry.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	Deepak Kapur	Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	Dongming Wang 0001	Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	Quoc-Nam Tran	Extended Dixon's Resultant and Its Applications.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	Erik Hillgarter, Franz Winkler 0001	Points on Algebraic Curves and the Parametrization Problem.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	Timothy F. Havel	Computational Synthetic Geometry with Clifford Algebra.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro	Probabilistic Verification of Elementary Geometry Statements.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	Thomas Sturm 0001, Volker Weispfenning	Computational Geometry Problems in REDLOG.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang	Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
48	Peter Baumgartner 0001, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner	'Living Book': -'Deduction', 'Slicing', 'Interaction'.	CADE	2003	DBLP DOI BibTeX RDF
48	Stephen G. Pulman	Tutorial: Automated Deduction and Natural Language Understanding.	CADE	2000	DBLP DOI BibTeX RDF
48	Erica Melis	Workshop: Automated Deduction in Education.	CADE	2000	DBLP DOI BibTeX RDF
48	Laurent Vigneron	Associative-Commutative Deduction with Constraints.	CADE	1994	DBLP DOI BibTeX RDF
46	Gilles Audemard, Belaid Benhamou, Pierre Siegel	AVAL: An Enumerative Method for SAT.	Computational Logic	2000	DBLP DOI BibTeX RDF	satisfiability, enumeration, deduction
44	Nikolaos Galatos, Hiroakira Ono	Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.	Stud Logica	2006	DBLP DOI BibTeX RDF	pointed residuated lattice, parametrized local deduction theorem, interpolation, Substructural logic, algebraic semantics
44	Torben Braüner	Natural Deduction for First-Order Hybrid Logic.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	First-order hybrid logic, first-order modal logic, natural deduction
44	Thierry Boy de la Tour, Mnacho Echenim	On the Complexity of Deduction Modulo Leaf Permutative Equations.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	leaf permutative equations, stratified terms, automated deduction
44	Andrzej Indrzejczak	A Labelled Natural Deduction System for Linear Temporal Logic.	Stud Logica	2003	DBLP DOI BibTeX RDF	Temporal Logic, Linear Time, Natural Deduction
44	Michael Leuschel, Bern Martens, Danny De Schreye	Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	program transformation, partial evaluation, flow analysis, partial deduction, supercompilation
44	Chandrabose Aravindan, Phan Minh Dung	Partial Deduction of Logic Programs wrt Well-Founded Semantics.	ALP	1992	DBLP DOI BibTeX RDF	well-founded negation, program transformation, Partial deduction
44	Ricardo A. Munoz, Chao-Chih Yang	Using Normal Deduction Graphs in Default Reasoning.	ISMIS	1991	DBLP DOI BibTeX RDF	normal deduction graph, Artificial intelligence, logic programming, inference, first-order logic, commonsense reasoning, default reasoning
44	Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau	Algorithms for Constructing Minimal Deduction Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	MDG construction algorithms, Hern clauses, minimal deduction graphs, Horn clause logic, DG, Horn formulas, positive literals, rule instances, tree space, logic programming, graphs, expert systems, inference mechanisms, transitivity, backtracking, inference rules, reflexivity, arcs, sink, subtrees, HF
44	Luca Pulina, Armando Tacchella	Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas.	FroCoS	2009	DBLP DOI BibTeX RDF
44	Michel Leclère, Marie-Laure Mugnier	An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation.	ICCS	2008	DBLP DOI BibTeX RDF
44	Grigore Rosu	Complete Categorical Deduction for Satisfaction as Injectivity.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
44	Terrance Swift	Deduction in Ontologies via ASP.	LPNMR	2004	DBLP DOI BibTeX RDF
44	Jan von Plato	Natural deduction with general elimination rules.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F05
44	Masami Hagiya, Koichi Takahashi	Discovery and Deduction.	Discovery Science	2000	DBLP DOI BibTeX RDF
44	John M. Rushby	Automated Deduction and Formal Methods.	CAV	1996	DBLP DOI BibTeX RDF
44	Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen	Controlling Conjunctive Partial Deduction.	PLILP	1996	DBLP DOI BibTeX RDF
44	Amy P. Felty	A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs.	ELP	1989	DBLP DOI BibTeX RDF
43	Jürgen Bokowski	Effective Methods in Computational Synthetic Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
42	Dale Miller 0001	Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs.	CADE	1984	DBLP DOI BibTeX RDF	Expansion Trees, ET-proofs, Matings, Higher-order Logic, Natural Deduction
42	Carsten Ihlemann, Viorica Sofronie-Stokkermans	System Description: H-PILoT.	CADE	2009	DBLP DOI BibTeX RDF	local theory extensions, hierarchical reasoning
42	Andreas Meier 0002	System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level.	CADE	2000	DBLP DOI BibTeX RDF
42	Marianne Brown, Geoff Sutcliffe	System Description: PTTP+GLiDes: Semantically Guided PTTP.	CADE	2000	DBLP DOI BibTeX RDF
42	Matthias Fuchs	Evolving Combinators.	CADE	1997	DBLP DOI BibTeX RDF
42	Wayne Snyder, James G. Schmolze	Rewrite Semantics for Production Rule Systems: Theory and Applications.	CADE	1996	DBLP DOI BibTeX RDF
42	Matthias Fuchs	Experiments in the Heuristic Use of Past Proof Experience.	CADE	1996	DBLP DOI BibTeX RDF
42	Hans-Albert Schneider	An Improvement of Deduction Plans: Refutation Plans.	CADE	1986	DBLP DOI BibTeX RDF
42	Kenneth Forsythe, Stan Matwin	Implementation Strategies for Plan-Based Deduction.	CADE	1984	DBLP DOI BibTeX RDF
42	Peter B. Andrews	Transforming Matings into Natural Deduction Proofs.	CADE	1980	DBLP DOI BibTeX RDF
40	Liron Cohen 0001	Non-well-founded Deduction for Induction and Coinduction.	CADE	2021	DBLP DOI BibTeX RDF
40	Kailiang Ji	CTL Model Checking in Deduction Modulo.	CADE	2015	DBLP DOI BibTeX RDF
40	David A. Plaisted	History and Prospects for First-Order Automated Deduction.	CADE	2015	DBLP DOI BibTeX RDF
40	Vijay D'Silva, Caterina Urban	Abstract Interpretation as Automated Deduction.	CADE	2015	DBLP DOI BibTeX RDF
40	Guillaume Burel	Experimenting with Deduction Modulo.	CADE	2011	DBLP DOI BibTeX RDF
40	Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt	The KeY system 1.0 (Deduction Component).	CADE	2007	DBLP DOI BibTeX RDF
40	Jean-François Couchot, Stéphane Lescuyer	Handling Polymorphism in Automated Deduction.	CADE	2007	DBLP DOI BibTeX RDF
40	Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich	System for Automated Deduction (SAD): A Tool for Proof Verification.	CADE	2007	DBLP DOI BibTeX RDF
40	Graham Steel	Deduction with XOR Constraints in Security API Modelling.	CADE	2005	DBLP DOI BibTeX RDF
40	Philippe de Groote	A dynamic programming approach to categorial deduction.	CADE	1999	DBLP DOI BibTeX RDF
40	Robert Nieuwenhuis	Invited Talk: Rewrite-based Deduction and Symbolic Constraints.	CADE	1999	DBLP DOI BibTeX RDF
40	Robi Malik	Automated Deduction of Finite-State Control Programs for Reactive Systems.	CADE	1998	DBLP DOI BibTeX RDF
40	Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo	Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses.	CADE	1997	DBLP DOI BibTeX RDF
40	Dana S. Scott	What Can We Hope to Achieve From Automated Deduction? (Abstract).	CADE	1996	DBLP DOI BibTeX RDF
40	Siani Baker	A New Application for Explanation-Based Generalisation within Automated Deduction.	CADE	1994	DBLP DOI BibTeX RDF
40	Geoff Sutcliffe	The Semantically Guided Linear Deduction System.	CADE	1992	DBLP DOI BibTeX RDF
40	William McCune, Larry Wos	Experiments in Automated Deduction with Condensed Detachment.	CADE	1992	DBLP DOI BibTeX RDF
40	Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill	&: Automated Natural Deduction.	CADE	1992	DBLP DOI BibTeX RDF
39	Olivier Hermant	Semantic Cut Elimination in the Intuitionistic Sequent Calculus.	TLCA	2005	DBLP DOI BibTeX RDF	intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo
39	Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki	A Formal System for Analysis of Cryptographic Encryption and Their Security Properties.	ISSS	2003	DBLP DOI BibTeX RDF	unjudgment, symmetric-content-non-malleability, symmetric-content-indistinguishability, symmetric-key-indistinguishablity, symmetric-content-length-indistinguishability, encryption, judgment, deduction systems
39	Kai Brünnler	Atomic Cut Elimination for classical Logic.	CSL	2003	DBLP DOI BibTeX RDF	atomic cut, sequent calculus, cut elimination, natural deduction, classical logic
39	Uwe Egly	A First Order Resolution Calculus with Symmetries.	LPAR	1993	DBLP DOI BibTeX RDF
37	Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe	A Natural Deduction System for Annotated Predicate Logic.	KES (2)	2007	DBLP DOI BibTeX RDF	completeness, natural deduction, Annotated logics
37	Antonín Dvorák, Vilém Novák	Fuzzy logic deduction with crisp observations.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Logical deduction, Linguistic description, Intension, Linguistic hedges
37	Torben Braüner	Two Natural Deduction Systems for Hybrid Logic: A Comparison.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	modal logic, hybrid logic, natural deduction
37	Naoyuki Nide, Shiro Takata	Deduction systems for BDI logics using sequent calculus.	AAMAS	2002	DBLP DOI BibTeX RDF	sequent calculus, rational agents, BDI logic, deduction system
37	Johann Schumann, Bernd Fischer 0002	NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical.	ASE	1997	DBLP DOI BibTeX RDF	deduction-based software component retrieval, NORA/HAMMR, search keys, proof tasks, rejection filters, model checking techniques, confirmation filter, software reusability, signature matching, automated theorem prover
37	Li Dafa	An Application to Teaching in Logic Course of ATP Based Natural Deduction.	LPAR	1992	DBLP DOI BibTeX RDF	theorem proving, logic, natural deduction