Antoni Ligeza

Orcid: 0000-0002-6573-4246

According to our database1, Antoni Ligeza authored at least 125 papers between 1989 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Towards Model-Driven Explainable Artificial Intelligence. An Experiment with Shallow Methods Versus Grammatical Evolution.
Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

Food Ontologies and Ontological Reasoning in Food Domain for Sustainability.
Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

2022
Datasets for Automated Affect and Emotion Recognition from Cardiovascular Signals Using Artificial Intelligence - A Systematic Review.
Sensors, 2022

Proposal of a Method for Creating a BPMN Model Based on the Data Extracted from a DMN Model.
Proceedings of the Knowledge Science, Engineering and Management, 2022

Modeling Empathy Episodes with ARD and DMN.
Proceedings of the Knowledge Science, Engineering and Management, 2022

Recomposition of Process Choreographies Using a Graph-Based Model Repository.
Proceedings of the Knowledge Science, Engineering and Management, 2022

Case Study of Designing Interface of the AGH Students Information Bulletin Work Support System.
Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 2022

2021
Emotion Elicitation with Stimuli Datasets in Automatic Affect Recognition Studies - Umbrella Review.
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021

Business Process Recomposition as a Way to Redesign Workflows Effectively.
Proceedings of the 16th Conference on Computer Science and Intelligence Systems, 2021

Characteristic and comparison of UML, BPMN and EPC based on process models of a training company.
Proceedings of the Position and Communication Papers of the 16th Conference on Computer Science and Intelligence Systems, 2021

Towards a Web-Based Platform Supporting the Recomposition of Business Processes.
Proceedings of the Information Technology for Management: Business and Social Issues, 2021

2020
The Fuzzy Relations between Intervals in a Convolution-based Depiction.
Res. Comput. Sci., 2020

A Fuzzy Multi-Agent Problem: A General Depiction and its Logic Programming-based Application.
Computación y Sistemas, 2020

Explainable Artificial Intelligence. Model Discovery with Constraint Programming.
Proceedings of the Intelligent Systems in Industrial Applications, 2020

Generating Descriptions in Polish Language for BPMN Business Process Models.
Proceedings of the Artificial Intelligence and Soft Computing, 2020

A Fuzzy Multi-Agent Problem in a Conceptual and Operational Depiction.
Proceedings of the Artificial Intelligence and Soft Computing, 2020

Tracing the Evolution of Approaches to Semantic Similarity Analysis.
Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020

Extended Knowledge Graphs: A Conceptual Study.
Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020

The Natural Transformations with the Multi-Fuzzy Commutativity Condition.
Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019
Understanding Decision Model and Notation: DMN Research Directions and Trends.
Proceedings of the Knowledge Science, Engineering and Management, 2019

From Attribute Relationship Diagrams to Process (BPMN) and Decision (DMN) Models.
Proceedings of the Knowledge Science, Engineering and Management, 2019

Overview of Generation Methods for Business Process Models.
Proceedings of the Knowledge Science, Engineering and Management, 2019

Using a Semantic-Based Support System for Merging Knowledge from Process Participants.
Proceedings of the Artificial Intelligence for Knowledge Management, 2019

An Epistemic Simplified Interval Temporal Logic of Moszkowski for Fuzzified Justification.
Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019

Automated Generation of Business Process Models using Constraint Logic Programming in Python.
Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, 2019

2018
Knowledge Representation in Model Driven Approach in Terms of the Zachman Framework.
Proceedings of the Artificial Intelligence and Soft Computing, 2018

A Multi-Agent Problem in a New Depiction.
Proceedings of the Artificial Intelligence and Soft Computing, 2018

The Hybrid Plan Controller Construction for Trajectories in Sobolev Space.
Proceedings of the Artificial Intelligence and Soft Computing, 2018

Temporal Traveling Salesman Problem - in a Logic- and Graph Theory-Based Depiction.
Proceedings of the Artificial Intelligence and Soft Computing, 2018

Constraint-Based Identification of Complex Gateway Structures in Business Process Models.
Proceedings of the Artificial Intelligence and Soft Computing, 2018

An Epistemic Halpern-Shoham Logic for Gradable Justification.
Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

Generation of Synthetic Business Process Traces using Constraint Programming.
Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Towards Automated Process Modeling Based on BPMN Diagram Composition.
Proceedings of the Business Process Management Workshops, 2018

2017
Performance evaluation of rule-based expert systems: An example from medical billing domain.
Expert Syst. J. Knowl. Eng., 2017

An Experiment in Causal Structure Discovery. A Constraint Programming Approach.
Proceedings of the Foundations of Intelligent Systems - 23rd International Symposium, 2017

Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models.
Proceedings of the Artificial Intelligence and Soft Computing, 2017

