Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A Simple, but NP-Hard, Motion Planning Problem
A Simple, but NP-Hard, Motion Planning Problem
A Simple Model for Quotient Types
A Simple Model for Quotient Types
A Simpl Shortest Path Checker Verification
A Simpl Shortest Path Checker Verification
A Short Glossary of Metaphysics
A Short Glossary of Metaphysics
A Set Theoretic Interpretation of Aristotle`s Syllogistic
A Set Theoretic Interpretation of Aristotle`s Syllogistic
A Semântica e a Lógica das Predicações de Existência ANPOF 2010 J
A Semântica e a Lógica das Predicações de Existência ANPOF 2010 J
A Semantic Model For UNITY Zhiming Liu University of Warwick
A Semantic Model For UNITY Zhiming Liu University of Warwick
A Semantic Decomposition of Defeasible Logics M.J. Maher
A Semantic Decomposition of Defeasible Logics M.J. Maher
A Semantic Approach for Iterated Revision in Possibilistic Logic Guilin Qi
A Semantic Approach for Iterated Revision in Possibilistic Logic Guilin Qi
A Reductive Semantics for Counting and Choice in Answer Set Programming
A Reductive Semantics for Counting and Choice in Answer Set Programming
A Reduction Result for Circumscribed Semi-Horn Formulas
A Reduction Result for Circumscribed Semi-Horn Formulas
A Reason Maintenance Perspective on Relevant Ramsey Conditionals Abstract
A Reason Maintenance Perspective on Relevant Ramsey Conditionals Abstract
A Rational Extension of Stable Model Shahab Tasharrofi Simon Fraser University
A Rational Extension of Stable Model Shahab Tasharrofi Simon Fraser University
A Quick Overview of Probability William W. Cohen Machine Learning 10-601
A Quick Overview of Probability William W. Cohen Machine Learning 10-601
A Puzzle Concerning Ground
A Puzzle Concerning Ground
A Psychology-Inspired Approach to Automated Narrative Text Comprehension Irene-Anna Diakidoy Antonis Kakas
A Psychology-Inspired Approach to Automated Narrative Text Comprehension Irene-Anna Diakidoy Antonis Kakas
A Proof-Theoretical View of Collective Rationality
A Proof-Theoretical View of Collective Rationality
A Proof-Carrying Authorization System
A Proof-Carrying Authorization System
A Proof-Based Approach to Formalizing Protocols in Linear Epistemic Logic
A Proof-Based Approach to Formalizing Protocols in Linear Epistemic Logic
A Proof System for Adaptable Class Hierarchies
A Proof System for Adaptable Class Hierarchies
A Proof of Nominalism. An Exercise in Successful Reduction in Logic
A Proof of Nominalism. An Exercise in Successful Reduction in Logic
A Processing-in-Memory Taxonomy and a Case for Studying Fixed-function PIM
A Processing-in-Memory Taxonomy and a Case for Studying Fixed-function PIM
A problem for the relational theory of propositional attitudes
A problem for the relational theory of propositional attitudes
A Probabilistic Logic for Sequences of Decisions
A Probabilistic Logic for Sequences of Decisions