|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1057 occurrences of 620 keywords
|
|
|
Results
Found 3867 publication records. Showing 3867 according to the selection in the facets
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 |
Displaying result #1 - #100 of 3867 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|