Multi-valued Extension of Putnam-Davis Procedure.
Proceedings of the Artificial Intelligence and Soft Computing, 2017

Dynamic Epistemic Preferential Logic of Action.
Proceedings of the Artificial Intelligence and Soft Computing, 2017

STRIPS in Some Temporal-Preferential Extension.
Proceedings of the Artificial Intelligence and Soft Computing, 2017

An Approach to Robust Urban Transport Management. Mixed Graph-Based Model for Decision Support.
Proceedings of the Artificial Intelligence and Soft Computing, 2017

Overview of Verification Tools for Business Process Models.
Proceedings of the Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Comparison of Selected Modeling Notations for Process, Decision and System Modeling.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Decision Support System for Robust Urban Transport Management.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Constraint Programming for Constructive Abduction. A Case Study in Diagnostic Model-Based Reasoning.
Proceedings of the Advanced Solutions in Diagnostics and Fault Tolerant Control, 2017

Constraint-Based Composition of Business Process Models.
Proceedings of the Business Process Management Workshops, 2017

2016
Mobile context-based framework for threat monitoring in urban environment with social threat monitor.
Multim. Tools Appl., 2016

Bayesian network modeling: A case study of an epidemiologic system analysis of cardiovascular risk.
Comput. Methods Programs Biomed., 2016

New Integral Approach to the Specification of STPU-Solutions.
Proceedings of the Artificial Intelligence and Soft Computing, 2016

Selected Temporal Logic Systems: An Attempt at Engineering Evaluation.
Proceedings of the Artificial Intelligence and Soft Computing, 2016

Why Systems of Temporal Logic Are Sometimes (Un)useful?
Proceedings of the Artificial Intelligence and Soft Computing, 2016

Towards a new convolution-based approach to the specification of STPU-solutions.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

Multi-Valued Preferential Halpern-Shoham logic for relations of Allen and preferences.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

Overview of Time Issues with Temporal Logics for Business Process Models.
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

A General Method of the Hybrid Controller Construction for Temporal Planning with Preferences.
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2015
A Multi-level Hierarchical Approach for Configuring Business Processes.
Proceedings of the Advances in ICT for Business, Industry and Public Sector, 2015

Modeling and Analysis of Spatial Conflicts with Layered Competitive Cellular Automata.
Proceedings of the Multimedia Communications, Services and Security, 2015

Granular Rules and Rule Frames for Compact Knowledge Representation.
Proceedings of the Foundations of Intelligent Systems - 22nd International Symposium, 2015

Fuzzy-temporal approach to the handling of temporal interval relations and preferences.
Proceedings of the International Symposium on Innovations in Intelligent SysTems and Applications, 2015

Temporal planning in terms of a fuzzy integral logic (FLI) versus temporal planning in PDDL.
Proceedings of the International Symposium on Innovations in Intelligent SysTems and Applications, 2015

Comparative Approach to the Multi-Valued Logic Construction for Preferences.
Proceedings of the Artificial Intelligence and Soft Computing, 2015

Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments.
Proceedings of the Artificial Intelligence and Soft Computing, 2015

Towards Constructive Abduction.
Proceedings of the KEOD 2015, 2015

2014
On the quality evaluation of scientific entities in Poland supported by consistency-driven pairwise comparisons method.
Scientometrics, 2014

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

A Note on Machine Learning Approach to Analyze the Results of Pairwise Comparison Based Parametric Evaluation of Research Units.
Proceedings of the Artificial Intelligence and Soft Computing, 2014

A note on BPMN Analysis. Towards a Taxonomy of Selected Potential Anomalies.
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

Fuzzy Logic for Preferences expressible by convolutions.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Rule-Based Knowledge Management in Social Threat Monitor.
Proceedings of the Multimedia Communications, Services and Security, 2013

Usefulness of Inconsistency in Collaborative Knowledge Authoring in Semantic Wiki.
Proceedings of the Knowledge, Information and Creativity Support Systems: Recent Trends, Advances and Solutions - Selected Papers from KICSS'2013, 2013

A Hierarchical Approach for Configuring Business Processes.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Inconsistency Handling in Collaborative Knowledge Management.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012
Web-Based Knowledge Acquisition and Management System Supporting Collaboration for Improving Safety in Urban Environment.
Proceedings of the Multimedia Communications, Services and Security, 2012

AI Approach to Formal Analysis of BPMN Models. Towards a Logical Model for BPMN Diagrams.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

Improving Efficiency in Constraint Logic Programming Through Constraint Modeling with Rules and Hypergraphs.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

Artificial Intelligence for Knowledge Management with BPMN and Rules.
Proceedings of the Artificial Intelligence for Knowledge Management, 2012

