Conferences in DBLP
Halina Przymusinska , Teodor C. Przymusinski , Hirohisa Seki Soundness and Completeness of Partial Deductions for Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Hölldobler On Deductive Planning and the Frame Problem. [Citation Graph (0, 0)][DBLP ] Conf ] James Harland , David J. Pym On Resolution in Fragments of Classical Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Galmiche , Guy Perrier A Procedure for Automatic Proof Nets Construction. [Citation Graph (0, 0)][DBLP ] Conf ] James Bowen , Dennis Bahler Free Logic and Infinite Constraint Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Beat Wüthrich Towards Probabilistic Knowledge Bases. [Citation Graph (1, 0)][DBLP ] Conf ] Barrett R. Bryant , Aiqin Pan Two-Level Grammar: A Funtional/Logic Query Language for Database and Knowledge-Base Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Burkhard Freitag Extending Deductive Database Languages by Embedded Implications. [Citation Graph (0, 0)][DBLP ] Conf ] Ewing L. Lusk Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Christian G. Fermüller Resolution for Many-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumgartner An Order Theory Resolution Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] William McCune , Larry Wos Application of Automated Deduction to the Search for Single Axioms for Exponent Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Hai-Ping Ko , Mark E. Nadel Elementary Lower Bounds for th Length of Refutations. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Egly Shortening Proofs by Quantifier Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Håkan Millroth Reform Compilation for Nonlinear Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Neumerkel Pruning Infinite Failure Branches in Programs with Occur-Check. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Ireland The Use of Planning Critics in Mechanizing Inductive Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Parigot Lambda-My-Calculus: An Algorithmic Interpretation of Classical Natural Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Boy de la Tour , Christoph Kreitz Building Proofs by Analogy via the Curry-Horward Isomorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Siani Baker , Andrew Ireland , Alan Smaill On the Use of the Constructive Omega-Rule within Automated Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Ertel OR-Parallel Theorem Proving with Random Competition. [Citation Graph (0, 0)][DBLP ] Conf ] Christian B. Suttner Parallel Computation of Multiple Sets-of_Support. [Citation Graph (0, 0)][DBLP ] Conf ] Bogumil Hausman Towards Using the Andorra Kernel Language for Industrial Real-Time Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Ringeissen Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Bachmair , Harald Ganzinger Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Gramlich Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Valentin M. Antimirov , Anatoli Degtyarev Consistency of Equational Enrichments. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Gabbrielli , Giorgio Levi , Daniele Turi A Two Steps Semantics for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Mino Bai , Howard A. Blair General Model Theoretic Semantics for Higher-Order Horn Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] José Alberto Fernández , Jack Minker Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander V. Voinov Netlog - A Concept Oriented Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Fisher , Richard Owens From the Past to the Future: Executing Temporal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Walther Computing Induction Axioms. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Curzon A Programming Logic for a Verified Structured Assembly Language. [Citation Graph (0, 0)][DBLP ] Conf ] Gernot Salzer The Unification of Infinite Sets of Terms and Its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kohlhase Unification in Order-Sorted Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Sattler-Klein Infinite, Canonical String Rewriting Systems Generated by Completion. [Citation Graph (0, 0)][DBLP ] Conf ] Francis Alexandre , Khaled Bsaïes , Jean-Pierre Finance , Alain Quéré Spes: A System for Logic Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Andreoli , Remo Pareschi Linear Objects: a Logic Framework for Open System Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Bauer , Rolf Hennicker ISAR: An Interactive System for Algebraic Implementation Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Beeson Mathpert: Computer Support for Learning Algebra, Trig, and Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge B. Bocca , Michael Dahmen , Michael Freeston MegaLog - A Platform for Developing Knowledge Base Management Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Adel Bouhoula , Emmanuel Kounalis , Michaël Rusinowitch SPIKE, an Automatic Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Li Dafa An Application to Teaching in Logic Course of ATP Based Natural Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Dawson A Generic Logic Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Dorochevsky , Liang-Liang Li , Mike Reeve , Kees Schuerman , André Véron ElipSys - A Parallel Programming System based on Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Mireille Ducassé Opium - A High-level Debugging Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Fraus , Heinrich Hußmann An Inductive Theorem Prover Based on Narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] Terry Gaasterland , Parke Godfrey , Jack Minker , Lev Novik A Cooperative Answering System. [Citation Graph (1, 0)][DBLP ] Conf ] Javier Leach , Susana Nieva MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Manoury , Michel Parigot , Marianna Simonot ProPre A Programming Language with Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Julio García Marrtín , Juan José Moreno-Navarro FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Micha Meier SEPIA - a Bases for Prolog Extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Nilsson The External Database in SICStus Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Noyé The KCM System: Speeding-up Logic Programming through Hardware Support. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Romanenko Logican's Workbench. [Citation Graph (0, 0)][DBLP ] Conf ] Hajime Sawamura , Toshiro Minami , Kyoko Ohashi EUODHILOS: A General Reasoning System for a Variety of Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Vieille , Petra Bayer , Volker Küchenhoff , Alexandre Lefebvre , Rainer Manthey The EKS-V1 System. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Wallace , Thierry Le Provost CHIP and Propia. [Citation Graph (0, 0)][DBLP ] Conf ] 