Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic
A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic
A model of constraint solvers by chaotic iteration adapted to G´
A model of constraint solvers by chaotic iteration adapted to G´
A Model for Recursively Self Improving Programs Abstract
A Model for Recursively Self Improving Programs Abstract
a model for multimodal representation and inference
a model for multimodal representation and inference
A Modal Logic for Beliefs and Pro Attitudes Kaile Su
A Modal Logic for Beliefs and Pro Attitudes Kaile Su
A Metric for Trusted Systems A. Jsang S.J. Knapskog
A Metric for Trusted Systems A. Jsang S.J. Knapskog
A Method to Solve the Puzzles of Knights and Knaves
A Method to Solve the Puzzles of Knights and Knaves
A Method for the Development of Totally Correct Shared-State Parallel Programs
A Method for the Development of Totally Correct Shared-State Parallel Programs
A METHOD FOR EVALUATING AND STANDARDIZING ONTOLOGIES by Ali Patrice Seyed
A METHOD FOR EVALUATING AND STANDARDIZING ONTOLOGIES by Ali Patrice Seyed
A Meta-Level Inference Architecture for Contexts Abstract
A Meta-Level Inference Architecture for Contexts Abstract
A Machine-Checked Proof for a Translation of Event
A Machine-Checked Proof for a Translation of Event
A logical way to find high probability pedigrees
A logical way to find high probability pedigrees
A Logical Study of Partial Entailment Yi Zhou Yan Zhang
A Logical Study of Partial Entailment Yi Zhou Yan Zhang
a logical primer - Westminster College
a logical primer - Westminster College
A LOGICAL MODEL OF HCP ANATOLY D. PLOTNIKOV
A LOGICAL MODEL OF HCP ANATOLY D. PLOTNIKOV
A LOGICAL MODEL DECISION-MAKING Department of Cmputer Science and Autmation
A LOGICAL MODEL DECISION-MAKING Department of Cmputer Science and Autmation
A Logical Framework to Represent and Reason about Ana Casali
A Logical Framework to Represent and Reason about Ana Casali
A Logical Framework for Modularity of Ontologies
A Logical Framework for Modularity of Ontologies
A Logic-based Approach to Dynamic Programming Steffen H¨olldobler
A Logic-based Approach to Dynamic Programming Steffen H¨olldobler
A Logic-based Approach to Decision Making Magdalena Ivanovska and Martin Giese
A Logic-based Approach to Decision Making Magdalena Ivanovska and Martin Giese
A Logic-based Approach to Decision Making (extended version)
A Logic-based Approach to Decision Making (extended version)
A Logic-based Approach to Combinatorial Testing with Constraints
A Logic-based Approach to Combinatorial Testing with Constraints
A Logic Program Characterization of Causal Theories
A Logic Program Characterization of Causal Theories
A Logic of Limited Belief for Reasoning with Disjunctive Information
A Logic of Limited Belief for Reasoning with Disjunctive Information