 | 2011 |
|---|
| 43 |       | Krzysztof Kluza,
Tomasz Maslanka,
Grzegorz J. Nalepa,
Antoni Ligeza:
Proposal of Representing BPMN Diagrams with XTT2-Based Business Rules.
IDC 2011: 243-248 |
| 42 | | Marcin Szpyrka,
Grzegorz J. Nalepa,
Antoni Ligeza,
Krzysztof Kluza:
Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language.
IDC 2011: 249-255 |
| 41 | | Grzegorz J. Nalepa,
Szymon Bobek,
Antoni Ligeza,
Krzysztof Kaczor:
Algorithms for Rule Inference in Modularized Rule Bases.
RuleML Europe 2011: 305-312 |
| 40 | | Grzegorz J. Nalepa,
Antoni Ligeza,
Krzysztof Kaczor:
Overview of Knowledge Formalization with XTT2 Rules.
RuleML Europe 2011: 329-336 |
| 39 | | Grzegorz J. Nalepa,
Szymon Bobek,
Antoni Ligeza,
Krzysztof Kaczor:
HalVA - Rule Analysis Framework for XTT2 Rules.
RuleML Europe 2011: 337-344 |
| 38 | | Grzegorz J. Nalepa,
Antoni Ligeza,
Krzysztof Kaczor:
Formalization and Modeling of Rules Using the XTT2 Method.
International Journal on Artificial Intelligence Tools 20(6): 1107-1125 (2011) |
| 37 | | Antoni Ligeza,
Grzegorz J. Nalepa:
A study of methodological issues in design and development of rule-based systems: proposal of a new approach.
Wiley Interdisc. Rew.: Data Mining and Knowledge Discovery 1(2): 117-137 (2011) |
| 2010 |
|---|
| 36 | | Grzegorz J. Nalepa,
Antoni Ligeza:
The HeKatE methodology. Hybrid engineering of intelligent systems.
Applied Mathematics and Computer Science 20(1): 35-53 (2010) |
| 2009 |
|---|
| 35 |  | Sebastian Ernst,
Antoni Ligeza:
Knowledge Representation for Intelligent and Error-Prone Execution of Robust Granular Plans. A Conceptual Study.
FLAIRS Conference 2009 |
| 34 | | Grzegorz J. Nalepa,
Antoni Ligeza:
On ALSV Rules Formulation and Inference.
FLAIRS Conference 2009 |
| 2008 |
|---|
| 33 | | Antoni Ligeza,
Grzegorz J. Nalepa:
Granular Logic with Variables for Implementation of Extended Tabular Trees.
FLAIRS Conference 2008: 341-346 |
| 32 | | Sebastian Ernst,
Antoni Ligeza:
A rule-based approach to robust granular planning.
IMCSIT 2008: 105-111 |
| 31 | | Grzegorz J. Nalepa,
Antoni Ligeza:
XTT+ Rule Design Using the ALSV(FD).
RuleApps 2008 |
| 30 | | Antoni Ligeza,
Jan Maciej Koscielny:
A New Approach to Multiple Fault Diagnosis: A Combination of Diagnostic Matrices, Graphs, Algebraic and Rule-Based Models. The Case of Two-Layer Models.
Applied Mathematics and Computer Science 18(4): 465-476 (2008) |
| 2007 |
|---|
| 29 | | Antoni Ligeza,
Grzegorz J. Nalepa:
Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems.
FLAIRS Conference 2007: 530-535 |
| 28 | | Antoni Ligeza,
Marcin Szpyrka:
A Note on Granular Sets and Their Relation to Rough Sets.
RSEISP 2007: 251-260 |
| 2006 |
|---|
| 27 | | Antoni Ligeza:
Logical Foundations for Rule-Based Systems, 2nd Ed..
Springer 2006 |
| 26 | | Grzegorz J. Nalepa,
Antoni Ligeza:
Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach.
FLAIRS Conference 2006: 426-431 |
| 25 | | Bassam Baki,
Maroua Bouzid,
Antoni Ligeza,
Abdel-Illah Mouaddib:
A centralized planning technique with temporal constraints and uncertainty for multi-agent systems.
J. Exp. Theor. Artif. Intell. 18(3): 331-364 (2006) |
| 2005 |
|---|
| 24 | | Grzegorz J. Nalepa,
Antoni Ligeza:
Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach.
AWIC 2005: 334-340 |
| 23 | | Maroua Bouzid,
Antoni Ligeza:
Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications.
ICTAI 2005: 249-253 |
| 22 | | Bassam Baki,
Maroua Bouzid,
Antoni Ligeza:
Generating Low Cost Plans under Uncertainty and Temporal Constraints.
ICTAI 2005: 531-536 |
| 21 | | Antoni Ligeza,
Grzegorz J. Nalepa:
Visual Design and On-line Verification of Tabular Rule-Based.
Leipziger Informatik-Tage 2005: 303-312 |
| 20 | | Igor Wojnicki,
Antoni Ligeza:
Jelly view: a technology for arbitrarily advanced queries within RDBMS.
SAC 2005: 629-633 |
| 19 | | Grzegorz J. Nalepa,
Antoni Ligeza:
Conceptual Modelling and Automated Implementation of Rule-Based Systems.
Software Engineering: Evolution and Emerging Technologies 2005: 330-340 |
| 2004 |
|---|
| 18 | | Antoni Ligeza,
Marcin Szpyrka:
Reduction of Tabular Systems.
ICAISC 2004: 903-908 |
| 2003 |
|---|
| 17 | | Grzegorz J. Nalepa,
Antoni Ligeza:
Designing Reliable Web Security Systems Using Rule-Based Systems Approach.
AWIC 2003: 124-133 |
| 16 | | Antoni Ligeza:
Dual Resolution for Logical Reduction of Granular Tables.
IIS 2003: 363-372 |
| 2002 |
|---|
| 15 | | Antoni Ligeza:
Granular Sets and Granular Relations: Towards a Higher Abstraction Level in Knowledge Representation.
Intelligent Information Systems 2002: 331-340 |
| 2001 |
|---|
| 14 | | Antoni Ligeza,
Igor Wojnicki,
Grzegorz J. Nalepa:
Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems.
DEXA 2001: 422-431 |
| 13 | | Antoni Ligeza:
Toward logical analysis of tabular rule-based systems.
Int. J. Intell. Syst. 16(3): 333-360 (2001) |
| 2000 |
|---|
| 12 | | Stanislaw Zbroja,
Antoni Ligeza:
Case-Based Reasoning within Tabular Systems: Extended Structural Data Representation and Partial Matching.
FQAS 2000: 230-239 |
| 11 | | Maroua Bouzid,
Antoni Ligeza:
Temporal Causal Abduction.
Constraints 5(3): 303-319 (2000) |
| 1999 |
|---|
| 10 | | Antoni Ligeza:
Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems.
EUROVAV 1999: 313-325 |
| 9 | | Trevor J. M. Bench-Capon,
Donatella Castelli,
Frans Coenen,
L. Devendeville-Brisoux,
Barry Eaglestone,
N. J. Fiddian,
W. A. Gray,
Antoni Ligeza,
Anca I. Vermesan:
Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems.
Inf. Res. 4(3): (1999) |
| 1998 |
|---|
| 8 | | Antoni Ligeza:
Towards Logical Analysis of Tabular Rule-Based Systems.
DEXA Workshop 1998: 30-35 |
| 7 | | Esteve del Acebo,
Albert Oller,
Josep Lluís de la Rosa,
Antoni Ligeza:
Statistic Criteria for Fuzzy Systems Qualitiy Evaluation.
IEA/AIE (Vol. 2) 1998: 877-887 |
| 1997 |
|---|
| 6 | | Antoni Ligeza:
Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution.
EUROVAV 1997: 19-29 |
| 1996 |
|---|
| 5 | | Maroua Bouzid,
Antoni Ligeza:
Temporal Causal Networks for Simulation and Diagnosis.
ICECCS 1996: 458- |
| 1995 |
|---|
| 4 | | Maroua Bouzid,
Antoni Ligeza:
Temporal Logic Based on Characteristic Functions.
KI 1995: 221-232 |
| 1993 |
|---|
| 3 | | Antoni Ligeza:
A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems.
IJCAI 1993: 132-137 |
| 1990 |
|---|
| 2 | | Antoni Ligeza:
Dynamic Backward Reasoning Systems.
Artif. Intell. 43(2): 127-152 (1990) |
| 1989 |
|---|
| 1 | | Spyros G. Tzafestas,
Antoni Ligeza:
A framework for knowledge-based control.
Journal of Intelligent and Robotic Systems 1(4): 407-425 (1989) |
Data released under the ODC-BY 1.0 license — See also our legal information page