Font Size:
a
A
A
Keyword [stable model semantics]
Result: 1 - 3 | Page: 1 of 1
1.
Decidability And Translatability Of Nonmonotonic Logics
2.
Research And Implement On Solver For First Order Circumscriptive Theories With Functions
3.
Query Answering With Existential Rules Repairs Of Inconsistent Ontologies Under Stable Model Semantics
<<First
<Prev Next>
Last>>
Jump to
