Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Non-monotonic logic
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==References== *{{cite journal |first1=N. |last1=Bidoit |first2=R. |last2=Hull |title=Minimalism, justification and non-monotonicity in deductive databases |journal=[[Journal of Computer and System Sciences]] |volume=38 |issue= 2|pages=290β325 |date=1989 |doi= 10.1016/0022-0000(89)90004-4|doi-access=free }} *{{cite book |first=G. |last=Brewka |title=Nonmonotonic Reasoning: Logical Foundations of Commonsense |publisher=Cambridge University Press |date=1991 |isbn=978-0-521-38394-3 |url={{GBurl|S41BSy8Xk44C}}}} *{{cite book |first1=G. |last1=Brewka |first2=J. |last2=Dix |first3=K. |last3=Konolige |title=Nonmonotonic Reasoning β An Overview |publisher=CSLI publications |location=Stanford |volume=73 |series=CSLI Lecture Notes |date=1997 |isbn=9781881526834 |pages= |url=http://www.informatik.uni-leipzig.de/~brewka/papers/nonmonbook.ps}} *{{cite journal |first1=M. |last1=Cadoli |first2=M. |last2=Schaerf |title=A survey of complexity results for non-monotonic logics |journal=[[Journal of Logic Programming]] |volume=17 |issue= 2β4|pages=127β60 |date=1993 |doi= 10.1016/0743-1066(93)90029-G|doi-access=free }} *{{cite journal |first1=F.M. |last1=Donini |first2=M. |last2=Lenzerini |first3=D. |last3=Nardi |first4=F. |last4=Pirri |first5=M. |last5=Schaerf |title=Nonmonotonic reasoning |journal=Artificial Intelligence Review |volume=4 |issue= 3|pages=163β210 |date=1990 |doi=10.1007/BF00140676 |s2cid=23575942 |url=}} *{{cite book |author1-link=Dov Gabbay |first=D.M. |last=Gabbay |chapter=Theoretical foundations for non-monotonic reasoning in expert systems |chapter-url=https://link.springer.com/chapter/10.1007/978-3-642-82453-1_15 |doi=10.1007/978-3-642-82453-1_15 |editor-last=Apt |editor-first=K.R. |title= Logics and Models of Concurrent Systems |publisher=Springer |location=NATO ASI Series, Series F: Computer and Systems Sciences |volume=13 |date=1985 |isbn=978-3-642-82453-1 |pages=439β457 |url=}} *{{cite book |editor-first=M.L. |editor-last=Ginsberg |title=Readings in Nonmonotonic Reasoning |publisher=Morgan Kaufmann |date=1987 |isbn=978-0-934613-45-3 }} *{{cite book |first=J.F. |last=Horty |chapter=Nonmonotonic Logic |chapter-url= |editor-first=Lou |editor-last=Goble |title=The Blackwell Guide to Philosophical Logic |publisher=Wiley |date=2001 |isbn=978-0-631-20692-7 |pages= |url=}} *{{cite book |first=W. |last=Εukaszewicz |title=Non-Monotonic Reasoning |publisher=Ellis-Horwood |date=1990 |isbn=978-0-13-624446-2 |pages= |url=}} *{{cite journal |first=C.G. |last=Lundberg |title=Made sense and remembered sense: Sensemaking through abduction |journal=Journal of Economic Psychology |volume=21 |issue=6 |pages=691β709 |date=2000 |doi= 10.1016/S0167-4870(00)00027-1|s2cid=11723465 |url=https://pdfs.semanticscholar.org/cce4/b4fa69ed4c7cf997f1fbf38542c247bb19ea.pdf |archive-url=https://web.archive.org/web/20170907080541/https://pdfs.semanticscholar.org/cce4/b4fa69ed4c7cf997f1fbf38542c247bb19ea.pdf |archive-date=2017-09-07 }} *{{cite book |first=D. |last=Makinson |title=Bridges from Classical to Nonmonotonic Logic |publisher=College Publications |date=2005 |isbn=9781904987000 |pages= |url=https://www.researchgate.net/publication/262934388}} *{{cite book |first1=W. |last1=Marek |first2=M. |last2=Truszczynski |title=Nonmonotonic Logics: Context-Dependent Reasoning |publisher=Springer |date=1993 |isbn=978-3-662-02906-0 |url={{GBurl|W-apCAAAQBAJ}}}} *{{cite book |first=A. Nait |last=Abdallah |title=The Logic of Partial Information |publisher=Springer |date=1995 |isbn=978-3-642-78160-5 |url={{GBurl|1QarCAAAQBAJ}}}} *{{cite journal |first1=Marek A. |last1=Suchenek |title=First-order syntactic characterizations of minimal entailment, domain-minimal entailment, and Herbrand entailment |journal=Journal of Automated Reasoning|publisher=Kluwer Academic Publishers / Springer |issue= 2|pages=237β263 |date=1993 |volume=10 |doi=10.1007/BF00881837 |url=https://www.deepdyve.com/lp/springer-journals/first-order-syntactic-characterizations-of-minimal-entailment-domain-f1OOm5TaaM|url-access=subscription }}
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)