| Publication | Date of Publication | Type |
|---|
The Hybrid Plan Controller Construction for Trajectories in Sobolev Space
Artificial Intelligence and Soft Computing | 2023-03-09 | Paper |
Temporal Traveling Salesman Problem – in a Logic- and Graph Theory-Based Depiction
Artificial Intelligence and Soft Computing | 2023-03-09 | Paper |
Dynamic epistemic preferential logic of action
Artificial Intelligence and Soft Computing | 2022-05-18 | Paper |
Multi-valued extension of Putnam-Davis procedure
Artificial Intelligence and Soft Computing | 2022-05-18 | Paper |
STRIPS in some temporal-preferential extension
Artificial Intelligence and Soft Computing | 2022-05-18 | Paper |
Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming
Advances in Intelligent Systems and Computing | 2018-02-08 | Paper |
Comparative approach to the multi-valued logic construction for preferences
Artificial Intelligence and Soft Computing | 2016-06-17 | Paper |
Selected temporal logic systems: an attempt at engineering evaluation
Artificial Intelligence and Soft Computing | 2016-06-17 | Paper |
Why systems of temporal logic are sometimes (un)useful?
Artificial Intelligence and Soft Computing | 2016-06-17 | Paper |
New integral approach to the specification of STPU-solutions
Artificial Intelligence and Soft Computing | 2016-06-17 | Paper |
The HeKatE methodology. Hybrid engineering of intelligent systems
International Journal of Applied Mathematics and Computer Science | 2014-11-19 | Paper |
| A graphical tabular model for rule-based logic programming and verification | 2014-07-25 | Paper |
| A visual edition tool for design and verification of knowledge in rule-based systems | 2014-07-25 | Paper |
Models and tools for improving efficiency in constraint logic programming
Decision Making in Manufacturing and Services | 2012-09-12 | Paper |
BPMN -- a logical model and property analysis
Decision Making in Manufacturing and Services | 2012-08-19 | Paper |
| Structural model and reasoning in hierarchical diagnosis | 2010-01-27 | Paper |
| Adaptive granular planning for robust plan generation under uncertain traffic conditions | 2009-10-12 | Paper |
| Temporal specifications with FuXTUS. A hierarchical fuzzy approach | 2008-08-26 | Paper |
| Temporal specifications with XTUS. A hierarchical algebraic approach | 2008-08-26 | Paper |
Logical foundations for rule-based systems.
Studies in Computational Intelligence | 2006-03-27 | Paper |
Artificial Intelligence and Soft Computing - ICAISC 2004
Lecture Notes in Computer Science | 2005-04-12 | Paper |
| scientific article; zbMATH DE number 2120023 (Why is no real title available?) | 2004-11-29 | Paper |
| scientific article; zbMATH DE number 2079524 (Why is no real title available?) | 2004-07-28 | Paper |
| scientific article; zbMATH DE number 1755583 (Why is no real title available?) | 2002-06-16 | Paper |
Toward logical analysis of tabular rule-based systems
International Journal of Intelligent Systems | 2002-05-07 | Paper |
Temporal causal abduction
Constraints | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1376684 (Why is no real title available?) | 1999-12-09 | Paper |
| scientific article; zbMATH DE number 1241648 (Why is no real title available?) | 1999-05-18 | Paper |
| scientific article; zbMATH DE number 1071671 (Why is no real title available?) | 1998-01-19 | Paper |
| scientific article; zbMATH DE number 1006804 (Why is no real title available?) | 1997-11-10 | Paper |
| scientific article; zbMATH DE number 1036308 (Why is no real title available?) | 1997-07-17 | Paper |
| scientific article; zbMATH DE number 871197 (Why is no real title available?) | 1997-02-04 | Paper |
| scientific article; zbMATH DE number 825175 (Why is no real title available?) | 1996-02-14 | Paper |
| scientific article; zbMATH DE number 812533 (Why is no real title available?) | 1995-12-11 | Paper |
| scientific article; zbMATH DE number 205070 (Why is no real title available?) | 1993-08-30 | Paper |
Dynamic backward reasoning systems
Artificial Intelligence | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4127138 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4168283 (Why is no real title available?) | 1988-01-01 | Paper |
