Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Logic_programming> . }
Showing items 1 to 52 of
52
with 100 items per page.
- Abductive_logic_programming subject Category:Logic_programming.
- Advice_taker subject Category:Logic_programming.
- Answer_set_programming subject Category:Logic_programming.
- Autoepistemic_logic subject Category:Logic_programming.
- Belief_revision subject Category:Logic_programming.
- Circumscription_(logic) subject Category:Logic_programming.
- Clause_(logic) subject Category:Logic_programming.
- Closed_world_assumption subject Category:Logic_programming.
- Coinduction subject Category:Logic_programming.
- Concurrent_constraint_logic_programming subject Category:Logic_programming.
- Conflict_resolution_strategy subject Category:Logic_programming.
- Constraint_logic_programming subject Category:Logic_programming.
- Cut_(logic_programming) subject Category:Logic_programming.
- Default_logic subject Category:Logic_programming.
- Defeasible_logic subject Category:Logic_programming.
- Defeasible_reasoning subject Category:Logic_programming.
- Dis-unification_(computer_science) subject Category:Logic_programming.
- Event_calculus subject Category:Logic_programming.
- Frame_problem subject Category:Logic_programming.
- Functional_logic_programming subject Category:Logic_programming.
- Guarded_Command_Language subject Category:Logic_programming.
- Higher-order_abstract_syntax subject Category:Logic_programming.
- Indeterminacy_in_concurrent_computation subject Category:Logic_programming.
- Inductive_programming subject Category:Logic_programming.
- Logic_programming subject Category:Logic_programming.
- Narrowing_of_algebraic_value_sets subject Category:Logic_programming.
- Negation_as_failure subject Category:Logic_programming.
- Occurs_check subject Category:Logic_programming.
- Open_world_assumption subject Category:Logic_programming.
- Production_system subject Category:Logic_programming.
- Qualification_problem subject Category:Logic_programming.
- Ramification_problem subject Category:Logic_programming.
- Reasoning_system subject Category:Logic_programming.
- SLD_resolution subject Category:Logic_programming.
- Scientific_community_metaphor subject Category:Logic_programming.
- Situation_calculus subject Category:Logic_programming.
- Stable_model_semantics subject Category:Logic_programming.
- Structural_synthesis_of_programs subject Category:Logic_programming.
- Substitution_(logic) subject Category:Logic_programming.
- Unification_(computer_science) subject Category:Logic_programming.
- Warren_Abstract_Machine subject Category:Logic_programming.
- Well-founded_semantics subject Category:Logic_programming.
- Yale_shooting_problem subject Category:Logic_programming.
- Category:Automated_theorem_proving broader Category:Logic_programming.
- Category:Belief_revision broader Category:Logic_programming.
- Category:Constraint_programming broader Category:Logic_programming.
- Category:Inductive_logic_programming broader Category:Logic_programming.
- Category:Logic_programming_languages broader Category:Logic_programming.
- Category:Logic_programming_researchers broader Category:Logic_programming.
- Category:Normal_forms_(logic) broader Category:Logic_programming.
- Category:Substitution_(logic) broader Category:Logic_programming.
- Category:Unification_(computer_science) broader Category:Logic_programming.