About: Default logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Type of non-monotonic logic

Property	Value
dbo:description	tipo di logica non monotona (it) type de logique non monotone (fr) tipo de lógica no monotónica (es) type of non-monotonic logic (en)
dbo:wikiPageExternalLink	ftp://www.cs.engr.uky.edu/cs/manuscripts/deres.ps http://ai2-s2-pdfs.s3.amazonaws.com/1823/70ad60f6f4ecbb3fb08b22fdba036918b836.pdf http://www.ijcai.org/Proceedings/95-2/Papers/064.pdf http://www.jair.org/media/664/live-664-1854-jair.pdf http://www.dbai.tuwien.ac.at/ftp/papers/gottlob/default2ael.ps http://www.info.univ-angers.fr/pub/stephan/Research/ARTICLES/IJAIT01.pdf http://www.info.univ-angers.fr/pub/stephan/Research/GADEL/GADEL_prolog.html https://web.archive.org/web/20040330051306/http:/www.ccl.umist.ac.uk/teaching/material/5005/node33.html https://web.archive.org/web/20040814123149/http:/www.rci.rutgers.edu/~cfs/472_html/Logic_KR/DefaultTheory.html https://web.archive.org/web/20050119052053/http:/www.cs.uni-potsdam.de/wv/xray/ https://web.archive.org/web/20170907081238/https:/pdfs.semanticscholar.org/1f1f/fbe00f68f9611ddedd7e0ee3771542b31835.pdf http://plato.stanford.edu/entries/reasoning-defeasible/
dbo:wikiPageWikiLink	dbc:Non-classical_logic dbc:Logic_programming dbr:Fixed_point_(mathematics) dbr:First-order_logic dbr:Prolog dbr:Non-monotonic_logic dbc:Logical_calculi dbr:Propositional_logic dbr:Polynomial_hierarchy dbr:Propositional_formula dbr:Negation_as_failure dbr:Analysis_of_algorithms dbr:Autoepistemic_logic dbr:Answer_set_programming dbr:Abductive_reasoning dbr:Modal_logic dbr:Tautology_(logic) dbr:Richard_Nixon dbc:Knowledge_representation dbr:Nixon_diamond dbr:Closed-world_assumption dbr:Defeasible_logic dbr:Stanford_Encyclopedia_of_Philosophy dbr:Nondeterministic_algorithm dbr:Raymond_Reiter dbr:Quaker dbr:Entailment dbr:American_Republican dbr:Arxiv:2103.03198 dbr:Inconsistent
dbp:bot	medic (en)
dbp:date	2007-04-06 (xsd:date) 2013-05-09 (xsd:date) 2017-09-07 (xsd:date) May 2025 (en)
dbp:url	https://web.archive.org/web/20070406022627/http:/www.info.univ-angers.fr/pub/stephan/Research/GADEL/GADEL_prolog.html https://web.archive.org/web/20130509195950/http:/www.jair.org/media/664/live-664-1854-jair.pdf https://web.archive.org/web/20170907080953/http:/www.info.univ-angers.fr/pub/stephan/Research/ARTICLES/IJAIT01.pdf
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Math dbt:Dead_link dbt:Cbignore dbt:Mvar dbt:Webarchive dbt:Short_description
dct:subject	dbc:Non-classical_logic dbc:Logic_programming dbc:Logical_calculi dbc:Knowledge_representation
gold:hypernym	dbr:Logic
rdfs:label	Default logic (en) Lógica por defecto (es) Standardannahme (de) Defaultlogica (nl) Lógica default (pt) 缺省逻辑 (zh)
owl:sameAs	freebase:Default logic wikidata:Default logic dbpedia-nl:Default logic dbpedia-de:Default logic dbpedia-zh:Default logic dbpedia-pt:Default logic dbpedia-es:Default logic dbpedia-fa:Default logic dbpedia-global:Default logic
prov:wasDerivedFrom	wikipedia-en:Default_logic?oldid=1292509639&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Default_logic
is dbo:wikiPageRedirects of	dbr:Default_Logic dbr:Default_reasoning dbr:Default_theory
is dbo:wikiPageWikiLink of	dbr:Index_of_philosophy_articles_(D–H) dbr:Rule_Interchange_Format dbr:Artificial_intelligence dbr:Non-monotonic_logic dbr:Answer_set_programming dbr:Index_of_logic_articles dbr:Commonsense_knowledge_(artificial_intelligence) dbr:Hypothetical_syllogism dbr:Nixon_diamond dbr:Closed-world_assumption dbr:Debt_overhang dbr:Glossary_of_artificial_intelligence dbr:Defeasible_logic dbr:Frame_problem dbr:Raymond_Reiter dbr:Stable_model_semantics dbr:Outline_of_artificial_intelligence dbr:Luigia_Carlucci_Aiello dbr:Default_Logic dbr:Default_reasoning dbr:Default_theory
is foaf:primaryTopic of	wikipedia-en:Default_logic