Mingyi Zhang | Omega-krr Group

What's new is the evolution of propositional knowledge bases?

Mon, 01 Jan 2024 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions

Fri, 01 Jan 2021 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Logical Difference of Propositional Theories

Mon, 01 Jan 2018 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Learning Disjunctive Logic Programs from Interpretation Transition(🏆Best student paper🏆)

Fri, 01 Jan 2016 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Knowledge Forgetting in Answer Set Programming

Wed, 01 Jan 2014 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Embedding Functions into Disjunctive Logic Programs

Tue, 01 Jan 2013 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Forgetting for Answer Set Programs Revisited

Tue, 01 Jan 2013 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms

Sun, 01 Jan 2012 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Forgetting in Logic Programs under Strong Equivalence

Sun, 01 Jan 2012 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

The Loop Formula based Semantics of Description Logic Programs

Sun, 01 Jan 2012 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Answer set programming modulo theories

Sat, 01 Jan 2011 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Weight constraint programs with evaluable functions

Fri, 01 Jan 2010 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Weight Constraint Programs with Functions

Thu, 01 Jan 2009 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Consistency Property of Finite FC-Normal Logic Programs

Mon, 01 Jan 2007 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

First-Order Loop Formulas for Normal Logic Programs(🏆Ray Reiter Best paper🏆)

Sun, 01 Jan 2006 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

On Compatibility and Forward Chaining Normality

Sun, 01 Jan 2006 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.

Revision Programs with Explicit Negation

Thu, 01 Jan 2004 00:00:00 +0000

Add the full text or supplementary notes for the publication here using Markdown formatting.