Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International