Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A Theory of Forgetting in Logic Programming Kewen Wang Abdul Sattar Kaile Su
A Theory of Forgetting in Logic Programming Kewen Wang Abdul Sattar Kaile Su
A Theory for Convex Interval Relations including Unbounded Intervals
A Theory for Convex Interval Relations including Unbounded Intervals
A The Answer Set Programming Competition Francesco Calimeri, Giovambattista Ianni,
A The Answer Set Programming Competition Francesco Calimeri, Giovambattista Ianni,
A Temporal Extension of the Hayes and ter Horst Hans-Ulrich Krieger
A Temporal Extension of the Hayes and ter Horst Hans-Ulrich Krieger
A Tableau-Based Theorem Proving Method for Intuitionistic Logic Oliver Bittel
A Tableau-Based Theorem Proving Method for Intuitionistic Logic Oliver Bittel
A System for Relational Probabilistic Reasoning on Maximum Entropy Matthias Thimm
A System for Relational Probabilistic Reasoning on Maximum Entropy Matthias Thimm
A System for Nonmonotonic Rules on the Web
A System for Nonmonotonic Rules on the Web
A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs Kewen Wang
A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs Kewen Wang
A Syntactic Approach to Foundational Proof-Carrying Code
A Syntactic Approach to Foundational Proof-Carrying Code
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic Mika Cohen
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic Mika Cohen
A Survey of Work on Multiple Valued Logic and its
A Survey of Work on Multiple Valued Logic and its
A Survey of Rely-Guarantee Approaches in Compositional Verification Murat Demirbas
A Survey of Rely-Guarantee Approaches in Compositional Verification Murat Demirbas
A Survey of Automated Techniques for Formal Software Verification Vijay D’Silva Daniel Kroening
A Survey of Automated Techniques for Formal Software Verification Vijay D’Silva Daniel Kroening
A Supervisor's Reminiscence
A Supervisor's Reminiscence
A study of Probabilistic Logic frameworks
A study of Probabilistic Logic frameworks
A Strongly-Local Contextual Logic
A Strongly-Local Contextual Logic
A String-based Model for Infinite Granularities (Extended Abstract)
A String-based Model for Infinite Granularities (Extended Abstract)
A Strategy for Impleme ases Jane Terry Nutter
A Strategy for Impleme ases Jane Terry Nutter
A Static Preprocess for Improving Fuzzy Thresholded Tabulation*
A Static Preprocess for Improving Fuzzy Thresholded Tabulation*
A Split-combination Method for Merging Inconsistent Possibilistic Knowledge Bases Guilin Qi
A Split-combination Method for Merging Inconsistent Possibilistic Knowledge Bases Guilin Qi
A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS
A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS
A Software Implementation of the IEEE 754R Decimal Floating
A Software Implementation of the IEEE 754R Decimal Floating
A SMALL OBSERVATION ON CO-CATEGORIES PETER LEFANU LUMSDAINE
A SMALL OBSERVATION ON CO-CATEGORIES PETER LEFANU LUMSDAINE
A Situation-Calculus Based Theory of Justified Knowledge and Action Richard Scherl
A Situation-Calculus Based Theory of Justified Knowledge and Action Richard Scherl