The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Deduction with no syntactic query expansion in all metadata.

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