Theory and Practice of Logic Programming

Theory, Stable theory, Set theory, Theory of computation, Superstring theory, Critical theory, Grounded theory, Theory (mathematical logic), Theory X and Theory Y, M-theory, Computability theory, String theory, Theory-theory, Type theory, Scientific theory, Model theory, Theory of everything, Twistor theory, Game theory, Number theory, Decision theory, Gauge theory, Information theory, Naive set theory, Systems theory, Intuitionistic type theory, Probability theory, Group theory, Negotiation theory, Germ theory denialism, Götaland theory, Communication theory, Organizational theory, International relations theory, Descriptivist theory of names, Queer theory, Dynamical systems theory, Nordström's theory of gravitation, Practice theory, Economic Theory, Circumscription theory

Fringe theory, Molecular orbital theory, Morse–Kelley set theory, Unified field theory, Complexity theory and organizations, Theory of mind, C-K theory, F-theory, Theory of relativity, Theory (clothing retailer), Drive theory, Lie theory, Scalar–tensor theory, Psychoanalytic theory, Labeling theory, Heim theory, Coding theory, Cannon–Bard theory, Social theory, Strain theory (sociology), Quare theory, Cell theory, BCS theory, Vapnik–Chervonenkis theory, Interpolation theory, Emission theory (relativity), Inter-universal Teichmüller theory, Statistical theory, Continuity theory, Seiberg–Witten theory, Outline of critical theory, Caloric theory, Literary theory, Quantum field theory, Equity theory, Valence bond theory, Evolution as fact and theory, Lawvere theory, Conspiracy theory, Causal theory of reference, Type II string theory, Theory of Colours, Path–goal theory, Temporal theory (hearing), Twisted K-theory, Pattern theory, Germ theory of disease, Sociological theory, Actor–network theory, Theory of a Deadman

Theory, Stable theory, Set theory, Theory of computation, Superstring theory, Critical theory, Grounded theory, Theory (mathematical logic), Theory X and Theory Y, M-theory, Computability theory, String theory, Theory-theory, Type theory, Scientific theory, Model theory, Theory of everything, Twistor theory, Game theory, Number theory, Decision theory, Gauge theory, Information theory, Naive set theory, Systems theory, Intuitionistic type theory, Probability theory, Group theory, Negotiation theory, Germ theory denialism, Götaland theory, Communication theory, Organizational theory, International relations theory, Descriptivist theory of names, Queer theory, Dynamical systems theory, Nordström's theory of gravitation, Practice theory, Economic Theory, Circumscription theory, Fringe theory, Molecular orbital theory, Morse–Kelley set theory, Unified field theory, Complexity theory and organizations, Theory of mind, C-K theory, F-theory, Theory of relativity, Theory (clothing retailer), Drive theory, Lie theory, Scalar–tensor theory, Psychoanalytic theory, Labeling theory, Heim theory, Coding theory, Cannon–Bard theory, Social theory, Strain theory (sociology), Quare theory, Cell theory, BCS theory, Vapnik–Chervonenkis theory, Interpolation theory, Emission theory (relativity), Inter-universal Teichmüller theory, Statistical theory, Continuity theory, Seiberg–Witten theory, Outline of critical theory, Caloric theory, Literary theory, Quantum field theory, Equity theory, Valence bond theory, Evolution as fact and theory, Lawvere theory, Conspiracy theory, Causal theory of reference, Type II string theory, Theory of Colours, Path–goal theory, Temporal theory (hearing), Twisted K-theory, Pattern theory, Germ theory of disease, Sociological theory, Actor–network theory, Theory of a Deadman, Heterotic string theory, Theory of art, Contract theory, Bisexual theory, Transformational theory, Zermelo set theory, Chern–Simons theory, Regality theory, Matrix string theory, Dual-coding theory, Introduction to M-theory, Yang–Mills theory, Transition state theory, Graph theory, Postdevelopment theory, Miasma theory, Perturbation theory, Subjective theory of value, Development theory, Set theory (music), Liouville field theory, Representation theory, Journal of Combinatorial Theory, Potential theory, Dependency theory, Combinatorial game theory, Singularity theory, Bow-wow theory, K-theory, Ring theory, A Theory of Justice, Grand Unified Theory, Algorithmic learning theory, Kaluza–Klein theory, Theory of forms, Control theory, Ginzburg–Landau theory, Optimality theory, Constructive set theory, Labor theory of value, Free-radical theory of aging, Brans–Dicke theory, Theory-ladenness, IEEE Transactions on Information Theory, ∞-Chern–Weil theory, Pecking order theory, Film theory, Automata theory, KK-theory, Theory of Change, Dempster–Shafer theory, Journal of Approximation Theory, Quantity theory of money, Einstein–Cartan theory, Identity theory, Theory of planned behavior, Instructional theory, Kripke–Platek set theory, Homotopy type theory, Normalization process theory