| 2008 |
|---|
| 31 | | Antoni Ligeza,
Grzegorz J. Nalepa:
Granular Logic with Variables for Implementation of Extended Tabular Trees.
FLAIRS Conference 2008: 341-346 |
| 30 | EE | Grzegorz J. Nalepa,
Antoni Ligeza:
XTT+ Rule Design Using the ALSV(FD).
RuleApps 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 | EE | 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 | EE | 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 | EE | Grzegorz J. Nalepa,
Antoni Ligeza:
Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach.
AWIC 2005: 334-340 |
| 23 | EE | Maroua Bouzid,
Antoni Ligeza:
Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications.
ICTAI 2005: 249-253 |
| 22 | EE | 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 | EE | 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 | EE | Antoni Ligeza,
Marcin Szpyrka:
Reduction of Tabular Systems.
ICAISC 2004: 903-908 |
| 2003 |
|---|
| 17 | EE | 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 | EE | 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 | EE | Trevor J. M. Bench-Capon,
D. 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 | EE | 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 | EE | Spyros G. Tzafestas,
Antoni Ligeza:
A framework for knowledge-based control.
Journal of Intelligent and Robotic Systems 1(4): 407-425 (1989) |
