Yan Zhang

Available identifiers

zbMath Open zhang.yan.4MaRDI QIDQ897474

List of research outcomes

Publication	Date of Publication	Type
Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes	2019-05-17	Paper
Inter-definability of Horn contraction and Horn revision	2017-07-19	Paper
Expressiveness of Logic Programs under the General Stable Model Semantics	2017-07-13	Paper
Logic program-based updates	2017-07-12	Paper
Decidability of logics based on an indeterministic metric tense logic	2015-12-07	Paper
Disjunctive logic programs with existential quantification in rule heads	2014-02-27	Paper
A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints	2010-11-23	Paper
A Logic Model for Temporal Authorization Delegation with Negation	2010-02-09	Paper
Translating Preferred Answer Set Programs to Propositional Logic	2009-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3624112	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3624168	2009-04-28	Paper
Updating Epistemic Logic Programs	2009-04-16	Paper
A Logic Approach for LTL System Modification	2008-03-17	Paper
Knowledge updates: Semantics and complexity issues	2007-10-23	Paper
AI 2005: Advances in Artificial Intelligence	2006-11-14	Paper
A rule based knowledge transaction model for mobile environments	2006-10-19	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Information Security and Privacy	2006-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q5692336	2005-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5692348	2005-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4829342	2004-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q3046839	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4475200	2004-08-09	Paper
Handling defeasibilities in action domains	2004-03-01	Paper
Two results for prioritized logic programming	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4708197	2003-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4800162	2003-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4781958	2003-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q2766987	2002-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q2772497	2002-02-19	Paper
Specifying causality in action theories: A default logic approach	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4940929	2000-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4349583	1997-08-24	Paper
Applying the persistent set approach in temporal reasoning	1997-08-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yan Zhang