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
https://portal.mardi4nfdi.de/entity/Q5171087	2014-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q5171102	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
https://portal.mardi4nfdi.de/entity/Q5852426	2010-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q3181453	2009-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q3521784	2008-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q3521797	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