A framework for knowledge-based control. - Spyros G. Tzafestas; Antoni Ligeza (J. Intell. Robotic Syst., 1989)

Dynamic Backward Reasoning Systems. - Antoni Ligeza (Artif. Intell., 1990)

A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems. - Antoni Ligeza (IJCAI, 1993)

Temporal Logic Based on Characteristic Functions. - Maroua Bouzid; Antoni Ligeza (KI, 1995)

Enhancing Search Efficiency in Diagnostic Reasoning Based on Causal Graphs Via Qualitative Probabilities. - Pilar Fuster-Parra; Antoni Ligeza; Josep Aguilar-Martin (ESM, 1996)

Temporal Causal Networks for Simulation and Diagnosis. - Maroua Bouzid; Antoni Ligeza (ICECCS, 1996)

Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution. - Antoni Ligeza (EUROVAV, 1997)

Towards Logical Analysis of Tabular Rule-Based Systems. - Antoni Ligeza (DEXA Workshop, 1998)

Statistic Criteria for Fuzzy Systems Qualitiy Evaluation. - Esteve del Acebo; Albert Oller; Josep Lluís de la Rosa; Antoni Ligeza (IEA/AIE (Vol. 2), 1998)

Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems. - Antoni Ligeza (EUROVAV, 1999)

Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems. - Trevor J. M. Bench-Capon; Donatella Castelli; Frans Coenen; Laura Devendeville-Brisoux; Barry Eaglestone; Nick J. Fiddian; W. Alex Gray; Antoni Ligeza; Anca I. Vermesan (Inf. Res., 1999)

Case-Based Reasoning within Tabular Systems: Extended Structural Data Representation and Partial Matching. - Stanislaw Zbroja; Antoni Ligeza (FQAS, 2000)

Temporal Causal Abduction. - Maroua Bouzid; Antoni Ligeza (Constraints An Int. J., 2000)

Validation and verification of knowledge-based systems: report on EUROVAV99. - Frans Coenen; Trevor J. M. Bench-Capon; Robin Boswell; Juliette Dibie-Barthélemy; Barry Eaglestone; Rik Gerrits; Éric Grégoire; Antoni Ligeza; Luis M. Laita; Mieczyslaw L. Owoc; Florence Sellini; Silvie Spreeuwenberg; et al. (Knowl. Eng. Rev., 2000)

Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems. - Antoni Ligeza; Igor Wojnicki; Grzegorz J. Nalepa (DEXA, 2001)

Toward logical analysis of tabular rule-based systems. - Antoni Ligeza (Int. J. Intell. Syst., 2001)

Granular Sets and Granular Relations: Towards a Higher Abstraction Level in Knowledge Representation. - Antoni Ligeza (Intelligent Information Systems, 2002)

Designing Reliable Web Security Systems Using Rule-Based Systems Approach. - Grzegorz J. Nalepa; Antoni Ligeza (AWIC, 2003)

Dual Resolution for Logical Reduction of Granular Tables. - Antoni Ligeza (IIS, 2003)

Reduction of Tabular Systems. - Antoni Ligeza; Marcin Szpyrka (ICAISC, 2004)

Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach. - Grzegorz J. Nalepa; Antoni Ligeza (AWIC, 2005)

Generating Low Cost Plans under Uncertainty and Temporal Constraints. - Bassam Baki; Maroua Bouzid; Antoni Ligeza (ICTAI, 2005)

Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications. - Maroua Bouzid; Antoni Ligeza (ICTAI, 2005)

Visual Design and On-line Verification of Tabular Rule-Based. - Antoni Ligeza; Grzegorz J. Nalepa (Leipziger Informatik-Tage, 2005)

Jelly view: a technology for arbitrarily advanced queries within RDBMS. - Igor Wojnicki; Antoni Ligeza (SAC, 2005)

Conceptual Modelling and Automated Implementation of Rule-Based Systems. - Grzegorz J. Nalepa; Antoni Ligeza (Software Engineering: Evolution and Emerging Technologies, 2005)

Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach. - Grzegorz J. Nalepa; Antoni Ligeza (FLAIRS, 2006)

