The following pages link to Yan Zhang (Q897474):
Displaying 35 items.
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- Specifying causality in action theories: A default logic approach (Q1575839) (← links)
- Applying the persistent set approach in temporal reasoning (Q1924730) (← links)
- Inter-definability of Horn contraction and Horn revision (Q2363417) (← links)
- Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
- A rule based knowledge transaction model for mobile environments (Q2509213) (← links)
- (Q2766987) (← links)
- (Q2772497) (← links)
- (Q3046839) (← links)
- A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints (Q3056917) (← links)
- A Logic Model for Temporal Authorization Delegation with Negation (Q3404412) (← links)
- Updating Epistemic Logic Programs (Q3623225) (← links)
- (Q3624112) (← links)
- (Q3624168) (← links)
- Translating Preferred Answer Set Programs to Propositional Logic (Q3643132) (← links)
- (Q4349583) (← links)
- Handling defeasibilities in action domains (Q4452598) (← links)
- Two results for prioritized logic programming (Q4452603) (← links)
- (Q4475200) (← links)
- (Q4708197) (← links)
- (Q4781958) (← links)
- (Q4800162) (← links)
- (Q4829342) (← links)
- (Q4940929) (← links)
- Logic program-based updates (Q5277753) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
- Disjunctive logic programs with existential quantification in rule heads (Q5398295) (← links)
- A Logic Approach for LTL System Modification (Q5450882) (← links)
- Information Security and Privacy (Q5473550) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473980) (← links)
- (Q5692336) (← links)
- (Q5692348) (← links)
- Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes (Q5742242) (← links)
- AI 2005: Advances in Artificial Intelligence (Q5898019) (← links)
- Loop restricted existential rules and first-order rewritability for query answering (Q6636650) (← links)
