Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Logic_programming> }
Showing triples 1 to 99 of
99
with 100 triples per page.
- Abductive_logic_programming wikiPageWikiLink Category:Logic_programming.
- Advice_taker wikiPageWikiLink Category:Logic_programming.
- Answer_set_programming wikiPageWikiLink Category:Logic_programming.
- Autoepistemic_logic wikiPageWikiLink Category:Logic_programming.
- Belief_revision wikiPageWikiLink Category:Logic_programming.
- Circumscription_(logic) wikiPageWikiLink Category:Logic_programming.
- Clause_(logic) wikiPageWikiLink Category:Logic_programming.
- Closed-world_assumption wikiPageWikiLink Category:Logic_programming.
- Coinduction wikiPageWikiLink Category:Logic_programming.
- Concurrent_constraint_logic_programming wikiPageWikiLink Category:Logic_programming.
- Concurrent_logic_programming wikiPageWikiLink Category:Logic_programming.
- Conflict_resolution_strategy wikiPageWikiLink Category:Logic_programming.
- Constraint_logic_programming wikiPageWikiLink Category:Logic_programming.
- Cut_(logic_programming) wikiPageWikiLink Category:Logic_programming.
- Default_logic wikiPageWikiLink Category:Logic_programming.
- Defeasible_logic wikiPageWikiLink Category:Logic_programming.
- Defeasible_reasoning wikiPageWikiLink Category:Logic_programming.
- Dis-unification_(computer_science) wikiPageWikiLink Category:Logic_programming.
- Event_calculus wikiPageWikiLink Category:Logic_programming.
- Frame_problem wikiPageWikiLink Category:Logic_programming.
- Functional_logic_programming wikiPageWikiLink Category:Logic_programming.
- Guarded_Command_Language wikiPageWikiLink Category:Logic_programming.
- Higher-order_abstract_syntax wikiPageWikiLink Category:Logic_programming.
- Indeterminacy_in_concurrent_computation wikiPageWikiLink Category:Logic_programming.
- Inductive_programming wikiPageWikiLink Category:Logic_programming.
- Logic_programming wikiPageWikiLink Category:Logic_programming.
- Narrowing_of_algebraic_value_sets wikiPageWikiLink Category:Logic_programming.
- Negation_as_failure wikiPageWikiLink Category:Logic_programming.
- Occurs_check wikiPageWikiLink Category:Logic_programming.
- Open-world_assumption wikiPageWikiLink Category:Logic_programming.
- Production_system_(computer_science) wikiPageWikiLink Category:Logic_programming.
- Qualification_problem wikiPageWikiLink Category:Logic_programming.
- Ramification_problem wikiPageWikiLink Category:Logic_programming.
- Reasoning_system wikiPageWikiLink Category:Logic_programming.
- SLD_resolution wikiPageWikiLink Category:Logic_programming.
- Scientific_community_metaphor wikiPageWikiLink Category:Logic_programming.
- Situation_calculus wikiPageWikiLink Category:Logic_programming.
- Stable_model_semantics wikiPageWikiLink Category:Logic_programming.
- Structural_synthesis_of_programs wikiPageWikiLink Category:Logic_programming.
- Substitution_(logic) wikiPageWikiLink Category:Logic_programming.
- Term_indexing wikiPageWikiLink Category:Logic_programming.
- Unification_(computer_science) wikiPageWikiLink Category:Logic_programming.
- Warren_Abstract_Machine wikiPageWikiLink Category:Logic_programming.
- Well-founded_semantics wikiPageWikiLink Category:Logic_programming.
- Yale_shooting_problem wikiPageWikiLink Category:Logic_programming.
- 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.
- Concurrent_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_(computer_science) 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.
- Term_indexing 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.