| Publication | Date of Publication | Type |
|---|
Finite axiomatizability of transitive modal logics of finite depth and width with respect to proper-successor-equivalence
The Review of Symbolic Logic | 2025-02-07 | Paper |
Loop restricted existential rules and first-order rewritability for query answering
Journal Of Logic And Computation | 2024-11-12 | Paper |
Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes
Journal of Artificial Intelligence Research | 2019-05-17 | Paper |
Inter-definability of Horn contraction and Horn revision
Journal of Philosophical Logic | 2017-07-19 | Paper |
Expressiveness of logic programs under the general stable model semantics
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
Logic program-based updates
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Decidability of logics based on an indeterministic metric tense logic
Studia Logica | 2015-12-07 | Paper |
Disjunctive logic programs with existential quantification in rule heads
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Ordered completion for first-order logic programs on finite structures
Artificial Intelligence | 2012-05-23 | Paper |
A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints
Information Security and Cryptology | 2010-11-23 | Paper |
A logic model for temporal authorization delegation with negation
Lecture Notes in Computer Science | 2010-02-09 | Paper |
Translating Preferred Answer Set Programs to Propositional Logic
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
CTL model update for system modifications
(available as arXiv preprint) | 2009-04-28 | Paper |
scientific article; zbMATH DE number 5547963 (Why is no real title available?)
(available as arXiv preprint) | 2009-04-28 | Paper |
Updating Epistemic Logic Programs
Journal Of Logic And Computation | 2009-04-16 | Paper |
A Logic Approach for LTL System Modification
Lecture Notes in Computer Science | 2008-03-17 | Paper |
Knowledge updates: Semantics and complexity issues
Artificial Intelligence | 2007-10-23 | Paper |
AI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-14 | Paper |
A rule based knowledge transaction model for mobile environments
Information Sciences | 2006-10-19 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Information Security and Privacy
Lecture Notes in Computer Science | 2006-06-22 | Paper |
| scientific article; zbMATH DE number 2209377 (Why is no real title available?) | 2005-09-28 | Paper |
| scientific article; zbMATH DE number 2209386 (Why is no real title available?) | 2005-09-28 | Paper |
| scientific article; zbMATH DE number 2120043 (Why is no real title available?) | 2004-11-29 | Paper |
| scientific article; zbMATH DE number 2089443 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2084427 (Why is no real title available?) | 2004-08-09 | Paper |
Two results for prioritized logic programming
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Handling defeasibilities in action domains
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1929151 (Why is no real title available?) | 2003-06-17 | Paper |
| scientific article; zbMATH DE number 1890619 (Why is no real title available?) | 2003-05-18 | Paper |
| scientific article; zbMATH DE number 1836278 (Why is no real title available?) | 2003-03-20 | Paper |
| scientific article; zbMATH DE number 1696742 (Why is no real title available?) | 2002-04-25 | Paper |
| scientific article; zbMATH DE number 1708075 (Why is no real title available?) | 2002-02-19 | Paper |
Specifying causality in action theories: A default logic approach
Theoretical Computer Science | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1407674 (Why is no real title available?) | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1051243 (Why is no real title available?) | 1997-08-24 | Paper |
Applying the persistent set approach in temporal reasoning
Annals of Mathematics and Artificial Intelligence | 1997-08-17 | Paper |
