Grigoris Antoniou
David Billington
Guido Governatori
Michael J. Maher
2001
Representation results for defeasible logic
ACM Trans. Comput. Log.
2
2
255–287
10.1145/371316.371517
Grigoris Antoniou
David Billington
Guido Governatori
Michael J. Maher
Andrew Rock
2000
A Family of Defeasible Reasoning Logics and its Implementation
Werner Horn
ECAI
IOS Press
459–463
10.1.1.19.2954
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
134–160
10.1016/j.trc.2017.01.015
M. Cristani
E. Karafili
C. Tomazzoli
2014
Energy saving by ambient intelligence techniques
Proceedings - 2014 International Conference on Network-Based Information Systems, NBiS 2014
157–164
10.1109/NBiS.2014.39
M. Cristani
E. Karafili
C. Tomazzoli
2015
Improving energy saving techniques by ambient intelligence scheduling
Proceedings - International Conference on Advanced Information Networking and Applications, AINA
2015-April
324–331
10.1109/AINA.2015.202
M. Cristani
C. Tomazzoli
E. Karafili
F. Olivieri
2016
Defeasible reasoning about electric consumptions
Proceedings - International Conference on Advanced Information Networking and Applications, AINA
2016-May
885–892
10.1109/AINA.2016.62
E. Demeterová
D. Mihályi
V. Novitzká
2016
Component composition using linear logic and Petri nets
2015 IEEE 13th International Scientific Conference on Informatics, INFORMATICS 2015 - Proceedings
91–96
10.1109/Informatics.2015.7377814
Uffe Engberg
Glynn Winskel
1997
Completeness Results for Linear Logic on Petri Nets
Ann. Pure Appl. Logic
86
2
101–135
10.1016/S0168-0072(96)00024-3
Nina Ghanbari Ghooshchi
Nick van Beest
Guido Governatori
Francesco Olivieri
Abdul Sattar
2017
Visualisation of Compliant Declarative Business Processes
EDOC 2017
IEEE Computer Society
89–94
10.1109/EDOC.2017.21
G. Governatori
F. Olivieri
A. Rotolo
S. Scannapieco
M. Cristani
2013
Picking up the best goal an analytical study in defeasible logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
8035
99–113
10.1007/978-3-642-39617-5_12
G. Governatori
F. Olivieri
S. Scannapieco
M. Cristani
2011
Designing for compliance: Norms and goals
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
7018 LNCS
282–297
10.1007/978-3-642-24908-2_29
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
296–324
10.1017/S1471068401001168
Guido Governatori
Antonino Rotolo
2008
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic
Journal of Autonomous Agents and Multi Agent Systems
17
1
36–69
10.1007/s10458-008-9030-4
Max I. Kanovich
Takayasu Ito
1997
Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract)
Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997
IEEE Computer Society
48–57
10.1109/LICS.1997.614928
Peep Küngas
Mihhail Matskin
2004
Linear Logic, Partial Deduction and Cooperative Problem Solving
DALT II
LNCS 3476
Springer
263–279
10.1007/978-3-540-25932-9_14
Donald Nute
2001
Defeasible Logic
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
151–169
10.1007/3-540-36524-9_13
Francesco Olivieri
Matteo Cristani
Guido Governatori
2015
Compliant Business Processes with Exclusive Choices from Agent Specification
PRIMA 2015
LNCS 9387
Springer
603–612
10.1007/978-3-319-25524-8_43
Francesco Olivieri
Guido Governatori
Matteo Cristani
Nick van Beest
Silvano Colombo Tosatto
2018
Resource-Driven Substructural Defeasible Logic
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
594–602
10.1007/3-540-63139-9_35
Francesco Olivieri
Guido Governatori
Simone Scannapieco
Matteo Cristani
2013
Compliant Business Process Design by Declarative Specifications
PRIMA 2013
LNCS 8291
Springer
213–228
10.1007/978-3-642-44927-7_15
Duc Q. Pham
James Harland
2007
Temporal Linear Logic As a Basis for Flexible Agent Interactions
AAMAS '07
ACM
28:1–28:8
10.1145/1329125.1329159
Duc Quang Pham
James Harland
Michael Winikoff
2008
Modeling Agents' Choices in Temporal Linear Logic
DALT V
LNCS 5397
Springer
140–157
10.1007/978-3-540-77564-5_9
B. Pradin-Chézalviel
R. Valette
N. Riviére
2010
Petri Nets and Linear Logic
Wiley and sons
10.1002/9780470611647.ch16
Jinghai Rao
Peep Küngas
Mihhail Matskin
2006
Composition of semantic web services using linear logic theorem proving
Information Systems
31
4-5
340–360
10.1016/j.is.2005.02.005
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
324–339
10.1007/978-3-642-44927-7_22
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
17–32
10.1016/j.jmsy.2015.09.009
M. Tanabe
1997
Timed petri nets and temporal linear logic
ICATPN 1997
LNCS 1248
156–174
10.1007/3-540-63139-9_35
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
345–360
10.3233/AIS-170434
C. Tomazzoli
M. Cristani
S. Scannapieco
F. Olivieri
2018
Automatic detection of device types by consumption curve
Smart Innovation, Systems and Technologies
96
164–174
10.1007/978-3-319-92031-3_16