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