Antoni Ligȩza

Available identifiers

zbMath Open ligeza.antoniMaRDI QIDQ818318

List of research outcomes

Publication	Date of Publication	Type
The Hybrid Plan Controller Construction for Trajectories in Sobolev Space	2023-03-09	Paper
Temporal Traveling Salesman Problem – in a Logic- and Graph Theory-Based Depiction	2023-03-09	Paper
Dynamic epistemic preferential logic of action	2022-05-18	Paper
Multi-valued extension of Putnam-Davis procedure	2022-05-18	Paper
STRIPS in some temporal-preferential extension	2022-05-18	Paper
Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming	2018-02-08	Paper
Comparative approach to the multi-valued logic construction for preferences	2016-06-17	Paper
Selected temporal logic systems: an attempt at engineering evaluation	2016-06-17	Paper
Why systems of temporal logic are sometimes (un)useful?	2016-06-17	Paper
New integral approach to the specification of STPU-solutions	2016-06-17	Paper
The HeKatE methodology. Hybrid engineering of intelligent systems	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	2012-09-12	Paper
BPMN -- a logical model and property analysis	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.	2006-03-27	Paper
Artificial Intelligence and Soft Computing - ICAISC 2004	2005-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q4829318	2004-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4471522	2004-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4535475	2002-06-16	Paper
Toward logical analysis of tabular rule-based systems	2002-05-07	Paper
Temporal causal abduction	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4702681	1999-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4225096	1999-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4359001	1998-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4335964	1997-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4344718	1997-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4874615	1997-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4858176	1996-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4853792	1995-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q4695345	1993-08-30	Paper
Dynamic backward reasoning systems	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4206680	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3494887	1988-01-01	Paper

Research outcomes over time

This page was built for person: Antoni Ligȩza