Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
From Wine to Water: Optimizing Description Logic Reasoning for Nominals
From Wine to Water: Optimizing Description Logic Reasoning for Nominals
From what I can discern from Goldenberg’s diagram, the roots... of the Talmud makes presenting it as a standard written...
From what I can discern from Goldenberg’s diagram, the roots... of the Talmud makes presenting it as a standard written...
From propositional to predicate logic.
From propositional to predicate logic.
From Proof Nets to the Free *-Autonomous Category
From Proof Nets to the Free *-Autonomous Category
From Philosophical to Industrial Logics ⋆ Moshe Y. Vardi
From Philosophical to Industrial Logics ⋆ Moshe Y. Vardi
From Monadic Logic to PSL ? Moshe Y. Vardi
From Monadic Logic to PSL ? Moshe Y. Vardi
From Last time Cognitivism vs. non-cognitivism Subjective descriptivism Cultural relativism
From Last time Cognitivism vs. non-cognitivism Subjective descriptivism Cultural relativism
From Greek philosophers to circuits: An introduction to boolean logic.
From Greek philosophers to circuits: An introduction to boolean logic.
From DAML-S to Executable Code - iscte-iul
From DAML-S to Executable Code - iscte-iul
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
From Answer Set Logic Programming to Circumscription via Logic of GK
From Answer Set Logic Programming to Circumscription via Logic of GK
Fri.
Fri.
Fri.
Fri.
Freud`s 1914 paper "On narcissism: An Introduction"
Freud`s 1914 paper "On narcissism: An Introduction"
Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete
Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete
Finite-model theory - a personal perspective *
Finite-model theory - a personal perspective *
Finite Type Arithmetic
Finite Type Arithmetic
FINITE SUM – PRODUCT LOGIC J.R.B. COCKETT AND R.A.G. SEELY
FINITE SUM – PRODUCT LOGIC J.R.B. COCKETT AND R.A.G. SEELY
Finite Model Reasoning in Horn Description Logics Yazm´ın Iba ˜nez-Garc´ıa
Finite Model Reasoning in Horn Description Logics Yazm´ın Iba ˜nez-Garc´ıa
Finite automata and regular expressions are useful in defining the
Finite automata and regular expressions are useful in defining the
Finite Model Reasoning in Description Logics
Finite Model Reasoning in Description Logics
Finding and Exploiting LTL Trajectory Constraints in Heuristic Search
Finding and Exploiting LTL Trajectory Constraints in Heuristic Search
Finding all possibilities Logic problems Spaceship
Finding all possibilities Logic problems Spaceship
Financial Certification Statement
Financial Certification Statement