Search Results for author:
Found 7 papers, 0 papers with code
Function-words Enhanced Attention Networks for Few-Shot Inverse Relation Classification
The relation classification is to identify semantic relations between two entities in a given text.
Knowledge Compilation in Multi-Agent Epistemic Logics
Epistemic logics are a primary formalism for multi-agent systems but major reasoning tasks in such epistemic logics are intractable, which impedes applications of multi-agent epistemic logics in automatic planning.
Syntax-Preserving Belief Change Operators for Logic Programs
Recent methods have adapted the well-established AGM and belief base frameworks for belief change to cover belief revision in logic programs.
Preferential Multi-Context Systems
In a given PMCS, its contexts are divided into several parts according to the total preorder relation over them, moreover, only information flows from a context to ones of the same part or less preferred parts are allowed to occur.
Random Logic Programs: Linear Model
This paper proposes a model, the linear model, for randomly generating logic programs with low density of rules and investigates statistical properties of such random logic programs.
An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
In this paper we investigate forgetting in disjunctive logic programs, where forgetting an atom from a program amounts to a reduction in the signature of that program.
A Distance-based Paraconsistent Semantics for DL-Lite
DL-Lite is an important family of description logics.
