New generation systems for non monotonic reasoning... Its expressive power is suitable for non monotonic reasoning, but the counterpart is its very high level of computational complexity....
Non-monotonic reasoning with logic programmingOur purpose is to exhibit a modular systematic method of representing non-- monotonic reasoning problems with the Well Founded Semantics WFS of extended logic programs augmented with eXplicit negation (WFSX), augmented by its Contradiction Removal Semantics...
New generation systems for non-monotonic reasoning... Its expressive power is suitable for non monotonic reasoning, but the counterpart is its very high level of computational complexity....
Non-monotonic reasoning with logic programming AbstractOur purpose is to exhibit a modular systematic method of representing non-monotonic reasoning problems with the Well-Founded Semantics WFS of extended logic programs augmented with eXplicit negation (WFSX), augmented by its Contradiction Removal Semantics...