Yan Zhang

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Loop restricted existential rules and first-order rewritability for query answering	2024-11-12	Paper
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
Ordered completion for first-order logic programs on finite structures	2012-05-23	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
Two results for prioritized logic programming	2004-03-01	Paper
Handling defeasibilities in action domains	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

This page was built for person: Yan Zhang