A centralized planning technique with temporal constraints and uncertainty for multi-agent systems. - Bassam Baki; Maroua Bouzid; Antoni Ligeza; Abdel-Illah Mouaddib (J. Exp. Theor. Artif. Intell., 2006)

Logical Foundations for Rule-Based Systems, 2nd Ed.. - Antoni Ligeza (Springer, 2006)

Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems. - Antoni Ligeza; Grzegorz J. Nalepa (FLAIRS, 2007)

A Note on Granular Sets and Their Relation to Rough Sets. - Antoni Ligeza; Marcin Szpyrka (RSEISP, 2007)

XTT+ Rule Design Using the ALSV(FD). - Grzegorz J. Nalepa; Antoni Ligeza (RuleApps, 2008)

Granular Logic with Variables for Implementation of Extended Tabular Trees. - Antoni Ligeza; Grzegorz J. Nalepa (FLAIRS, 2008)

A rule-based approach to robust granular planning. - Sebastian Ernst; Antoni Ligeza (IMCSIT, 2008)

A New Approach to Multiple Fault Diagnosis: A Combination of Diagnostic Matrices, Graphs, Algebraic and Rule-Based Models. The Case of Two-Layer Models. - Antoni Ligeza; Jan Maciej Kóscielny (Int. J. Appl. Math. Comput. Sci., 2008)

Knowledge Representation for Intelligent and Error-Prone Execution of Robust Granular Plans. A Conceptual Study. - Sebastian Ernst; Antoni Ligeza (FLAIRS, 2009)

On ALSV Rules Formulation and Inference. - Grzegorz J. Nalepa; Antoni Ligeza (FLAIRS, 2009)

The HeKatE methodology. Hybrid engineering of intelligent systems. - Grzegorz J. Nalepa; Antoni Ligeza (Int. J. Appl. Math. Comput. Sci., 2010)

Proposal of Representing BPMN Diagrams with XTT2-Based Business Rules. - Krzysztof Kluza; Tomasz Maslanka; Grzegorz J. Nalepa; Antoni Ligeza (IDC, 2011)

Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language. - Marcin Szpyrka; Grzegorz J. Nalepa; Antoni Ligeza; Krzysztof Kluza (IDC, 2011)

Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration. - Antoni Ligeza; Weronika T. Adrian; Sebastian Ernst; Grzegorz J. Nalepa; Marcin Szpyrka; Michal Czapko; Pawel Grzesiak; Marcin Krzych (MCSS, 2011)

Traffic Danger Ontology for Citizen Safety Web System. - Jaroslaw Waliszko; Weronika T. Adrian; Antoni Ligeza (MCSS, 2011)

Algorithms for Rule Inference in Modularized Rule Bases. - Grzegorz J. Nalepa; Szymon Bobek; Antoni Ligeza; Krzysztof Kaczor (RuleML Europe, 2011)

HalVA - Rule Analysis Framework for XTT2 Rules. - Grzegorz J. Nalepa; Szymon Bobek; Antoni Ligeza; Krzysztof Kaczor (RuleML Europe, 2011)

Overview of Knowledge Formalization with XTT2 Rules. - Grzegorz J. Nalepa; Antoni Ligeza; Krzysztof Kaczor (RuleML Europe, 2011)

Formalization and Modeling of Rules Using the XTT2 Method. - Grzegorz J. Nalepa; Antoni Ligeza; Krzysztof Kaczor (Int. J. Artif. Intell. Tools, 2011)

A study of methodological issues in design and development of rule-based systems: proposal of a new approach. - Antoni Ligeza; Grzegorz J. Nalepa (WIREs Data Mining Knowl. Discov., 2011)

AI Approach to Formal Analysis of BPMN Models: Towards a Logical Model for BPMN Diagrams. - Antoni Ligeza; Tomasz Potempa (ABICT, 2012)

Distributed and Collaborative Knowledge Management Using an Ontology-Based System. - Weronika T. Adrian; Antoni Ligeza; Grzegorz J. Nalepa; Krzysztof Kaczor (AI4KM@ECAI, 2012)

