Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
On the Threshold-Width of Graphs Journal of Graph Algorithms and Applications
On the Threshold-Width of Graphs Journal of Graph Algorithms and Applications
On the Semantics of Perception-Based Fuzzy Logic Deduction
On the Semantics of Perception-Based Fuzzy Logic Deduction
On the Relative Expressiveness of ADL and Golog: The Last... Gabriele R¨oger
On the Relative Expressiveness of ADL and Golog: The Last... Gabriele R¨oger
On the Relationship between P-log and LP MLN ∗
On the Relationship between P-log and LP MLN ∗
On the Relationship Between Lexical Semantics and Syntax for the... Context-Free Grammars Tim Oates, Tom Armstrong, Justin Harris
On the Relationship Between Lexical Semantics and Syntax for the... Context-Free Grammars Tim Oates, Tom Armstrong, Justin Harris
On the Qualification Problem and Elaboration Tolerance
On the Qualification Problem and Elaboration Tolerance
On the Progression of Situation Calculus Basic Action Theories:
On the Progression of Situation Calculus Basic Action Theories:
On the Progression of Knowledge in the Situation Calculus
On the Progression of Knowledge in the Situation Calculus
On the Progression of Knowledge in Multiagent Systems Vaishak Belle Gerhard Lakemeyer
On the Progression of Knowledge in Multiagent Systems Vaishak Belle Gerhard Lakemeyer
On the possibility of a general purge of self
On the possibility of a general purge of self
On the Paradox of the Ravens
On the Paradox of the Ravens
ON THE ORTHOGONALIZATION OF ARBITRARY BOOLEAN FORMULAE
ON THE ORTHOGONALIZATION OF ARBITRARY BOOLEAN FORMULAE
On the Nature and Role of Modal Truth Criteria in Planning
On the Nature and Role of Modal Truth Criteria in Planning
ON THE METAPHYSICS OF NUMBERS by
ON THE METAPHYSICS OF NUMBERS by
On the Logic of Evolution and the Vanity of Scientism Abstract
On the Logic of Evolution and the Vanity of Scientism Abstract
On the Link between Partial Meet, Kernel, and Richard Booth Thomas Meyer
On the Link between Partial Meet, Kernel, and Richard Booth Thomas Meyer
On the limit existence principles in elementary arithmetic and Σ0
On the limit existence principles in elementary arithmetic and Σ0
On the Implementation of a Discrete Mathematics Course
On the Implementation of a Discrete Mathematics Course
ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS
ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS
On the Fixpoint Theory of Equality and Its Applications Andrzej Szałas
On the Fixpoint Theory of Equality and Its Applications Andrzej Szałas
On the Expressiveness of Levesque’s Normal Form Yongmei Liu Gerhard Lakemeyer
On the Expressiveness of Levesque’s Normal Form Yongmei Liu Gerhard Lakemeyer
On the Equivalence of Recursive and Nonrecursive Datalog Programs
On the Equivalence of Recursive and Nonrecursive Datalog Programs
On the Entailment Problem for a Logic of Typicality
On the Entailment Problem for a Logic of Typicality
On the Enactability of Business Protocols Nirmit Desai Munindar P. Singh
On the Enactability of Business Protocols Nirmit Desai Munindar P. Singh