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
STRIPS in Some Temporal-Preferential Extension	2022-05-18	Paper
Dynamic Epistemic Preferential Logic of Action	2022-05-18	Paper
Multi-valued Extension of Putnam-Davis Procedure	2022-05-18	Paper
Towards Knowledge Compilation for Automated Diagnosis: A Qualitative, Model-Based Approach with Constraint Programming	2018-02-08	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
Comparative Approach to the Multi-Valued Logic Construction for Preferences	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Antoni Ligȩza