Antoni Ligeza

131 papers A* 1A 1B 8C 23Misc 11Journal 20Unranked 64
YearRankTypeTitle / Venue / Authors
2025 — conf
Database of Games for Evoking Emotions in Research (GEER).
HICSS
Pawel Jemiolo, Mateusz Gujda, Dawid Storman, Antoni Ligeza
2025 J jnl
Model Discovery with Grammatical Evolution. An Experiment with Prime Numbers.
CoRR
Jakub Skrzynski, Dominik Sepiolo, Antoni Ligeza
2025 C conf
Symbolic vs Black-Box Explanations: A Model-Driven Approach Using Grammatical Evolution.
FedCSIS
Dominik Sepiolo, Antoni Ligeza
2024 — conf
Order Selection Methodology of OMG Diagrams in Teaching Designing Information Systems.
BPM (Blockchain and RPA Forum)
Anna Suchenia, Karol Suchenia, Marek Adrian, Krystian Jobczyk, Piotr Wisniewski, Antoni Ligeza
2023 — conf
Food Ontologies and Ontological Reasoning in Food Domain for Sustainability.
ECAI Workshops (2)
Weronika T. Adrian, Katarzyna Pyrczak, Krzysztof Kluza, Antoni Ligeza
2023 — conf
In Search for Model-Driven eXplainable Artificial Intelligence.
AI4KMES@ECAI
Antoni Ligeza, Dominik Sepiolo
2023 — conf
Supporting Food Computing with Ontologies and Artificial Intelligence Methods for Sustainability.
AI4KMES@ECAI
Weronika T. Adrian, Julia Ignacyk, Katarzyna Pyrczak, Krzysztof Kluza, Piotr Wisniewski, Antoni Ligeza
2023 — conf
Towards Model-Driven Explainable Artificial Intelligence. An Experiment with Shallow Methods Versus Grammatical Evolution.
ECAI Workshops (2)
Dominik Sepiolo, Antoni Ligeza
2022 C conf
Case Study of Designing Interface of the AGH Students Information Bulletin Work Support System.
FedCSIS
Natalia Nitarska, Piotr Wisniewski, Krzysztof Kluza, Mateusz Zaremba, Antoni Ligeza
2022 J jnl
Datasets for Automated Affect and Emotion Recognition from Cardiovascular Signals Using Artificial Intelligence - A Systematic Review.
Sensors
Pawel Jemiolo, Dawid Storman, Maria Mamica, Mateusz Szymkowski, Wioletta Zabicka, Magdalena Wojtaszek-Glówka, Antoni Ligeza
2022 — conf
Modeling Empathy Episodes with ARD and DMN.
KSEM (3)
Weronika T. Adrian, Julia Ignacyk, Krzysztof Kluza, Miroslawa M. Dlugosz, Antoni Ligeza
2022 — conf
Proposal of a Method for Creating a BPMN Model Based on the Data Extracted from a DMN Model.
KSEM (2)
Krzysztof Kluza, Piotr Wisniewski, Mateusz Zaremba, Weronika T. Adrian, Anna Suchenia, Leszek Szala, Antoni Ligeza
2022 — conf
Recomposition of Process Choreographies Using a Graph-Based Model Repository.
KSEM (1)
Piotr Wisniewski, Krzysztof Kluza, Anna Suchenia, Leszek Szala, Antoni Ligeza
2021 C conf
Business Process Recomposition as a Way to Redesign Workflows Effectively.
FedCSIS
Piotr Wisniewski, Krzysztof Kluza, Pawel Jemiolo, Antoni Ligeza, Anna Suchenia
2021 — conf
Characteristic and comparison of UML, BPMN and EPC based on process models of a training company.
FedCSIS (Position Papers)
Marcin Niziol, Piotr Wisniewski, Krzysztof Kluza, Antoni Ligeza
2021 — conf
Emotion Elicitation with Stimuli Datasets in Automatic Affect Recognition Studies - Umbrella Review.
INTERACT (3)
Pawel Jemiolo, Dawid Storman, Barbara Gizycka, Antoni Ligeza
2021 — conf
Towards a Web-Based Platform Supporting the Recomposition of Business Processes.
ISM@FedCSIS
Piotr Wisniewski, Agata Bujak, Krzysztof Kluza, Anna Suchenia, Mateusz Zaremba, Pawel Jemiolo, Antoni Ligeza
2020 — conf
A Fuzzy Multi-Agent Problem in a Conceptual and Operational Depiction.
ICAISC (2)
Krystian Jobczyk, Antoni Ligeza
2020 J jnl
A Fuzzy Multi-Agent Problem: A General Depiction and its Logic Programming-based Application.
Computación y Sistemas
Krystian Jobczyk, Patryk Galczynski, Antoni Ligeza
2020 — conf
Explainable Artificial Intelligence. Model Discovery with Constraint Programming.
ISMIS (Industrial Paper)
Antoni Ligeza, Pawel Jemiolo, Weronika T. Adrian, Mateusz Slazynski, Marek Adrian, Krystian Jobczyk, Krzysztof Kluza, Bernadetta Stachura-Terlecka, Piotr Wisniewski
2020 C conf
Extended Knowledge Graphs: A Conceptual Study.
KEOD
Weronika T. Adrian, Marek Adrian, Krzysztof Kluza, Bernadetta Stachura-Terlecka, Antoni Ligeza
2020 — conf
Generating Descriptions in Polish Language for BPMN Business Process Models.
ICAISC (2)
Krzysztof Kluza, Maciej Znamirowski, Piotr Wisniewski, Pawel Jemiolo, Antoni Ligeza
2020 J jnl
The Fuzzy Relations between Intervals in a Convolution-based Depiction.
Res. Comput. Sci.
Krystian Jobczyk, Antoni Ligeza
2020 B conf
The Natural Transformations with the Multi-Fuzzy Commutativity Condition.
FUZZ-IEEE
Krystian Adam Jobczyk, Antoni Ligeza
2020 C conf
Tracing the Evolution of Approaches to Semantic Similarity Analysis.
KEOD
Weronika T. Adrian, Sebastian Skoczen, Szymon Majkut, Krzysztof Kluza, Antoni Ligeza
2019 B conf
An Epistemic Simplified Interval Temporal Logic of Moszkowski for Fuzzified Justification.
FUZZ-IEEE
Krystian Adam Jobczyk, Antoni Ligeza
2019 C conf
Automated Generation of Business Process Models using Constraint Logic Programming in Python.
FedCSIS
Tymoteusz Paszun, Piotr Wisniewski, Krzysztof Kluza, Antoni Ligeza
2019 — conf
From Attribute Relationship Diagrams to Process (BPMN) and Decision (DMN) Models.
KSEM (1)
Krzysztof Kluza, Piotr Wisniewski, Weronika T. Adrian, Antoni Ligeza
2019 — conf
Overview of Generation Methods for Business Process Models.
KSEM (2)
Piotr Wisniewski, Krzysztof Kluza, Krystian Jobczyk, Bernadetta Stachura-Terlecka, Antoni Ligeza
2019 — conf
Understanding Decision Model and Notation: DMN Research Directions and Trends.
KSEM (1)
Krzysztof Kluza, Weronika T. Adrian, Piotr Wisniewski, Antoni Ligeza
2019 — conf
Using a Semantic-Based Support System for Merging Knowledge from Process Participants.
AI4KM@IJCAI
Krzysztof Kluza, Mateusz Kagan, Piotr Wisniewski, Weronika T. Adrian, Pawel Jemiolo, Anna Suchenia, Antoni Ligeza
2018 — conf
A Multi-Agent Problem in a New Depiction.
ICAISC (2)
Krystian Jobczyk, Antoni Ligeza
2018 B conf
An Epistemic Halpern-Shoham Logic for Gradable Justification.
FUZZ-IEEE
Krystian Adam Jobczyk, Antoni Ligeza
2018 — conf
Constraint-Based Identification of Complex Gateway Structures in Business Process Models.
ICAISC (2)
Piotr Wisniewski, Antoni Ligeza
2018 C conf
Generation of Synthetic Business Process Traces using Constraint Programming.
FedCSIS
Piotr Wisniewski, Krzysztof Kluza, Antoni Ligeza, Anna Suchenia
2018 — conf
Knowledge Representation in Model Driven Approach in Terms of the Zachman Framework.
ICAISC (2)
Krzysztof Kluza, Piotr Wisniewski, Antoni Ligeza, Anna Suchenia, Joanna Wyrobek
2018 — conf
Temporal Traveling Salesman Problem - in a Logic- and Graph Theory-Based Depiction.
ICAISC (2)
Krystian Jobczyk, Piotr Wisniewski, Antoni Ligeza
2018 — conf
The Hybrid Plan Controller Construction for Trajectories in Sobolev Space.
ICAISC (2)
Krystian Jobczyk, Antoni Ligeza
2018 — conf
Towards Automated Process Modeling Based on BPMN Diagram Composition.
Business Process Management Workshops
Piotr Wisniewski, Krzysztof Kluza, Antoni Ligeza
2017 — conf
An Approach to Robust Urban Transport Management. Mixed Graph-Based Model for Decision Support.
ICAISC (2)
Piotr Wisniewski, Antoni Ligeza
2017 C conf
An Experiment in Causal Structure Discovery. A Constraint Programming Approach.
ISMIS
Antoni Ligeza
2017 C conf
Comparison of Selected Modeling Notations for Process, Decision and System Modeling.
FedCSIS
Krzysztof Kluza, Piotr Wisniewski, Krystian Jobczyk, Antoni Ligeza, Anna Suchenia
2017 — conf
Constraint Programming for Constructive Abduction. A Case Study in Diagnostic Model-Based Reasoning.
DPS
Antoni Ligeza
2017 — conf
Constraint-Based Composition of Business Process Models.
Business Process Management Workshops
Piotr Wisniewski, Krzysztof Kluza, Mateusz Slazynski, Antoni Ligeza
2017 C conf
Decision Support System for Robust Urban Transport Management.
FedCSIS
Piotr Wisniewski, Krzysztof Kluza, Antoni Ligeza
2017 — conf
Dynamic Epistemic Preferential Logic of Action.
ICAISC (2)
Krystian Jobczyk, Antoni Ligeza
2017 — conf
Multi-valued Extension of Putnam-Davis Procedure.
ICAISC (2)
Krystian Jobczyk, Antoni Ligeza
2017 — conf
Overview of Verification Tools for Business Process Models.
FedCSIS (Communication Papers)
Anna Suchenia, Piotr Wisniewski, Antoni Ligeza
2017 J jnl
Performance evaluation of rule-based expert systems: An example from medical billing domain.
Expert Syst. J. Knowl. Eng.
Umair Abdullah, Antoni Ligeza, Kashif Zafar
2017 — conf
STRIPS in Some Temporal-Preferential Extension.
ICAISC (1)
Krystian Jobczyk, Antoni Ligeza
2017 — conf
Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models.
ICAISC (2)
Anna Suchenia, Krzysztof Kluza, Krystian Jobczyk, Piotr Wisniewski, Michal Wypych, Antoni Ligeza
2016 C conf
A General Method of the Hybrid Controller Construction for Temporal Planning with Preferences.
FedCSIS
Krystian Jobczyk, Antoni Ligeza
2016 J jnl
Bayesian network modeling: A case study of an epidemiologic system analysis of cardiovascular risk.
Comput. Methods Programs Biomed.
Pilar Fuster-Parra, P. Tauler, M. Bennasar-Veny, Antoni Ligeza, A. A. López-González, A. Aguiló
2016 J jnl
Mobile context-based framework for threat monitoring in urban environment with social threat monitor.
Multim. Tools Appl.
Szymon Bobek, Grzegorz J. Nalepa, Antoni Ligeza, Weronika T. Adrian, Krzysztof Kaczor
2016 B conf
Multi-Valued Preferential Halpern-Shoham logic for relations of Allen and preferences.
FUZZ-IEEE
Krystian Adam Jobczyk, Antoni Ligeza
2016 — conf
New Integral Approach to the Specification of STPU-Solutions.
ICAISC (2)
Krystian Jobczyk, Antoni Ligeza, Krzysztof Kluza
2016 C conf
Overview of Time Issues with Temporal Logics for Business Process Models.
FedCSIS
Krzysztof Kluza, Krystian Jobczyk, Piotr Wisniewski, Antoni Ligeza
2016 — conf
Selected Temporal Logic Systems: An Attempt at Engineering Evaluation.
ICAISC (1)
Krystian Jobczyk, Antoni Ligeza, Krzysztof Kluza
2016 B conf
Towards a new convolution-based approach to the specification of STPU-solutions.
FUZZ-IEEE
Krystian Adam Jobczyk, Antoni Ligeza
2016 — conf
Why Systems of Temporal Logic Are Sometimes (Un)useful?
ICAISC (2)
Krystian Jobczyk, Antoni Ligeza
2015 — ch.
A Multi-level Hierarchical Approach for Configuring Business Processes.
Advances in ICT for Business, Industry and Public Sector
Mateusz Baran, Krzysztof Kluza, Grzegorz J. Nalepa, Antoni Ligeza
2015 — conf
Comparative Approach to the Multi-Valued Logic Construction for Preferences.
ICAISC (1)
Krystian Jobczyk, Antoni Ligeza, Maroua Bouzid, Jerzy Karczmarczuk
2015 Misc conf
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments.
ICAISC
Weronika T. Adrian, Nicola Leone, Antoni Ligeza, Marco Manna, Mateusz Slazynski
2015 C conf
Fuzzy-temporal approach to the handling of temporal interval relations and preferences.
INISTA
Krystian Jobczyk, Antoni Ligeza, Jerzy Karczmarczuk
2015 C conf
Granular Rules and Rule Frames for Compact Knowledge Representation.
ISMIS
Antoni Ligeza
2015 — conf
Modeling and Analysis of Spatial Conflicts with Layered Competitive Cellular Automata.
MCSS
Bernadetta Stachura-Terlecka, Antoni Ligeza
2015 C conf
Temporal planning in terms of a fuzzy integral logic (FLI) versus temporal planning in PDDL.
INISTA
Krystian Jobczyk, Antoni Ligeza
2015 C conf
Towards Constructive Abduction.
KEOD
Antoni Ligeza
2014 — conf
A Note on Machine Learning Approach to Analyze the Results of Pairwise Comparison Based Parametric Evaluation of Research Units.
ICAISC (2)
Mateusz Baran, Konrad Kulakowski, Antoni Ligeza
2014 J jnl
A Note on Systematic Conflict Generation in CA-EN-type Causal Structures.
CoRR
Antoni Ligeza
2014 C conf
A note on BPMN Analysis. Towards a Taxonomy of Selected Potential Anomalies.
FedCSIS
Anna Mroczek, Antoni Ligeza
2014 A conf
Fuzzy Logic for Preferences expressible by convolutions.
ECAI
Krystian Jobczyk, Maroua Bouzid, Antoni Ligeza, Jerzy Karczmarczuk
2014 J jnl
On the quality evaluation of scientific entities in Poland supported by consistency-driven pairwise comparisons method.
Scientometrics
Waldemar W. Koczkodaj, Konrad Kulakowski, Antoni Ligeza
2013 C conf
A Hierarchical Approach for Configuring Business Processes.
FedCSIS
Mateusz Baran, Krzysztof Kluza, Grzegorz J. Nalepa, Antoni Ligeza
2013 C conf
Inconsistency Handling in Collaborative Knowledge Management.
FedCSIS
Weronika T. Adrian, Antoni Ligeza, Grzegorz J. Nalepa
2013 — conf
Rule-Based Knowledge Management in Social Threat Monitor.
MCSS
Mateusz Baran, Antoni Ligeza
2013 — conf
Usefulness of Inconsistency in Collaborative Knowledge Authoring in Semantic Wiki.
KICSS
Weronika T. Adrian, Grzegorz J. Nalepa, Antoni Ligeza
2012 C conf
AI Approach to Formal Analysis of BPMN Models. Towards a Logical Model for BPMN Diagrams.
FedCSIS
Antoni Ligeza, Krzysztof Kluza, Grzegorz J. Nalepa, Tomasz Potempa
2012 — conf
AI Approach to Formal Analysis of BPMN Models: Towards a Logical Model for BPMN Diagrams.
ABICT
Antoni Ligeza, Tomasz Potempa
2012 — conf
Artificial Intelligence for Knowledge Management with BPMN and Rules.
AI4KM@ECAI
Antoni Ligeza, Tomasz Potempa
2012 — conf
Distributed and Collaborative Knowledge Management Using an Ontology-Based System.
AI4KM@ECAI
Weronika T. Adrian, Antoni Ligeza, Grzegorz J. Nalepa, Krzysztof Kaczor
2012 C conf
Improving Efficiency in Constraint Logic Programming Through Constraint Modeling with Rules and Hypergraphs.
FedCSIS
Antoni Ligeza
2012 — conf
Towards Collaborative Knowledge Engineering for Improving Local Safety in Urban Environment.
KESE@ECAI
Antoni Ligeza, Weronika T. Adrian, Przemyslaw Ciezkowski
2012 — conf
Web-Based Knowledge Acquisition and Management System Supporting Collaboration for Improving Safety in Urban Environment.
MCSS
Weronika T. Adrian, Przemyslaw Ciezkowski, Krzysztof Kaczor, Antoni Ligeza, Grzegorz J. Nalepa
2011 J jnl
A study of methodological issues in design and development of rule-based systems: proposal of a new approach.
WIREs Data Mining Knowl. Discov.
Antoni Ligeza, Grzegorz J. Nalepa
2011 — conf
Algorithms for Rule Inference in Modularized Rule Bases.
RuleML Europe
Grzegorz J. Nalepa, Szymon Bobek, Antoni Ligeza, Krzysztof Kaczor
2011 J jnl
Formalization and Modeling of Rules Using the XTT2 Method.
Int. J. Artif. Intell. Tools
Grzegorz J. Nalepa, Antoni Ligeza, Krzysztof Kaczor
2011 — conf
HalVA - Rule Analysis Framework for XTT2 Rules.
RuleML Europe
Grzegorz J. Nalepa, Szymon Bobek, Antoni Ligeza, Krzysztof Kaczor
2011 — conf
Overview of Knowledge Formalization with XTT2 Rules.
RuleML Europe
Grzegorz J. Nalepa, Antoni Ligeza, Krzysztof Kaczor
2011 Misc conf
Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language.
IDC
Marcin Szpyrka, Grzegorz J. Nalepa, Antoni Ligeza, Krzysztof Kluza
2011 Misc conf
Proposal of Representing BPMN Diagrams with XTT2-Based Business Rules.
IDC
Krzysztof Kluza, Tomasz Maslanka, Grzegorz J. Nalepa, Antoni Ligeza
2011 — conf
Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration.
MCSS
Antoni Ligeza, Weronika T. Adrian, Sebastian Ernst, Grzegorz J. Nalepa, Marcin Szpyrka, Michal Czapko, Pawel Grzesiak, Marcin Krzych
2011 — conf
Traffic Danger Ontology for Citizen Safety Web System.
MCSS
Jaroslaw Waliszko, Weronika T. Adrian, Antoni Ligeza
2010 J jnl
The HeKatE methodology. Hybrid engineering of intelligent systems.
Int. J. Appl. Math. Comput. Sci.
Grzegorz J. Nalepa, Antoni Ligeza
2009 Misc conf
Knowledge Representation for Intelligent and Error-Prone Execution of Robust Granular Plans. A Conceptual Study.
FLAIRS
Sebastian Ernst, Antoni Ligeza
2009 Misc conf
On ALSV Rules Formulation and Inference.
FLAIRS
Grzegorz J. Nalepa, Antoni Ligeza
2008 J jnl
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.
Antoni Ligeza, Jan Maciej Kóscielny
2008 — conf
A rule-based approach to robust granular planning.
IMCSIT
Sebastian Ernst, Antoni Ligeza
2008 Misc conf
Granular Logic with Variables for Implementation of Extended Tabular Trees.
FLAIRS
Antoni Ligeza, Grzegorz J. Nalepa
2008 — conf
XTT+ Rule Design Using the ALSV(FD).
RuleApps
Grzegorz J. Nalepa, Antoni Ligeza
2007 — conf
A Note on Granular Sets and Their Relation to Rough Sets.
RSEISP
Antoni Ligeza, Marcin Szpyrka
2007 Misc conf
Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems.
FLAIRS
Antoni Ligeza, Grzegorz J. Nalepa
2006 J jnl
A centralized planning technique with temporal constraints and uncertainty for multi-agent systems.
J. Exp. Theor. Artif. Intell.
Bassam Baki, Maroua Bouzid, Antoni Ligeza, Abdel-Illah Mouaddib
2006 — book
Logical Foundations for Rule-Based Systems, 2nd Ed..
Antoni Ligeza
2006 Misc conf
Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach.
FLAIRS
Grzegorz J. Nalepa, Antoni Ligeza
2005 B conf
Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications.
ICTAI
Maroua Bouzid, Antoni Ligeza
2005 — ch.
Conceptual Modelling and Automated Implementation of Rule-Based Systems.
Software Engineering: Evolution and Emerging Technologies
Grzegorz J. Nalepa, Antoni Ligeza
2005 B conf
Generating Low Cost Plans under Uncertainty and Temporal Constraints.
ICTAI
Bassam Baki, Maroua Bouzid, Antoni Ligeza
2005 Misc conf
Jelly view: a technology for arbitrarily advanced queries within RDBMS.
SAC
Igor Wojnicki, Antoni Ligeza
2005 — conf
Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach.
AWIC
Grzegorz J. Nalepa, Antoni Ligeza
2005 — conf
Visual Design and On-line Verification of Tabular Rule-Based.
Leipziger Informatik-Tage
Antoni Ligeza, Grzegorz J. Nalepa
2004 Misc conf
Reduction of Tabular Systems.
ICAISC
Antoni Ligeza, Marcin Szpyrka
2003 — conf
Designing Reliable Web Security Systems Using Rule-Based Systems Approach.
AWIC
Grzegorz J. Nalepa, Antoni Ligeza
2003 — conf
Dual Resolution for Logical Reduction of Granular Tables.
IIS
Antoni Ligeza
2002 — conf
Granular Sets and Granular Relations: Towards a Higher Abstraction Level in Knowledge Representation.
Intelligent Information Systems
Antoni Ligeza
2001 C conf
Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems.
DEXA
Antoni Ligeza, Igor Wojnicki, Grzegorz J. Nalepa
2001 J jnl
Toward logical analysis of tabular rule-based systems.
Int. J. Intell. Syst.
Antoni Ligeza
2000 C conf
Case-Based Reasoning within Tabular Systems: Extended Structural Data Representation and Partial Matching.
FQAS
Stanislaw Zbroja, Antoni Ligeza
2000 J jnl
Temporal Causal Abduction.
Constraints An Int. J.
Maroua Bouzid, Antoni Ligeza
2000 J jnl
Validation and verification of knowledge-based systems: report on EUROVAV99.
Knowl. Eng. Rev.
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, Jan Vanthienen, Anca I. Vermesan, Nirmalie Wiratunga
1999 — conf
Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems.
EUROVAV
Antoni Ligeza
1999 J jnl
Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems.
Inf. Res.
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
1998 — conf
Statistic Criteria for Fuzzy Systems Qualitiy Evaluation.
IEA/AIE (Vol. 2)
Esteve del Acebo, Albert Oller, Josep Lluís de la Rosa, Antoni Ligeza
1998 — conf
Towards Logical Analysis of Tabular Rule-Based Systems.
DEXA Workshop
Antoni Ligeza
1997 — conf
Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution.
EUROVAV
Antoni Ligeza
1996 — conf
Enhancing Search Efficiency in Diagnostic Reasoning Based on Causal Graphs Via Qualitative Probabilities.
ESM
Pilar Fuster-Parra, Antoni Ligeza, Josep Aguilar-Martin
1996 B conf
Temporal Causal Networks for Simulation and Diagnosis.
ICECCS
Maroua Bouzid, Antoni Ligeza
1995 Misc conf
Temporal Logic Based on Characteristic Functions.
KI
Maroua Bouzid, Antoni Ligeza
1993 A* conf
A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems.
IJCAI
Antoni Ligeza
1990 J jnl
Dynamic Backward Reasoning Systems.
Artif. Intell.
Antoni Ligeza
1989 J jnl
A framework for knowledge-based control.
J. Intell. Robotic Syst.
Spyros G. Tzafestas, Antoni Ligeza