( en | de | ru )

 

Disambiguation of "Ligeza, Antoni"

Author of the publication

copydeleteadd this publication to your clipboard
Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems.

, , , , , , , , and . Inf. Res., (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Antoni Schittek

Antoni Piergies

Olga Antoni

Antoni Dziuba

Antoni Kesküla

 

Other publications of authors with the same name

Logical Foundations for Rule-Based Systems, 2nd Ed... Studies in Computational Intelligence Springer, (2006)Web-Based Knowledge Acquisition and Management System Supporting Collaboration for Improving Safety in Urban Environment., , , , and . MCSS, volume 287 of Communications in Computer and Information Science, page 1-12. Springer, (2012)Jelly view: a technology for arbitrarily advanced queries within RDBMS., and . SAC, page 629-633. ACM, (2005)Modeling and Analysis of Spatial Conflicts with Layered Competitive Cellular Automata., and . MCSS, volume 566 of Communications in Computer and Information Science, page 95-109. Springer, (2015)A rule-based approach to robust granular planning., and . IMCSIT, page 105-111. IEEE, (2008)Towards Automated Process Modeling Based on BPMN Diagram Composition., , and . Business Process Management Workshops, volume 342 of Lecture Notes in Business Information Processing, page 507-513. Springer, (2018)Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language., , , and . IDC, volume 382 of Studies in Computational Intelligence, page 249-255. Springer, (2011)Toward logical analysis of tabular rule-based systems.. Int. J. Intell. Syst., 16 (3): 333-360 (2001)Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments., , , , and . ICAISC, volume 9120 of Lecture Notes in Computer Science, page 541-553. Springer, (2015)Overview of Knowledge Formalization with XTT2 Rules., , and . RuleML Europe, volume 6826 of Lecture Notes in Computer Science, page 329-336. Springer, (2011)