Pages that link to "Item:Q598245"

The following pages link to Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245):

Displaying 23 items.

• An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
• Approximating operators and semantics for abstract dialectical frameworks (Q490444) (← links)
• Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
• Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory (Q898737) (← links)
• Safe inductions and their applications in knowledge representation (Q1647517) (← links)
• Three-valued semantics for hybrid MKNF knowledge bases revisited (Q1677437) (← links)
• Fixpoint semantics for active integrity constraints (Q1693567) (← links)
• Fixed point semantics for stream reasoning (Q2046012) (← links)
• A fixed point theorem for non-monotonic functions (Q2257304) (← links)
• Flexible Approximators for Approximating Fixpoint Theory (Q2814522) (← links)
• Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)
• Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
• BOOLEAN FUZZY SETS (Q3401466) (← links)
• A Formal Theory of Justifications (Q3449209) (← links)
• Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (Q4559803) (← links)
• Well-founded operators for normal hybrid MKNF knowledge bases (Q4592713) (← links)
• Knowledge compilation of logic programs using approximation fixpoint theory (Q4592990) (← links)
• Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459) (← links)
• A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence (Q5172603) (← links)
• Judgment Aggregation in Abstract Dialectical Frameworks (Q5172622) (← links)
• On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
• Approximation Schemes in Logic and Artificial Intelligence (Q5505446) (← links)
• Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882) (← links)