GLukG logic and its application for non-monotonic reasoning

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic semantics based on GLukG.

Mauricio Osorio

Real-time Traffic

LANMR 2007 | Logical Reasoning | Non-monotonic Semantics | Paraconsistent Logic |

claim paper

» An AssumptionBased Framework for NonMonotonic Reasoning

» ManyValued NonMonotonic Modal Logics

» NonMonotonic Model Completion in Web Application Engineering

» Possibilistic Stable Model Computing

» On the Problem of Weighted MaxDLSAT and its Application to Image Labeling

» Description of the RACER System and its Applications

» Reasoning for Web document associations and its applications in site map construction

» A Linguistic TruthValued Temporal Reasoning Formalism and Its Implementation

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2007
Where	LANMR
Authors	Mauricio Osorio

Comments (0)

Sciweavers

GLukG logic and its application for non-monotonic reasoning

LANMR 2007 | Logical Reasoning | Non-monotonic Semantics | Paraconsistent Logic |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers