Antoni Ligeza Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

32 Antoni Ligeza, Grzegorz J. Nalepa: Granular Logic with Variables for Implementation of Extended Tabular Trees. FLAIRS Conference 2008: 341-346
31EEGrzegorz J. Nalepa, Antoni Ligeza: XTT+ Rule Design Using the ALSV(FD). RuleApps 2008
30EEAntoni 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)
29 Antoni Ligeza, Grzegorz J. Nalepa: Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems. FLAIRS Conference 2007: 530-535
28EEAntoni Ligeza, Marcin Szpyrka: A Note on Granular Sets and Their Relation to Rough Sets. RSEISP 2007: 251-260
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
25EEBassam 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)
24EEGrzegorz J. Nalepa, Antoni Ligeza: Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach. AWIC 2005: 334-340
23EEMaroua Bouzid, Antoni Ligeza: Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications. ICTAI 2005: 249-253
22EEBassam 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
20EEIgor 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
18EEAntoni Ligeza, Marcin Szpyrka: Reduction of Tabular Systems. ICAISC 2004: 903-908
17EEGrzegorz 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
15 Antoni Ligeza: Granular Sets and Granular Relations: Towards a Higher Abstraction Level in Knowledge Representation. Intelligent Information Systems 2002: 331-340
14EEAntoni 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)
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)
10 Antoni Ligeza: Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems. EUROVAV 1999: 313-325
9EETrevor 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)
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
6 Antoni Ligeza: Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution. EUROVAV 1997: 19-29
5EEMaroua Bouzid, Antoni Ligeza: Temporal Causal Networks for Simulation and Diagnosis. ICECCS 1996: 458-
4 Maroua Bouzid, Antoni Ligeza: Temporal Logic Based on Characteristic Functions. KI 1995: 221-232
3 Antoni Ligeza: A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems. IJCAI 1993: 132-137
2 Antoni Ligeza: Dynamic Backward Reasoning Systems. Artif. Intell. 43(2): 127-152 (1990)
1EESpyros G. Tzafestas, Antoni Ligeza: A framework for knowledge-based control. Journal of Intelligent and Robotic Systems 1(4): 407-425 (1989)

Coauthor Index

1Esteve del Acebo [7]
2Bassam Baki [22] [25]
3Trevor J. M. Bench-Capon [9]
4Maroua Bouzid [4] [5] [11] [22] [23] [25]
5D. Castelli [9]
6Frans Coenen [9]
7L. Devendeville-Brisoux [9]
8Barry Eaglestone [9]
9N. J. Fiddian (Nick J. Fiddian) [9]
10W. A. Gray (W. Alex Gray) [9]
11Jan Maciej Koscielny [30]
12Abdel-Illah Mouaddib [25]
13Grzegorz J. Nalepa [14] [17] [19] [21] [24] [26] [29] [31] [32]
14Albert Oller [7]
15Josep Lluís de la Rosa [7]
16Marcin Szpyrka [18] [28]
17Spyros G. Tzafestas [1]
18Anca I. Vermesan [9]
19Igor Wojnicki [14] [20]
20Stanislaw Zbroja [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)