Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Declarative Solver Development: Case Studies
Declarative Solver Development: Case Studies
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs and Zeinab Bahmani
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs and Zeinab Bahmani
Declarative Debugging in Constraint Logic Programming: the Cover Relation
Declarative Debugging in Constraint Logic Programming: the Cover Relation
Declarative Configuration Applied to Course Scheduling S.
Declarative Configuration Applied to Course Scheduling S.
Declarativ e Debugging G
Declarativ e Debugging G
Decision Making CMSC 201 Chang (rev. 2015-02-05)
Decision Making CMSC 201 Chang (rev. 2015-02-05)
Deciding Combinations of Theories
Deciding Combinations of Theories
Deciding Bit-Vector Arithmetic with Abstraction
Deciding Bit-Vector Arithmetic with Abstraction
Decidable Theories of the Ordering of Natural Numbers with Unary
Decidable Theories of the Ordering of Natural Numbers with Unary
Decidable Reasoning in a Logic of Limited Belief with Function... Gerhard Lakemeyer Hector J. Levesque
Decidable Reasoning in a Logic of Limited Belief with Function... Gerhard Lakemeyer Hector J. Levesque
Decidable Reasoning in a Logic of Limited Belief
Decidable Reasoning in a Logic of Limited Belief
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus
Decidable G¨odel Description Logics without the Finitely-Valued Model Property
Decidable G¨odel Description Logics without the Finitely-Valued Model Property
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription
Decidability of the interval temporal logic ABB over the natural
Decidability of the interval temporal logic ABB over the natural
Decidability of string graphs Marcus Schaefer and Daniel S˘tefankovic˘ $
Decidability of string graphs Marcus Schaefer and Daniel S˘tefankovic˘ $
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems
Decidability of Contextual Reasoning Vanja BuvaE
Decidability of Contextual Reasoning Vanja BuvaE
Decidability and Undecidability Results for Propositional Schemata Vincent Aravantinos Ricardo Caferra
Decidability and Undecidability Results for Propositional Schemata Vincent Aravantinos Ricardo Caferra
Debugging Systems for Constraint Programming Declarative Debugging in Constraint Programming :
Debugging Systems for Constraint Programming Declarative Debugging in Constraint Programming :
Debugging Systems for Constraint Programming Correctness and Completeness of CLP
Debugging Systems for Constraint Programming Correctness and Completeness of CLP
DEBsg1 student notes
DEBsg1 student notes
Debate Seminar
Debate Seminar
DEBATE BRIEF
DEBATE BRIEF