Towards Collaborative Knowledge Engineering for Improving Local Safety in Urban Environment. - Antoni Ligeza; Weronika T. Adrian; Przemyslaw Ciezkowski (KESE@ECAI, 2012)

Artificial Intelligence for Knowledge Management with BPMN and Rules. - Antoni Ligeza; Tomasz Potempa (AI4KM@ECAI, 2012)

Improving Efficiency in Constraint Logic Programming Through Constraint Modeling with Rules and Hypergraphs. - Antoni Ligeza (FedCSIS, 2012)

AI Approach to Formal Analysis of BPMN Models. Towards a Logical Model for BPMN Diagrams. - Antoni Ligeza; Krzysztof Kluza; Grzegorz J. Nalepa; Tomasz Potempa (FedCSIS, 2012)

Web-Based Knowledge Acquisition and Management System Supporting Collaboration for Improving Safety in Urban Environment. - Weronika T. Adrian; Przemyslaw Ciezkowski; Krzysztof Kaczor; Antoni Ligeza; Grzegorz J. Nalepa (MCSS, 2012)

Inconsistency Handling in Collaborative Knowledge Management. - Weronika T. Adrian; Antoni Ligeza; Grzegorz J. Nalepa (FedCSIS, 2013)

A Hierarchical Approach for Configuring Business Processes. - Mateusz Baran; Krzysztof Kluza; Grzegorz J. Nalepa; Antoni Ligeza (FedCSIS, 2013)

Usefulness of Inconsistency in Collaborative Knowledge Authoring in Semantic Wiki. - Weronika T. Adrian; Grzegorz J. Nalepa; Antoni Ligeza (KICSS, 2013)

Rule-Based Knowledge Management in Social Threat Monitor. - Mateusz Baran; Antoni Ligeza (MCSS, 2013)

Fuzzy Logic for Preferences expressible by convolutions. - Krystian Jobczyk; Maroua Bouzid; Antoni Ligeza; Jerzy Karczmarczuk (ECAI, 2014)

A note on BPMN Analysis. Towards a Taxonomy of Selected Potential Anomalies. - Anna Mroczek; Antoni Ligeza (FedCSIS, 2014)

A Note on Machine Learning Approach to Analyze the Results of Pairwise Comparison Based Parametric Evaluation of Research Units. - Mateusz Baran; Konrad Kulakowski; Antoni Ligeza (ICAISC (2), 2014)

A Note on Systematic Conflict Generation in CA-EN-type Causal Structures. - Antoni Ligeza (CoRR, 2014)

On the quality evaluation of scientific entities in Poland supported by consistency-driven pairwise comparisons method. - Waldemar W. Koczkodaj; Konrad Kulakowski; Antoni Ligeza (Scientometrics, 2014)

Towards Constructive Abduction. - Antoni Ligeza (KEOD, 2015)

Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments. - Weronika T. Adrian; Nicola Leone; Antoni Ligeza; Marco Manna; Mateusz Slazynski (ICAISC, 2015)

Comparative Approach to the Multi-Valued Logic Construction for Preferences. - Krystian Jobczyk; Antoni Ligeza; Maroua Bouzid; Jerzy Karczmarczuk (ICAISC (1), 2015)

Temporal planning in terms of a fuzzy integral logic (FLI) versus temporal planning in PDDL. - Krystian Jobczyk; Antoni Ligeza (INISTA, 2015)

Fuzzy-temporal approach to the handling of temporal interval relations and preferences. - Krystian Jobczyk; Antoni Ligeza; Jerzy Karczmarczuk (INISTA, 2015)

Granular Rules and Rule Frames for Compact Knowledge Representation. - Antoni Ligeza (ISMIS, 2015)

Modeling and Analysis of Spatial Conflicts with Layered Competitive Cellular Automata. - Bernadetta Stachura-Terlecka; Antoni Ligeza (MCSS, 2015)

A Multi-level Hierarchical Approach for Configuring Business Processes. - Mateusz Baran; Krzysztof Kluza; Grzegorz J. Nalepa; Antoni Ligeza (Advances in ICT for Business, Industry and Public Sector, 2015)

