Publications | Omega-krr Group

Learning possibilistic dynamic systems from state transitions

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

Strong Forgetting in Hennessy-Milner Logic

Mon, 29 Jul 2024 00:00:00 +0000

Visual--Semantic Graph Matching Net for Zero-Shot Learning

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

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

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.

Witnesses for Answer Sets of Logic Programs

Sat, 01 Apr 2023 00:00:00 +0000

Knowledge forgetting in propositional (μ)-calculus

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

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

缺省逻辑与回答集程序

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

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

Computing propositional minimal models: minisat-based approaches

Fri, 01 Jan 2021 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.

Two New Approaches of Computing Propositional Minimal Models

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

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

On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach

Wed, 01 Jul 2020 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 Circumscription: A Preliminary Report

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

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

On Forgetting in Tractable Propositional Fragments

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

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

On Forgetting Postulates in Answer Set Programming

Thu, 01 Jan 2015 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.

On Forgetting in Fragments of Propositional Logic

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

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

Belief Change in Nonmonotonic Multi-Context Systems

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

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

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs

Tue, 01 Jan 2013 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.

Rule Revision in Normal DL Logic Programs

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.

Loop Formulas for Description Logic Programs

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

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

Normal Description Logic Programs as Default Theories

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 evaluable functions

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

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

A System for Normal Logic 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.

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.

Answer set programming with functions

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

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

Some Results on Order-Consistent Logic Program

Tue, 01 Jan 2008 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.