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:
Non-monotonic logic
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Formal logic whose conclusion relation is not monotonic
Property
Value
dbo:
description
logique formelle dans laquelle l'opération d'implication n'est pas monotone
(fr)
lógica formal
(pt)
logica formale in cui l'operazione di implicazione non è monotona
(it)
formal logic whose conclusion relation is not monotonic
(en)
lógica formal en la que la operación de implicación no es monotónica
(es)
dbo:
wikiPageExternalLink
https://web.archive.org/web/20170907080541/https:/pdfs.semanticscholar.org/cce4/b4fa69ed4c7cf997f1fbf38542c247bb19ea.pdf
https://link.springer.com/chapter/10.1007/978-3-642-82453-1_15
https://dx.doi.org/10.1016/0022-0000%2889%2990004-4
https://dx.doi.org/10.1016/0743-1066%2893%2990029-G
https://www.researchgate.net/publication/262934388
https://pdfs.semanticscholar.org/cce4/b4fa69ed4c7cf997f1fbf38542c247bb19ea.pdf
http://www.informatik.uni-leipzig.de/~brewka/papers/nonmonbook.ps
dbo:
wikiPageWikiLink
dbc
:Non-classical_logic
dbr
:Logic_programming
dbc
:Formal_epistemology
dbr
:Monotonicity_of_entailment
dbc
:Reasoning
dbr
:Belief_revision
dbr
:Negation_as_failure
dbr
:Autoepistemic_logic
dbr
:Abductive_reasoning
dbc
:Belief_revision
dbr
:Default_logic
dbr
:Defeasible_reasoning
dbc
:Logic
dbr
:Formal_logic
dbr
:Rational_consequence_relation
dbr
:Stable_model_semantics
dbr
:Relation_(mathematics)
dbr
:Paraconsistent_logics
dbr
:Logical_conclusion
dbp:
wikiPageUsesTemplate
dbt
:Portal
dbt
:Cite_book
dbt
:Reflist
dbt
:Cite_journal
dbt
:More_footnotes_needed
dbt
:Cite_SEP
dbt
:PhilPapers
dbt
:InPho
dbt
:Non-classical_logic
dbt
:GBurl
dbt
:Short_description
dct:
subject
dbc
:Non-classical_logic
dbc
:Reasoning
dbc
:Epistemic_logic
dbc
:Belief_revision
gold:
hypernym
dbr
:Logic
rdfs:
label
Non-monotonic logic
(en)
المنطق غير الرتيب
(ar)
Nemonotona logiko
(eo)
Lógica no monotónica
(es)
非単調論理
(ja)
Logique non monotone
(fr)
Niet-monotone logica
(nl)
Lógica não monotônica
(pt)
Немонотонна логіка
(uk)
非单调逻辑
(zh)
owl:
sameAs
freebase
:Non-monotonic logic
wikidata
:Non-monotonic logic
dbpedia-nl
:Non-monotonic logic
dbpedia-fr
:Non-monotonic logic
dbpedia-zh
:Non-monotonic logic
dbpedia-ja
:Non-monotonic logic
dbpedia-pt
:Non-monotonic logic
dbpedia-es
:Non-monotonic logic
dbpedia-fa
:Non-monotonic logic
dbpedia-ar
:Non-monotonic logic
dbpedia-eo
:Non-monotonic logic
dbpedia-uk
:Non-monotonic logic
dbpedia-global
:Non-monotonic logic
dbr
:Non-monotonic logic
prov:
wasDerivedFrom
wikipedia-en
:Non-monotonic_logic?oldid=1292028081&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Non-monotonic_logic
is
dbo:
academicDiscipline
of
dbr
:Raymond_Reiter
is
dbo:
knownFor
of
dbr
:Sarit_Kraus
dbr
:Dov_Gabbay
is
dbo:
wikiPageRedirects
of
dbr
:Non-monotonic_reasoning
dbr
:Non-monotonic_reasoning
dbr
:Nonmonotonic_logic
dbr
:Nonmonotonic_reasoning
is
dbo:
wikiPageWikiLink
of
dbr
:Prolog_syntax_and_semantics
dbr
:Cyc
dbr
:Polarity_item
dbr
:Automated_reasoning
dbr
:Eduardo_Fermé
dbr
:Non-classical_logic
dbr
:Logic_programming
dbr
:History_of_artificial_intelligence
dbr
:Rule_Interchange_Format
dbr
:Monotonicity_of_entailment
dbr
:Artificial_intelligence
dbr
:Belief_revision
dbr
:Prolog
dbr
:Deontic_logic
dbr
:Georg_Gottlob
dbr
:Negation_as_failure
dbr
:Argument_technology
dbr
:Argumentation_theory
dbr
:Autoepistemic_logic
dbr
:Knowledge_representation_and_reasoning
dbr
:Answer_set_programming
dbr
:Logic
dbr
:Probabilism
dbr
:Index_of_philosophy_articles_(I–Q)
dbr
:Default_logic
dbr
:Index_of_logic_articles
dbr
:Proof_complexity
dbr
:Psychology_of_reasoning
dbr
:Reasoning_system
dbr
:Sarit_Kraus
dbr
:Argumentation_scheme
dbr
:Dov_Gabbay
dbr
:Hypothetical_syllogism
dbr
:Nixon_diamond
dbr
:Petkau_effect
dbr
:Araucaria_(software)
dbr
:Closed-world_assumption
dbr
:Ramification_problem
dbr
:Rational_consequence_relation
dbr
:Glossary_of_artificial_intelligence
dbr
:Defeasible_logic
dbr
:Commonsense_reasoning
dbr
:Preferential_entailment
dbr
:Frame_problem
dbr
:Probabilistic_logic
dbr
:Timeline_of_artificial_intelligence
dbr
:Raymond_Reiter
dbr
:Drew_McDermott
dbr
:Keith_Clark_(computer_scientist)
dbr
:Keith_Stenning
dbr
:Qualification_problem
dbr
:Circumscription_(logic)
dbr
:Outline_of_artificial_intelligence
dbr
:Outline_of_logic
dbr
:G._Aldo_Antonelli
dbr
:GOFAI
dbr
:Extensions_of_First_Order_Logic
dbr
:Non-monotonic_reasoning
dbr
:Nonmonotonic_logic
dbr
:Nonmonotonic_reasoning
is
dbp:
fields
of
dbr
:Raymond_Reiter
is
dbp:
knownFor
of
dbr
:Sarit_Kraus
is
rdfs:
seeAlso
of
dbr
:Logical_consequence
is
foaf:
primaryTopic
of
wikipedia-en
:Non-monotonic_logic
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International