The following pages link to Dirk Vermeir (Q352962):
Displaying 50 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- A core language for fuzzy answer set programming (Q448947) (← links)
- Complexity of fuzzy answer set programming under Łukasiewicz semantics (Q465597) (← links)
- (Q702104) (redirect page) (← links)
- Extending answer sets for logic programming agents (Q702105) (← links)
- Aggregated fuzzy answer set programming (Q766043) (← links)
- Conceptual logic programs (Q854977) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- On recursion in ETOL systems (Q1137387) (← links)
- On ETOL systems with rank (Q1138388) (← links)
- Persistent ETOL systems (Q1143810) (← links)
- Fuzzy autoepistemic logic and its relation to fuzzy answer set programming (Q2351607) (← links)
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (Q2353984) (← links)
- An introduction to fuzzy answer set programming (Q2457803) (← links)
- (Q2738291) (← links)
- COMMUNICATING ANSWER SET PROGRAMS (Q2883071) (← links)
- EFFICIENT SOLVING OF TIME-DEPENDENT ANSWER SET PROGRAMS (Q2883077) (← links)
- Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach (Q2891285) (← links)
- Fuzzy Equilibrium Logic (Q2946682) (← links)
- Communicating ASP and the Polynomial Hierarchy (Q3003244) (← links)
- Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees (Q3011979) (← links)
- (Q3051396) (← links)
- A Fixpoint Semantics for Ordered Logic (Q3210906) (← links)
- (Q3309067) (← links)
- (Q3408142) (← links)
- Preferred answer sets for ordered logic programs (Q3426202) (← links)
- (Q3489485) (← links)
- Fuzzy Answer Set Programming (Q3533145) (← links)
- General Fuzzy Answer Set Programs (Q3638403) (← links)
- (Q3851643) (← links)
- (Q3902530) (← links)
- (Q3910022) (← links)
- (Q3920668) (← links)
- On Etol Systems with Finite Tree-Rank (Q3926054) (← links)
- Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models (Q4013252) (← links)
- (Q4028793) (← links)
- (Q4135009) (← links)
- (Q4135010) (← links)
- (Q4162679) (← links)
- On ETOL systems of finite index (Q4164846) (← links)
- On the effect of the finite index restriction on several families of grammars (Q4168092) (← links)
- On acceptors of iteration languages (Q4195973) (← links)
- (Q4236378) (← links)
- Robust semantics for argumentation frameworks (Q4242588) (← links)
- (Q4287504) (← links)
- (Q4375821) (← links)
- (Q4411719) (← links)
- (Q4415132) (← links)
- (Q4472447) (← links)
- (Q4536339) (← links)
