2014 | 199 | 157-164
Article title

Formalizacja temporalna tekstów o charakterze regulaminowym - na przykładzie Regulaminu studiów na Uniwersytecie Ekonomicznym w Katowicach

Title variants
Temporal Formalization of Statutory Texts - on the Example of the Regimen in The University of Economics in Katowice
Languages of publication
The main problem addressed in the paper is the question of functionality of intelligent systems in the administrative areas of organizations, on the example of an university. In the paper an attempt to formalize a formal, legal text - bylaw of University of Economics in Katowice - is presented. The need of temporal formalization is pointed out, the problems with formalizing legal texts are listed, and the case study concerning the studies' bylaw is discussed.
Physical description
  • Benthem van, J., Temporal Logic [w:] Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Reasoning, eds. D.M. Gabbay, C.J. Hogger, J.A. Robinson, Clarendon Press, Oxford 1995.
  • Finzi A., Pirri F., Reiter R., Open World Planning in the Situation Calculus. Proc, 17th National Conference on Artificial Intelligence, AAAI Press 2000.
  • Kędzierski S., Modelowanie procesów biznesowych w logikach nieklasycznych [w:] Systemy Wspomagania Organizacji SWO'2005, red. T. Porębska-Miąc, H. Sroka, Wydawnictwo Akademii Ekonomicznej, Katowice 2005.
  • Levesque H., Pirri F., Reiter R., Foundations for the Situation Calculus, "Linköping Electronic Articles in Computer and Information Science" 1998, Vol. 3, No. 18,
  • Mach M.A., Temporalna analiza otoczenia przedsiębiorstwa. Techniki i narzędzia inteligentne, Wydawnictwo Akademii Ekonomicznej, Wrocław 2007.
  • Mackaay E., Poulin D., Frémont J., Bratley P., Deniger C., The Logic of Time in Law and Legal Expert Systems, "Ratio Juris" 1990, 3(2).
  • Mackaay E., Poulin D., Frémont J., Deniger C., La composition du temps dans les systèmes experts juridiques [w:] Les annales de l'IRETIJ, No 1: Actes du Colloque sur les "Apports de l'informatique à la connaissance du droit", Montpellier, les 10 et 11 mars 1989.
  • Poulin D., Mackaay E., Bratley P., Frémont J., Time Server - A Legal Time Specialist, Proc. Third International Conference on Logic, Informatics, Law. Florence, 2-5 November 1989.
  • Shi Z., Advanced Artificial Intelligence, World Scientific, 2011.
  • Turban E., Leidner D., McLean E., Wetherbe J., Information Technology for Management, John Wiley&Sons, Hoboken 2008.
  • Ustawa z dnia 2 lipca 2004 O swobodzie działalności gospodarczej. Dz. U. 2004 r. Nr 173, poz. 1807.
  • Vila L., Revisiting Time and Temporal Incidence, papers.html.
  • Vila L., Yoshino H., Time in Automated Legal Reasoning [w:] Special Issue on Formal Models of Legal Time, eds. A. Martino, E. Nissan, "Information and Communications Technology Law" 1998, Vol. 7, No. 3.
Document Type
Publication order reference
YADDA identifier
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.