This HTML5 document contains 72 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n12http://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Inductive_programming
rdf:type
dbo:Place
rdfs:label
Inductive programming
rdfs:comment
Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses learning of typically declarative (logic or functional) and often recursive programs from incomplete specifications, such as input/output examples or constraints.
owl:sameAs
yago-res:Inductive_programming freebase:m.0_84w5f
dbp:wikiPageUsesTemplate
dbt:Cite_book dbt:Refbegin dbt:Cite_journal dbt:Reflist dbt:Programming_paradigms
dct:subject
dbc:Programming_paradigms dbc:Logic_programming dbc:Artificial_intelligence dbc:Machine_learning
gold:hypernym
dbr:Area
prov:wasDerivedFrom
n12:Inductive_programming?oldid=1045598231&ns=0
dbo:wikiPageID
41644056
dbo:wikiPageLength
23707
dbo:wikiPageRevisionID
1045598231
dbo:wikiPageWikiLink
dbr:Modal_logic dbr:Test-driven_development dbr:Action_language dbr:Cumulative_learning dbr:Structure_mining dbc:Logic_programming dbr:Functional_programming dbr:Computer_programming dbc:Artificial_intelligence dbr:Cognitive_science dbr:Artificial_intelligence dbr:Constraint_programming dbr:Genetic_programming dbr:Data_type dbr:Knowledge_representation_and_reasoning dbr:Knowledge_acquisition dbr:Generative_model dbr:Recursion dbr:Description_logic dbr:Tracing_(software) dbr:End-user_development dbr:Symbolic_artificial_intelligence dbr:Grammar_induction dbr:Declarative_programming dbr:Intelligent_tutoring_system dbr:Machine_learning dbr:Formal_specification dbr:Inductive_reasoning dbr:Probabilistic_programming dbr:Haskell_(programming_language) dbr:Turing_completeness dbr:International_Conference_on_Machine_Learning dbr:Automatic_programming dbr:Artificial_general_intelligence dbc:Programming_paradigms dbr:Functional_logic_programming dbr:Program_synthesis dbr:Abductive_logic_programming dbr:Prolog dbr:Recursive_data_type dbr:Relational_data_mining dbr:Constraint_(mathematics) dbc:Machine_learning dbr:Programming_by_demonstration dbr:Programming_by_example dbr:Reinforcement_learning dbr:Inductive_logic_programming dbr:Imperative_programming dbr:Evolutionary_programming dbr:Lisp_(programming_language) dbr:Logic_programming
dbo:abstract
Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses learning of typically declarative (logic or functional) and often recursive programs from incomplete specifications, such as input/output examples or constraints. Depending on the programming language used, there are several kinds of inductive programming. Inductive functional programming, which uses functional programming languages such as Lisp or Haskell, and most especially inductive logic programming, which uses logic programming languages such as Prolog and other logical representations such as description logics, have been more prominent, but other (programming) language paradigms have also been used, such as constraint programming or probabilistic programming.
foaf:isPrimaryTopicOf
n12:Inductive_programming