Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
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
A Probabilistic Extension of the Stable Model Semantics
A Probabilistic Extension of the Stable Model Semantics
A Preliminary User`s Manual for Isabelle
A Preliminary User`s Manual for Isabelle
A Preliminary Study on Reasoning About Causes Pedro Cabalar
A Preliminary Study on Reasoning About Causes Pedro Cabalar
A Preference Logic With Four Kinds of Preferences
A Preference Logic With Four Kinds of Preferences
A Practical Transformation from LTL to Automata
A Practical Transformation from LTL to Automata
A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao
A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao
A Practical Guide to Controlling Electrostatic Changes on
A Practical Guide to Controlling Electrostatic Changes on
A Planning Approach for Message-Oriented Semantic Web Service Composition
A Planning Approach for Message-Oriented Semantic Web Service Composition
A Partial Order Reduction Algorithm without the Proviso Abstract Ratan Nalumasu
A Partial Order Reduction Algorithm without the Proviso Abstract Ratan Nalumasu
A Parametrization of the Abstract Ramsey Theorem Una Parametrizaci´
A Parametrization of the Abstract Ramsey Theorem Una Parametrizaci´
A note on Richard Taylor's Fatalism
A note on Richard Taylor's Fatalism