BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
 M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20120229T154850Z
DTSTART:20120307T140000Z
DTEND:20120307T153000Z
SUMMARY:Rules\, Inconsistencies and Nonmonotonicity
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}s1-gz8jiuv3
 -dy42a3
DESCRIPTION:Speaker: Professor Andrzej Szalas. University of Warsaw\n\nHo
 st: Renate Schmidt\n\nAbstract: \nIn this talk I will present an ongoing
  work on 4QL\, a recently developed rule-based query language with negat
 ion allowed in bodies and heads of rules. 4QL allows for incomplete and 
 inconsistent information and provides a simple to use and uniform framew
 ork for rule-based reasoning both monotonic and nonmonotonic. The constr
 ucts specific to 4QL are modules and external literals. They appear powe
 rful enough to express:\n- Open and Local Closed World Assumption (thus 
 also Closed World Assumption)\,\n- lightweight versions of other nonmono
 tonic/commonsense formalisms\, including variants of default reasoning\,
  autoepistemic reasoning\, circumscriptive reasoning\, etc.\n- applicati
 on-specific disambiguation of inconsistent information\, including defea
 sible reasoning.\n\n4QL is tractable w.r.t. data complexity and captures
  all tractable queries. It is therefore well-suited for applications mak
 ing use of commonsense reasoning techniques.\n\nThe talk is based on joi
 nt work by Jan Maluszynski and myself.\n\n\n
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Kilburn Lecture Theatre 1.4\, Kilburn Building\, Manchester
END:VEVENT
END:VCALENDAR