A General Method of the Hybrid Controller Construction for Temporal Planning with Preferences. - Krystian Jobczyk; Antoni Ligeza (FedCSIS, 2016)

Overview of Time Issues with Temporal Logics for Business Process Models. - Krzysztof Kluza; Krystian Jobczyk; Piotr Wisniewski 003; Antoni Ligeza (FedCSIS, 2016)

Multi-Valued Preferential Halpern-Shoham logic for relations of Allen and preferences. - Krystian Adam Jobczyk; Antoni Ligeza (FUZZ-IEEE, 2016)

Towards a new convolution-based approach to the specification of STPU-solutions. - Krystian Adam Jobczyk; Antoni Ligeza (FUZZ-IEEE, 2016)

Why Systems of Temporal Logic Are Sometimes (Un)useful? - Krystian Jobczyk; Antoni Ligeza (ICAISC (2), 2016)

Selected Temporal Logic Systems: An Attempt at Engineering Evaluation. - Krystian Jobczyk; Antoni Ligeza; Krzysztof Kluza (ICAISC (1), 2016)

New Integral Approach to the Specification of STPU-Solutions. - Krystian Jobczyk; Antoni Ligeza; Krzysztof Kluza (ICAISC (2), 2016)

Bayesian network modeling: A case study of an epidemiologic system analysis of cardiovascular risk. - Pilar Fuster-Parra; P. Tauler; M. Bennasar-Veny; Antoni Ligeza; A. A. López-González; A. Aguiló (Comput. Methods Programs Biomed., 2016)

Mobile context-based framework for threat monitoring in urban environment with social threat monitor. - Szymon Bobek; Grzegorz J. Nalepa; Antoni Ligeza; Weronika T. Adrian; Krzysztof Kaczor (Multim. Tools Appl., 2016)

Constraint-Based Composition of Business Process Models. - Piotr Wisniewski 003; Krzysztof Kluza; Mateusz Slazynski; Antoni Ligeza (Business Process Management Workshops, 2017)

Constraint Programming for Constructive Abduction. A Case Study in Diagnostic Model-Based Reasoning. - Antoni Ligeza (DPS, 2017)

Decision Support System for Robust Urban Transport Management. - Piotr Wisniewski 003; Krzysztof Kluza; Antoni Ligeza (FedCSIS, 2017)

Comparison of Selected Modeling Notations for Process, Decision and System Modeling. - Krzysztof Kluza; Piotr Wisniewski 003; Krystian Jobczyk; Antoni Ligeza; Anna Suchenia (FedCSIS, 2017)

Overview of Verification Tools for Business Process Models. - Anna Suchenia; Piotr Wisniewski 003; Antoni Ligeza (FedCSIS (Communication Papers), 2017)

An Approach to Robust Urban Transport Management. Mixed Graph-Based Model for Decision Support. - Piotr Wisniewski 003; Antoni Ligeza (ICAISC (2), 2017)

STRIPS in Some Temporal-Preferential Extension. - Krystian Jobczyk; Antoni Ligeza (ICAISC (1), 2017)

Dynamic Epistemic Preferential Logic of Action. - Krystian Jobczyk; Antoni Ligeza (ICAISC (2), 2017)

Multi-valued Extension of Putnam-Davis Procedure. - Krystian Jobczyk; Antoni Ligeza (ICAISC (2), 2017)

Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models. - Anna Suchenia; Krzysztof Kluza; Krystian Jobczyk; Piotr Wisniewski 003; Michal Wypych; Antoni Ligeza (ICAISC (2), 2017)

An Experiment in Causal Structure Discovery. A Constraint Programming Approach. - Antoni Ligeza (ISMIS, 2017)

Performance evaluation of rule-based expert systems: An example from medical billing domain. - Umair Abdullah; Antoni Ligeza; Kashif Zafar (Expert Syst. J. Knowl. Eng., 2017)

Towards Automated Process Modeling Based on BPMN Diagram Composition. - Piotr Wisniewski 003; Krzysztof Kluza; Antoni Ligeza (Business Process Management Workshops, 2018)

