Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A Logic of Capabilities Meyer*
A Logic of Capabilities Meyer*
A Logic for Reasoning about Justified Uncertain Beliefs
A Logic for Reasoning about Justified Uncertain Beliefs
A Logic for Planning under Partial Observability A. Herzig
A Logic for Planning under Partial Observability A. Herzig
A Logic Approach to Granular Computing
A Logic Approach to Granular Computing
A Little Logic “There Exists” and “For All”
A Little Logic “There Exists” and “For All”
A Little Logic “There Exists” and “For All”
A Little Logic “There Exists” and “For All”
A Little Logic “There Exists” and “For All”
A Little Logic “There Exists” and “For All”
A Lattice-based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks
A Lattice-based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing Fahiem Bacchus
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing Fahiem Bacchus
A Hybrid Approach to Pattern Classification Sergio Alejandro G´omez
A Hybrid Approach to Pattern Classification Sergio Alejandro G´omez
A Hoare-Style Proof System for Robot Programs Yongmei Liu
A Hoare-Style Proof System for Robot Programs Yongmei Liu
A History of Natural Deduction and Elementary Logic Textbooks Francis Jeffry Pelletier 1
A History of Natural Deduction and Elementary Logic Textbooks Francis Jeffry Pelletier 1
A Guide to Writing Proofs
A Guide to Writing Proofs
A glossary of logic terms
A glossary of logic terms
A geo-logical solution to the lottery paradox, with applications to
A geo-logical solution to the lottery paradox, with applications to
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints Yi-Dong Shen
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints Yi-Dong Shen
A General and Flexible Access-Control System for the Web
A General and Flexible Access-Control System for the Web
A Game-Theoretic Approach to Constraint Satisfaction Phokion G. Kolaitis Moshe Y. Vardi
A Game-Theoretic Approach to Constraint Satisfaction Phokion G. Kolaitis Moshe Y. Vardi
A FUZZY LOGIC BASED INTELLIGENT NEGOTIATION AGENT
A FUZZY LOGIC BASED INTELLIGENT NEGOTIATION AGENT
A Fully Verified Executable LTL Model Checker
A Fully Verified Executable LTL Model Checker
A Framework for Representing and Solving NP Search Problems
A Framework for Representing and Solving NP Search Problems
A Framework for Integration of Logical and Probabilistic Knowledge
A Framework for Integration of Logical and Probabilistic Knowledge
A Framework for Inherent Vacuity Dana Fisman , Orna Kupferman , Sarai Sheinvald-Faragy
A Framework for Inherent Vacuity Dana Fisman , Orna Kupferman , Sarai Sheinvald-Faragy
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers