| Publication | Date of Publication | Type |
|---|
Witnesses for Answer Sets of Logic Programs
ACM Transactions on Computational Logic | 2023-04-05 | Paper |
| scientific article; zbMATH DE number 7618611 (Why is no real title available?) | 2022-11-17 | Paper |
A geometric process warranty model using a combination policy
Communications in Statistics: Theory and Methods | 2022-05-23 | Paper |
Introducing computer science to high school students through logic programming
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
onlineSPARC: a programming environment for answer set programming
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
Vicious circle principle, aggregates, and formation of sets in ASP based languages
Artificial Intelligence | 2019-08-28 | Paper |
P-log: refinement and a new coherency condition
Annals of Mathematics and Artificial Intelligence | 2019-08-13 | Paper |
A geometric process repair model for a cold standby repairable system with imperfect delay repair and priority in use
Communications in Statistics: Theory and Methods | 2017-10-12 | Paper |
Vicious circle principle and formation of sets in ASP based languages
(available as arXiv preprint) | 2017-09-05 | Paper |
An optimal age-replacement policy for a simple repairable system with delayed repair
Communications in Statistics: Theory and Methods | 2017-05-02 | Paper |
An extended geometric process repair model with delayed repair and slight failure type
Communications in Statistics: Theory and Methods | 2017-04-27 | Paper |
Optimal replacement policy for a two-dissimilar-component cold standby system with different repair actions
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2016-04-12 | Paper |
P. van Beek and R. Dechter's theorem on constraint looseness and local consistency
Journal of the ACM | 2015-11-12 | Paper |
Vicious circle principle and logic programs with aggregates
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
A geometric process model for a single-unit system with limit repair time
Journal of Southeast University. Natural Science Edition | 2014-11-03 | Paper |
A geometric process repair model for a two-component system with shock damage interaction
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2014-07-29 | Paper |
Optimal repair-replacement policies for a system with two types of failures
European Journal of Operational Research | 2014-07-27 | Paper |
An optimal replacement policy for repairable cold standby system with priority in use
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2014-03-17 | Paper |
Towards answer set programming with sorts
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
A review of tree convex sets test
Computational Intelligence | 2012-11-15 | Paper |
A bivariate optimal replacement policy for a cold standby repairable system with preventive repair
Applied Mathematics and Computation | 2012-06-11 | Paper |
An extended replacement policy for a deteriorating system with multi-failure modes
Applied Mathematics and Computation | 2011-12-29 | Paper |
Solving functional constraints by variable substitution
Theory and Practice of Logic Programming | 2011-06-15 | Paper |
An optimal repair-replacement policy for a cold standby system with use priority
Applied Mathematical Modelling | 2011-05-10 | Paper |
An optimal replacement policy for a multistate degenerative simple system
Applied Mathematical Modelling | 2010-12-14 | Paper |
A bivariate mixed policy for a simple repairable system based on preventive repair and failure repair
Applied Mathematical Modelling | 2010-04-24 | Paper |
Reliability analysis for a \(k/n(F)\) system with repairable repair-equipment
Applied Mathematical Modelling | 2010-04-24 | Paper |
A bivariate optimal replacement policy for a cold standby repairable system with repair priority
Naval Research Logistics | 2010-03-15 | Paper |
| scientific article; zbMATH DE number 5670886 (Why is no real title available?) | 2010-02-12 | Paper |
Solving connected row convex constraints by variable elimination
Artificial Intelligence | 2009-09-14 | Paper |
A geometric process repair model for a series repairable system with k-dissimilar components
Applied Mathematical Modelling | 2009-08-21 | Paper |
Properties of tree convex constraints
Artificial Intelligence | 2009-07-17 | Paper |
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
scientific article; zbMATH DE number 5547861 (Why is no real title available?)
(available as arXiv preprint) | 2009-04-28 | Paper |
Efficient Algorithms for Functional Constraints
Logic Programming | 2009-01-22 | Paper |
| The method of interactive group decision-making for AHP based on experts' dynamic weights | 2008-11-24 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
A geometrical process repair model for a repairable system with delayed repair
Computers & Mathematics with Applications | 2008-05-05 | Paper |
An optimal replacement policy for a two-component series system assuming geometric process repair
Computers & Mathematics with Applications | 2007-11-12 | Paper |
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence | 2007-10-23 | Paper |
A deteriorating cold standby repairable system with priority in use
European Journal of Operational Research | 2007-06-25 | Paper |
A discussion on ``A bivariate optimal replacement policy for a repairable system''
European Journal of Operational Research | 2007-01-09 | Paper |
| scientific article; zbMATH DE number 2219602 (Why is no real title available?) | 2005-10-27 | Paper |
A geometric process model for \(M/M/1\) queueing system with a repairable service station
European Journal of Operational Research | 2005-09-22 | Paper |
| Optimal replacement policy for a multistate repairable system | 2005-03-14 | Paper |
A shock model for the maintenance problem of a repairable system
Computers & Operations Research | 2004-11-12 | Paper |
Some limit theorems in geometric processes
Acta Mathematicae Applicatae Sinica. English Series | 2004-06-22 | Paper |
| scientific article; zbMATH DE number 1300115 (Why is no real title available?) | 2004-02-01 | Paper |
A geometric process equivalent model for a multistate degenerative system
European Journal of Operational Research | 2002-11-17 | Paper |
| Analysis for a consecutive-k-out-of-n: F repairable system with priority in repair | 2002-11-06 | Paper |
Optimal replacement policy for a deteriorating production system with preventive maintenance
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2002-10-23 | Paper |
Reliability of consecutive-<i>k</i>-out-of-<i>n</i>:<i>G</i>repairable system
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2002-08-20 | Paper |
Analysis of repairable consecutive-2-out-of-n : F systems with Markov dependence
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2002-08-20 | Paper |
| scientific article; zbMATH DE number 1782331 (Why is no real title available?) | 2002-08-15 | Paper |
| scientific article; zbMATH DE number 1782339 (Why is no real title available?) | 2002-08-15 | Paper |
| scientific article; zbMATH DE number 1782387 (Why is no real title available?) | 2002-08-15 | Paper |
| scientific article; zbMATH DE number 1761522 (Why is no real title available?) | 2002-07-01 | Paper |
| Repairable consecutive-k-out-of-n:F system with Markov dependence | 2001-01-30 | Paper |
| scientific article; zbMATH DE number 1533229 (Why is no real title available?) | 2000-11-20 | Paper |
| scientific article; zbMATH DE number 1420773 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1159160 (Why is no real title available?) | 1999-01-19 | Paper |
Analysis of repairable consecutive-2-out-of-n: F systems with Markov dependence
International Journal of Systems Science. Principles and Applications of Systems and Integration | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 1112363 (Why is no real title available?) | 1998-11-17 | Paper |
Analysis of a parallel system with two different units
Acta Mathematicae Applicatae Sinica. English Series | 1998-05-04 | Paper |
| Analysis of a two-component series system with a geometric process model | 1996-10-24 | Paper |
| scientific article; zbMATH DE number 800170 (Why is no real title available?) | 1995-12-12 | Paper |
A bivariate optimal replacement policy for a repairable system
Journal of Applied Probability | 1995-02-09 | Paper |
Some Problems on a One-Dimensional Correlated Random Walk with Various Types of Barrier
Journal of Applied Probability | 1992-08-13 | Paper |
| scientific article; zbMATH DE number 4197087 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4161810 (Why is no real title available?) | 1989-01-01 | Paper |
