References

  1. Grigoris Antoniou, David Billington, Guido Governatori & Michael J. Maher (2001): Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2), pp. 255–287, doi:10.1145/371316.371517.
  2. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher & Andrew Rock (2000): A Family of Defeasible Reasoning Logics and its Implementation. In: Werner Horn: ECAI. IOS Press, pp. 459–463, doi:10.1.1.19.2954.
  3. S. Burggraeve, S.H. Bull, P. Vansteenwegen & R.M. Lusby (2017): Integrating robust timetabling in line plan optimization for railway systems. Transportation Research Part C: Emerging Technologies 77, pp. 134–160, doi:10.1016/j.trc.2017.01.015.
  4. M. Cristani, E. Karafili & C. Tomazzoli (2014): Energy saving by ambient intelligence techniques. In: Proceedings - 2014 International Conference on Network-Based Information Systems, NBiS 2014, pp. 157–164, doi:10.1109/NBiS.2014.39.
  5. M. Cristani, E. Karafili & C. Tomazzoli (2015): Improving energy saving techniques by ambient intelligence scheduling. In: Proceedings - International Conference on Advanced Information Networking and Applications, AINA 2015-April, pp. 324–331, doi:10.1109/AINA.2015.202.
  6. M. Cristani, C. Tomazzoli, E. Karafili & F. Olivieri (2016): Defeasible reasoning about electric consumptions. In: Proceedings - International Conference on Advanced Information Networking and Applications, AINA 2016-May, pp. 885–892, doi:10.1109/AINA.2016.62.
  7. E. Demeterová, D. Mihályi & V. Novitzká (2016): Component composition using linear logic and Petri nets. In: 2015 IEEE 13th International Scientific Conference on Informatics, INFORMATICS 2015 - Proceedings, pp. 91–96, doi:10.1109/Informatics.2015.7377814.
  8. Uffe Engberg & Glynn Winskel (1997): Completeness Results for Linear Logic on Petri Nets. Ann. Pure Appl. Logic 86(2), pp. 101–135, doi:10.1016/S0168-0072(96)00024-3.
  9. Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri & Abdul Sattar (2017): Visualisation of Compliant Declarative Business Processes. In: EDOC 2017. IEEE Computer Society, pp. 89–94, doi:10.1109/EDOC.2017.21.
  10. G. Governatori, F. Olivieri, A. Rotolo, S. Scannapieco & M. Cristani (2013): Picking up the best goal an analytical study in defeasible logic. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8035, pp. 99–113, doi:10.1007/978-3-642-39617-5_12.
  11. G. Governatori, F. Olivieri, S. Scannapieco & M. Cristani (2011): Designing for compliance: Norms and goals. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7018 LNCS, pp. 282–297, doi:10.1007/978-3-642-24908-2_29.
  12. Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo & Matteo Cristani (2016): The Rational behind the Concept of Goal. Theory and Practice of Logic Programming 16(3), pp. 296–324, doi:10.1017/S1471068401001168.
  13. Guido Governatori & Antonino Rotolo (2008): BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. Journal of Autonomous Agents and Multi Agent Systems 17(1), pp. 36–69, doi:10.1007/s10458-008-9030-4.
  14. Max I. Kanovich & Takayasu Ito (1997): Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract). In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997. IEEE Computer Society, pp. 48–57, doi:10.1109/LICS.1997.614928.
  15. Peep Küngas & Mihhail Matskin (2004): Linear Logic, Partial Deduction and Cooperative Problem Solving. In: DALT II, LNCS 3476. Springer, pp. 263–279, doi:10.1007/978-3-540-25932-9_14.
  16. Donald Nute (2001): Defeasible Logic. In: Oskar Bartenstein, Ulrich Geske, Markus Hannebauer & Osama Yoshie: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, Lecture Notes in Computer Science 2543. Springer, pp. 151–169, doi:10.1007/3-540-36524-9_13.
  17. Francesco Olivieri, Matteo Cristani & Guido Governatori (2015): Compliant Business Processes with Exclusive Choices from Agent Specification. In: PRIMA 2015, LNCS 9387. Springer, pp. 603–612, doi:10.1007/978-3-319-25524-8_43.
  18. Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest & Silvano Colombo Tosatto (2018): Resource-Driven Substructural Defeasible Logic. In: Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu & Tran Cao Son: Proceedings of PRIMA 2018: Principles and Practice of Multi-Agent Systems, LNCS 11224. Springer-Verlag, pp. 594–602, doi:10.1007/3-540-63139-9_35.
  19. Francesco Olivieri, Guido Governatori, Simone Scannapieco & Matteo Cristani (2013): Compliant Business Process Design by Declarative Specifications. In: PRIMA 2013, LNCS 8291. Springer, pp. 213–228, doi:10.1007/978-3-642-44927-7_15.
  20. Duc Q. Pham & James Harland (2007): Temporal Linear Logic As a Basis for Flexible Agent Interactions. In: AAMAS '07. ACM, pp. 28:1–28:8, doi:10.1145/1329125.1329159.
  21. Duc Quang Pham, James Harland & Michael Winikoff (2008): Modeling Agents' Choices in Temporal Linear Logic. In: DALT V, LNCS 5397. Springer, pp. 140–157, doi:10.1007/978-3-540-77564-5_9.
  22. B. Pradin-Chézalviel, R. Valette & N. Riviére (2010): Petri Nets and Linear Logic. Wiley and sons, doi:10.1002/9780470611647.ch16.
  23. Jinghai Rao, Peep Küngas & Mihhail Matskin (2006): Composition of semantic web services using linear logic theorem proving. Information Systems 31(4-5), pp. 340–360, doi:10.1016/j.is.2005.02.005.
  24. S. Scannapieco, G. Governatori, F. Olivieri & M. Cristani (2013): A methodology for plan revision under norm and outcome compliance. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8291 LNAI, pp. 324–339, doi:10.1007/978-3-642-44927-7_22.
  25. P.P. Tambe & M.S. Kulkarni (2015): A superimposition based approach for maintenance and quality plan optimization with production schedule, availability, repair time and detection time constraints for a single machine. Journal of Manufacturing Systems 37, pp. 17–32, doi:10.1016/j.jmsy.2015.09.009.
  26. M. Tanabe (1997): Timed petri nets and temporal linear logic. In: ICATPN 1997, LNCS 1248, pp. 156–174, doi:10.1007/3-540-63139-9_35.
  27. C. Tomazzoli, M. Cristani, E. Karafili & F. Olivieri (2017): Non-monotonic reasoning rules for energy efficiency. Journal of Ambient Intelligence and Smart Environments 9(3), pp. 345–360, doi:10.3233/AIS-170434.
  28. C. Tomazzoli, M. Cristani, S. Scannapieco & F. Olivieri (2018): Automatic detection of device types by consumption curve. Smart Innovation, Systems and Technologies 96, pp. 164–174, doi:10.1007/978-3-319-92031-3_16.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org