| Publication | Date of Publication | Type |
|---|
| Signed dual tableaux for Kleene answer set programs | 2024-09-06 | Paper |
Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions
Artificial Intelligence | 2024-02-13 | Paper |
A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog}
Information Sciences | 2024-02-05 | Paper |
| Rough forgetting | 2022-11-09 | Paper |
Rough set reasoning using answer set programs
International Journal of Approximate Reasoning | 2021-10-27 | Paper |
| Local search for hop-constrained directed Steiner tree problem with application to UAV-based multi-target surveillance | 2019-05-28 | Paper |
General domain circumscription and its first-order reduction
Practical Reasoning | 2019-04-29 | Paper |
Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles
Annals of Operations Research | 2017-03-07 | Paper |
Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract)
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification
Acta Informatica | 2016-10-21 | Paper |
Stability, supportedness, minimality and Kleene answer set programs
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Automated generation of logical constraints on approximation spaces using quantifier elimination
Fundamenta Informaticae | 2013-11-28 | Paper |
Fuzzy if-then-unless rules and their implementation
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2012-02-17 | Paper |
| Iterative bounding \(\text{LAO}^*\) | 2011-05-11 | Paper |
Contextual coalitional games
Logic and Its Applications | 2010-12-17 | Paper |
Optimal placement of UV-based communications relay nodes
Journal of Global Optimization | 2010-11-12 | Paper |
Vision-based unmanned aerial vehicle navigation using geo-referenced information
EURASIP Journal on Advances in Signal Processing | 2010-04-24 | Paper |
Tolerance spaces and approximative representational structures
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Approximate databases: a support tool for approximate reasoning
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
| A corresponding framework between three-valued logics and similarity-based approximate reasoning | 2007-02-26 | Paper |
Rough Sets and Current Trends in Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Knowledge representation techniques. A rough set approach.
Studies in Fuzziness and Soft Computing | 2006-08-16 | Paper |
| scientific article; zbMATH DE number 2063020 (Why is no real title available?) | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 1983125 (Why is no real title available?) | 2003-09-18 | Paper |
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
| scientific article; zbMATH DE number 1670573 (Why is no real title available?) | 2001-12-04 | Paper |
| scientific article; zbMATH DE number 1546503 (Why is no real title available?) | 2000-12-19 | Paper |
| scientific article; zbMATH DE number 1536549 (Why is no real title available?) | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1490024 (Why is no real title available?) | 2000-08-13 | Paper |
| scientific article; zbMATH DE number 1163569 (Why is no real title available?) | 2000-06-14 | Paper |
| scientific article; zbMATH DE number 1416103 (Why is no real title available?) | 2000-03-16 | Paper |
Declarative PTIME queries for relational databases using quantifier elimination
Journal Of Logic And Computation | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1337728 (Why is no real title available?) | 1999-11-11 | Paper |
Computing circumscription revisited: A reduction algorithm
Journal of Automated Reasoning | 1997-09-17 | Paper |
| scientific article; zbMATH DE number 994057 (Why is no real title available?) | 1997-07-13 | Paper |
| scientific article; zbMATH DE number 487143 (Why is no real title available?) | 1994-06-22 | Paper |
| scientific article; zbMATH DE number 549977 (Why is no real title available?) | 1994-05-06 | Paper |
