Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Question 1
Question 1
Question 1
Question 1
Question 1
Question 1
Querying Sequential and Concurrent Horn Transaction Logic Programs using Tabling Techniques
Querying Sequential and Concurrent Horn Transaction Logic Programs using Tabling Techniques
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics Franc¸ois Goasdou´e
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics Franc¸ois Goasdou´e
Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,
Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,
Query Containment in Description Logics Reconsidered Meghyn Bienvenu Carsten Lutz Frank Wolter
Query Containment in Description Logics Reconsidered Meghyn Bienvenu Carsten Lutz Frank Wolter
Query Answering for OWL-DL with Rules
Query Answering for OWL-DL with Rules
QUERY ANSUERING IN CIRCUBSCRIPTIVE AND CLOSED-YORLD TBEORIES Teodor C. Przymusinski ABSTRACT.
QUERY ANSUERING IN CIRCUBSCRIPTIVE AND CLOSED-YORLD TBEORIES Teodor C. Przymusinski ABSTRACT.
QUEENSBOROUGH COMMUNITY COLLEGE THE CITY UNIVERSITY OF NEW YORK
QUEENSBOROUGH COMMUNITY COLLEGE THE CITY UNIVERSITY OF NEW YORK
Quantitative Structure-Activity Relationships by GUHA Method
Quantitative Structure-Activity Relationships by GUHA Method
Quantifying information and contradiction in propositional logic
Quantifying information and contradiction in propositional logic
Quantifying Conflicts for Spatial and Temporal Information Jean-Franc¸ois Condotta Badran Raddaoui Yakoub Salhi
Quantifying Conflicts for Spatial and Temporal Information Jean-Franc¸ois Condotta Badran Raddaoui Yakoub Salhi
Quantifkational Logic of Context SaSa BuvaC
Quantifkational Logic of Context SaSa BuvaC
Quantifiers and logical inference
Quantifiers and logical inference
QuantifierNegation
QuantifierNegation
Quantifier-Free Boolean Algebra with Presburger Arithmetic is NP-Complete Technical Report
Quantifier-Free Boolean Algebra with Presburger Arithmetic is NP-Complete Technical Report
QUANTIFIED PREDICATE LOGIC ROLE OF VARIABLES: BOUND AND FREE
QUANTIFIED PREDICATE LOGIC ROLE OF VARIABLES: BOUND AND FREE
Quantified Differential Dynamic Logic for Distributed
Quantified Differential Dynamic Logic for Distributed
Quantification Theory
Quantification Theory
Qualitative Thought - Michigan State University
Qualitative Thought - Michigan State University
Qualitative simulation as a temporally-extended constraint satisfaction problem *
Qualitative simulation as a temporally-extended constraint satisfaction problem *
Qualitative Reasoning under Uncertainty
Qualitative Reasoning under Uncertainty
Qualitative Methods in Political Science
Qualitative Methods in Political Science