Towards Collaborative Knowledge Engineering for Improving Local Safety in Urban Environment.
Proceedings of 8th Workshop on Knowledge Engineering and Software Engineering, 2012

Distributed and Collaborative Knowledge Management Using an Ontology-Based System.
Proceedings of the Artificial Intelligence for Knowledge Management, 2012

AI Approach to Formal Analysis of BPMN Models: Towards a Logical Model for BPMN Diagrams.
Proceedings of the Advances in Business ICT, 2012

2011
A study of methodological issues in design and development of rule-based systems: proposal of a new approach.
WIREs Data Mining Knowl. Discov., 2011

Formalization and Modeling of Rules Using the XTT2 Method.
Int. J. Artif. Intell. Tools, 2011

Overview of Knowledge Formalization with XTT2 Rules.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

HalVA - Rule Analysis Framework for XTT2 Rules.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Algorithms for Rule Inference in Modularized Rule Bases.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Traffic Danger Ontology for Citizen Safety Web System.
Proceedings of the Multimedia Communications, Services and Security, 2011

Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration.
Proceedings of the Multimedia Communications, Services and Security, 2011

Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language.
Proceedings of the Intelligent Distributed Computing V - Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, The Netherlands, 2011

Proposal of Representing BPMN Diagrams with XTT2-Based Business Rules.
Proceedings of the Intelligent Distributed Computing V - Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, The Netherlands, 2011

2010
The HeKatE methodology. Hybrid engineering of intelligent systems.
Int. J. Appl. Math. Comput. Sci., 2010

2009
On ALSV Rules Formulation and Inference.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Knowledge Representation for Intelligent and Error-Prone Execution of Robust Granular Plans. A Conceptual Study.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

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.
Int. J. Appl. Math. Comput. Sci., 2008

A rule-based approach to robust granular planning.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

Granular Logic with Variables for Implementation of Extended Tabular Trees.
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

XTT+ Rule Design Using the ALSV(FD).
Proceedings of the 2nd East European Workshop on Rule-Based Applications (RuleApps 2008) at the 18th European Conference on Artificial Intelligence, 2008

2007
A Note on Granular Sets and Their Relation to Rough Sets.
Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2006
Logical Foundations for Rule-Based Systems, 2nd Ed..
Studies in Computational Intelligence 11, Springer, ISBN: 978-3-540-29117-6, 2006

A centralized planning technique with temporal constraints and uncertainty for multi-agent systems.
J. Exp. Theor. Artif. Intell., 2006

Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

2005
Conceptual Modelling and Automated Implementation of Rule-Based Systems.
Proceedings of the Software Engineering: Evolution and Emerging Technologies, 2005

Jelly view: a technology for arbitrarily advanced queries within RDBMS.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Visual Design and On-line Verification of Tabular Rule-Based.
Proceedings of the Marktplatz Internet: von E-Learning bis E-Payment, 2005

Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Generating Low Cost Plans under Uncertainty and Temporal Constraints.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach.
Proceedings of the Advances in Web Intelligence Third International Atlantic Web IntelligenceConference, 2005

2004
Reduction of Tabular Systems.
Proceedings of the Artificial Intelligence and Soft Computing, 2004

2003
Dual Resolution for Logical Reduction of Granular Tables.
Proceedings of the Intelligent Information Processing and Web Mining, 2003

Designing Reliable Web Security Systems Using Rule-Based Systems Approach.
Proceedings of the Web Intelligence, 2003

2002
Granular Sets and Granular Relations: Towards a Higher Abstraction Level in Knowledge Representation.
Proceedings of the Intelligent Information Systems 2002, 2002

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

Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems.
Proceedings of the Database and Expert Systems Applications, 12th International Conference, 2001

2000
Validation and verification of knowledge-based systems: report on EUROVAV99.
Knowl. Eng. Rev., 2000

Temporal Causal Abduction.
Constraints An Int. J., 2000

Case-Based Reasoning within Tabular Systems: Extended Structural Data Representation and Partial Matching.
Proceedings of the Flexible Query Answering Systems, 2000

1999
Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems.
Inf. Res., 1999

Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems.
Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

1998
Statistic Criteria for Fuzzy Systems Qualitiy Evaluation.
Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

Towards Logical Analysis of Tabular Rule-Based Systems.
Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

1997
Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution.
Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997

1996
Temporal Causal Networks for Simulation and Diagnosis.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Enhancing Search Efficiency in Diagnostic Reasoning Based on Causal Graphs Via Qualitative Probabilities.
Proceedings of the Modelling and Simulation, 1996

1995
Temporal Logic Based on Characteristic Functions.
Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

1993
A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1990
Dynamic Backward Reasoning Systems.
Artif. Intell., 1990

1989
A framework for knowledge-based control.
J. Intell. Robotic Syst., 1989


  Loading...