Nonmonotonic logics and their algebraic foundations

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the emergence of nonmonotonic logics and introduce two major nonmonotonic formalisms, default and autoepistemic logics. We then point out to algebraic principles behind the two logics and present an abstract algebraic theory that unifies them and provides an effective framework to study properties of nonmonotonic reasoning. We conclude with comments on other major research directions in nonmonotonic logics.

Original languageEnglish
Title of host publicationComputer Science Logic - 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Proceedings
Pages58-71
Number of pages14
DOIs
StatePublished - 2006
Event20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL - Szeged, Hungary
Duration: Sep 25 2006Sep 29 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4207 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
Country/TerritoryHungary
CitySzeged
Period9/25/069/29/06

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)

Fingerprint

Dive into the research topics of 'Nonmonotonic logics and their algebraic foundations'. Together they form a unique fingerprint.

Cite this