Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
On the analysis of regulations using defeasible rules
On the analysis of regulations using defeasible rules
On Subsumption Removal and On-the
On Subsumption Removal and On-the
On Solving the Qualification Problem Charles Elkan University of California, San Diego
On Solving the Qualification Problem Charles Elkan University of California, San Diego
On semantics of STRIPS By Vladimir Lifschitz Presented by Forrest Sheng Bao
On semantics of STRIPS By Vladimir Lifschitz Presented by Forrest Sheng Bao
On Resource Analysis of Imperative Programs Welcome!
On Resource Analysis of Imperative Programs Welcome!
On Repairing Reasoning Reversals via Representational Refinements Alan Bundy, Fiona McNeill
On Repairing Reasoning Reversals via Representational Refinements Alan Bundy, Fiona McNeill
On Rely-Guarantee Reasoning
On Rely-Guarantee Reasoning
On Redundant Topological Constraints (Extended Abstract) Matt Duckham
On Redundant Topological Constraints (Extended Abstract) Matt Duckham
On Quantifying Into Predicate Position:
On Quantifying Into Predicate Position:
On Preserving: Essays on Preservationism and Paraconsistent Logic
On Preserving: Essays on Preservationism and Paraconsistent Logic
ON PRESERVING
ON PRESERVING
On pragmatic compositionality
On pragmatic compositionality
ON PF0VING LAWS OF TBE ALGEBRA OF FP-SYSTE2% INEDINB~LCF Jacek Leszczykcwski
ON PF0VING LAWS OF TBE ALGEBRA OF FP-SYSTE2% INEDINB~LCF Jacek Leszczykcwski
On Notions of Causality and Distributed Knowledge Ron van der Meyden
On Notions of Causality and Distributed Knowledge Ron van der Meyden
On non-tabular m-pre-complete classes of formulas in the propositional provability logic
On non-tabular m-pre-complete classes of formulas in the propositional provability logic
On Loop Formulas with Variables Joohyung Lee and Yunsong Meng
On Loop Formulas with Variables Joohyung Lee and Yunsong Meng
On Logics and Semantics of Indeterminate Causation Alexander Bochman
On Logics and Semantics of Indeterminate Causation Alexander Bochman
On Integrating Ontologies with Relational Probabilistic Models
On Integrating Ontologies with Relational Probabilistic Models
On Initial Segment Complexity and Degrees of Randomness
On Initial Segment Complexity and Degrees of Randomness
ON IMPLICATION ALGEBRAS YOUNG BAE JUN
ON IMPLICATION ALGEBRAS YOUNG BAE JUN
On ignorance and contradiction considered as truth-values
On ignorance and contradiction considered as truth-values
On Hybrid Systems and the Modal/z-Calculus
On Hybrid Systems and the Modal/z-Calculus
On Guessing Whether a Sequence has a Certain Property
On Guessing Whether a Sequence has a Certain Property
ON GENERALIZED ω
ON GENERALIZED ω