Generation of Synthetic Business Process Traces using Constraint Programming. - Piotr Wisniewski 003; Krzysztof Kluza; Antoni Ligeza; Anna Suchenia (FedCSIS, 2018)

An Epistemic Halpern-Shoham Logic for Gradable Justification. - Krystian Adam Jobczyk; Antoni Ligeza (FUZZ-IEEE, 2018)

Constraint-Based Identification of Complex Gateway Structures in Business Process Models. - Piotr Wisniewski 003; Antoni Ligeza (ICAISC (2), 2018)

Temporal Traveling Salesman Problem - in a Logic- and Graph Theory-Based Depiction. - Krystian Jobczyk; Piotr Wisniewski 003; Antoni Ligeza (ICAISC (2), 2018)

The Hybrid Plan Controller Construction for Trajectories in Sobolev Space. - Krystian Jobczyk; Antoni Ligeza (ICAISC (2), 2018)

A Multi-Agent Problem in a New Depiction. - Krystian Jobczyk; Antoni Ligeza (ICAISC (2), 2018)

Knowledge Representation in Model Driven Approach in Terms of the Zachman Framework. - Krzysztof Kluza; Piotr Wisniewski 003; Antoni Ligeza; Anna Suchenia; Joanna Wyrobek (ICAISC (2), 2018)

Automated Generation of Business Process Models using Constraint Logic Programming in Python. - Tymoteusz Paszun; Piotr Wisniewski 003; Krzysztof Kluza; Antoni Ligeza (FedCSIS, 2019)

An Epistemic Simplified Interval Temporal Logic of Moszkowski for Fuzzified Justification. - Krystian Adam Jobczyk; Antoni Ligeza (FUZZ-IEEE, 2019)

Using a Semantic-Based Support System for Merging Knowledge from Process Participants. - Krzysztof Kluza; Mateusz Kagan; Piotr Wisniewski 003; Weronika T. Adrian; Pawel Jemiolo; Anna Suchenia; Antoni Ligeza (AI4KM@IJCAI, 2019)

Overview of Generation Methods for Business Process Models. - Piotr Wisniewski 003; Krzysztof Kluza; Krystian Jobczyk; Bernadetta Stachura-Terlecka; Antoni Ligeza (KSEM (2), 2019)

From Attribute Relationship Diagrams to Process (BPMN) and Decision (DMN) Models. - Krzysztof Kluza; Piotr Wisniewski 003; Weronika T. Adrian; Antoni Ligeza (KSEM (1), 2019)

Understanding Decision Model and Notation: DMN Research Directions and Trends. - Krzysztof Kluza; Weronika T. Adrian; Piotr Wisniewski 003; Antoni Ligeza (KSEM (1), 2019)

The Natural Transformations with the Multi-Fuzzy Commutativity Condition. - Krystian Adam Jobczyk; Antoni Ligeza (FUZZ-IEEE, 2020)

Extended Knowledge Graphs: A Conceptual Study. - Weronika T. Adrian; Marek Adrian; Krzysztof Kluza; Bernadetta Stachura-Terlecka; Antoni Ligeza (KEOD, 2020)

Tracing the Evolution of Approaches to Semantic Similarity Analysis. - Weronika T. Adrian; Sebastian Skoczen; Szymon Majkut; Krzysztof Kluza; Antoni Ligeza (KEOD, 2020)

A Fuzzy Multi-Agent Problem in a Conceptual and Operational Depiction. - Krystian Jobczyk; Antoni Ligeza (ICAISC (2), 2020)

Generating Descriptions in Polish Language for BPMN Business Process Models. - Krzysztof Kluza; Maciej Znamirowski; Piotr Wisniewski 003; Pawel Jemiolo; Antoni Ligeza (ICAISC (2), 2020)

Explainable Artificial Intelligence. Model Discovery with Constraint Programming. - Antoni Ligeza; Pawel Jemiolo; Weronika T. Adrian; Mateusz Slazynski; Marek Adrian; Krystian Jobczyk; Krzysztof Kluza; Bernadetta Stachura-Terlecka; Piotr Wisniewski 003 (ISMIS (Industrial Paper), 2020)

A Fuzzy Multi-Agent Problem: A General Depiction and its Logic Programming-based Application. - Krystian Jobczyk; Patryk Galczynski; Antoni Ligeza (Computación y Sistemas, 2020)

The Fuzzy Relations between Intervals in a Convolution-based Depiction. - Krystian Jobczyk; Antoni Ligeza (Res. Comput. Sci., 2020)

Towards a Web-Based Platform Supporting the Recomposition of Business Processes. - Piotr Wisniewski 003; Agata Bujak; Krzysztof Kluza; Anna Suchenia; Mateusz Zaremba; Pawel Jemiolo; Antoni Ligeza (ISM@FedCSIS, 2021)

Characteristic and comparison of UML, BPMN and EPC based on process models of a training company. - Marcin Niziol; Piotr Wisniewski 003; Krzysztof Kluza; Antoni Ligeza (FedCSIS (Position Papers), 2021)

Business Process Recomposition as a Way to Redesign Workflows Effectively. - Piotr Wisniewski 003; Krzysztof Kluza; Pawel Jemiolo; Antoni Ligeza; Anna Suchenia (FedCSIS, 2021)

Emotion Elicitation with Stimuli Datasets in Automatic Affect Recognition Studies - Umbrella Review. - Pawel Jemiolo; Dawid Storman; Barbara Gizycka; Antoni Ligeza (INTERACT (3), 2021)

Case Study of Designing Interface of the AGH Students Information Bulletin Work Support System. - Natalia Nitarska; Piotr Wisniewski 003; Krzysztof Kluza; Mateusz Zaremba; Antoni Ligeza (FedCSIS, 2022)

Recomposition of Process Choreographies Using a Graph-Based Model Repository. - Piotr Wisniewski 003; Krzysztof Kluza; Anna Suchenia; Leszek Szala; Antoni Ligeza (KSEM (1), 2022)

Modeling Empathy Episodes with ARD and DMN. - Weronika T. Adrian; Julia Ignacyk; Krzysztof Kluza; Miroslawa M. Dlugosz; Antoni Ligeza (KSEM (3), 2022)

Proposal of a Method for Creating a BPMN Model Based on the Data Extracted from a DMN Model. - Krzysztof Kluza; Piotr Wisniewski 003; Mateusz Zaremba; Weronika T. Adrian; Anna Suchenia; Leszek Szala; Antoni Ligeza (KSEM (2), 2022)

Datasets for Automated Affect and Emotion Recognition from Cardiovascular Signals Using Artificial Intelligence - A Systematic Review. - Pawel Jemiolo; Dawid Storman; Maria Mamica; Mateusz Szymkowski; Wioletta Zabicka; Magdalena Wojtaszek-Glówka; Antoni Ligeza (Sensors, 2022)

Supporting Food Computing with Ontologies and Artificial Intelligence Methods for Sustainability. - Weronika T. Adrian; Julia Ignacyk; Katarzyna Pyrczak; Krzysztof Kluza; Piotr Wisniewski 003; Antoni Ligeza (AI4KMES@ECAI, 2023)

In Search for Model-Driven eXplainable Artificial Intelligence. - Antoni Ligeza; Dominik Sepiolo (AI4KMES@ECAI, 2023)

Food Ontologies and Ontological Reasoning in Food Domain for Sustainability. - Weronika T. Adrian; Katarzyna Pyrczak; Krzysztof Kluza; Antoni Ligeza (ECAI Workshops (2), 2023)

Towards Model-Driven Explainable Artificial Intelligence. An Experiment with Shallow Methods Versus Grammatical Evolution. - Dominik Sepiolo; Antoni Ligeza (ECAI Workshops (2), 2023)

Order Selection Methodology of OMG Diagrams in Teaching Designing Information Systems. - Anna Suchenia; Karol Suchenia; Marek Adrian; Krystian Jobczyk; Piotr Wisniewski 003; Antoni Ligeza (BPM (Blockchain and RPA Forum), 2024)

Model Discovery with Grammatical Evolution. An Experiment with Prime Numbers. - Jakub Skrzynski; Dominik Sepiolo; Antoni Ligeza (CoRR, 2025)