selected publications
-
academic article
-
Tosatto SCGovernatori GBeest NV. Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time..
CoRR.
abs/2001.10148.
2020
-
Ghanbari Ghooshchi NVan Beest NRTPGovernatori GOlivieri F. Synthesis of Regulation Compliant Business Processes.
IEEE Transactions on Services Computing.
2020
Full text if available -
Ryan PGlass HGovernatori GLindsay DLumsden ANayyar RSalon BWatt M. 2018 Computational Law and Blockchain Festival Symposium Reports: Sydney Node, Part 2.
Stanford Journal of Blockchain Law and Policy.
2.
2019
-
Riveret RGao YGovernatori GRotolo APitt JSartor G. A probabilistic argumentation framework for reinforcement learning agents: Towards a mentalistic approach to agent profiles.
Autonomous Agents and Multi-Agent Systems.
33:216-274.
2019
Full text if available -
Tamargo LHMartinez DCRotolo AGovernatori G. An axiomatic characterization of temporalised belief revision in the law.
Artificial Intelligence and Law.
27:347-367.
2019
Full text if available -
Tosatto SCGovernatori GBeest NVOlivieri F. Efficient full compliance checking of concurrent components for business process models.
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications.
6:963-998.
2019
-
Ahmed JVillata SGovernatori G. Information and friend segregation for online social networks: a user
study.
AI and Society: the journal of human-centered systems and machine intelligence.
34:753-766.
2019
Full text if available -
Governatori GOlivieri FCristani MScannapieco S. Revision of defeasible preferences.
International Journal of Approximate Reasoning.
104:205-230.
2019
Full text if available -
Governatori GRotolo A. Time and compensation mechanisms in checking legal compliance.
Journal of Applied Logic.
6:815-845.
2019
-
Governatori G. 2018 Computational Law and Blockchain Festival Symposium Reports: Sydney Node, Part 1.
Stanford Journal of Blockchain Policy and Law.
1.
2018
-
Riveret RBaroni PGao YGovernatori GRotolo ASartor G. A labelling framework for probabilistic argumentation.
Annals of Mathematics and Artificial Intelligence.
83:21-71.
2018
Full text if available -
Hashmi MGovernatori GLam HPWynn MT. Are we done with business process compliance: state of the art and challenges ahead.
Knowledge and Information Systems.
57:79-133.
2018
Full text if available -
Mendling JWeber IVan Der Aalst WBrocke JVCabanillas CDaniel FDebois SDi Ciccio CDumas MDustdar SGal AGarcía-Bañuelos LGovernatori GHull RLa Rosa MLeopold HLeymann FRecker JReichert MReijers HARinderlema SSolti ARosemann MSchulte SSingh MPSlaats TStaples MWeber BWeidlich MWeske MXu XZhu L. Blockchains for business process management - Challenges and opportunities.
ACM Transactions on Management Information Systems.
9.
2018
Full text if available -
Antoniou GBaryannis GBatsakis SGovernatori GRobaldo LSiragusa GTachmazidis I. Legal Reasoning and Big Data: Opportunities and Challenges.
Easychair Preprint.
470.
2018
-
Hashmi MGovernatori G. Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation.
Artificial Intelligence and Law.
26:251-305.
2018
Full text if available -
Governatori GIdelberger FMilosevic ZRiveret RSartor GXu X. On legal contracts, imperative and declarative smart contracts, and blockchain systems.
Artificial Intelligence and Law.
26:377-409.
2018
Full text if available -
Islam MBGovernatori G. RuleRS: a rule-based architecture for decision support systems.
Artificial Intelligence and Law.
26:315-344.
2018
Full text if available -
Calardo EGovernatori GRotolo A. Sequence Semantics for Modelling Reason-based Preferences.
Fundamenta Informaticae.
158:217-238.
2018
Full text if available -
Governatori GMaher MJ. Annotated defeasible logic.
Theory and Practice of Logic Programming.
17:819-836.
2017
Full text if available -
Kravari KBassiliades NGovernatori G. A policy-based B2C e-Contract management workflow methodology using semantic web agents.
Artificial Intelligence and Law.
24:93-131.
2016
Full text if available -
Hashmi MGovernatori GWynn MT. Normative requirements for regulatory compliance: An abstract formal framework.
Information Systems Frontiers: a journal of research and innovation.
18:429-455.
2016
Full text if available -
Governatori GOlivieri FScannapieco SRotolo ACristani M. The rationale behind the concept of goal.
Theory and Practice of Logic Programming.
16:296-324.
2016
Full text if available -
Colombo Tosatto SKelsen PMa Qel Kharbili MGovernatori Gvan der Torre L. Algorithms for tractable compliance problems.
Frontiers of Computer Science.
9:55-74.
2015
Full text if available -
Tosatto SCGovernatori GKelsen P. Business Process Regulatory Compliance is Hard.
IEEE Transactions on Services Computing.
8:958-970.
2015
Full text if available -
Governatori G. Business Process Compliance: An Abstract Normative Framework.
Information Technology.
55:231-238.
2013
Full text if available -
Governatori GOlivieri FRotolo AScannapieco S. Computing Strong and Weak Permissions in Defeasible Logic.
Journal of Philosophical Logic.
42:799-829.
2013
Full text if available -
Lam HPGovernatori G. Towards a model of UAVs navigation in urban canyon through defeasible logic.
Journal of Logic and Computation.
23:373-395.
2013
Full text if available -
Bench-Capon TAraszkiewicz MAshley KAtkinson KBex FBorges FBourcier DBourgine PConrad JGFrancesconi EGordon TFGovernatori GLeidner JLLewis DDLoui RPMcCarty LTPrakken HSchilder FSchweighofer EThompson PTyrrell AVerheij BWalton DNWyner AZ. A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law.
Artificial Intelligence and Law.
20:215-319.
2012
Full text if available -
Stantic BTerenziani PGovernatori GBottrighi ASattar A. An implicit approach to deal with periodically repeated medical data.
Artificial Intelligence in Medicine.
55:149-162.
2012
Full text if available -
Hoffmann JWeber IGovernatori G. On compliance checking for clausal constraints in annotated process models.
Information Systems Frontiers: a journal of research and innovation.
14:155-177.
2012
Full text if available -
Andrighetto GGovernatori GNoriega PTorre LVD. Normative Multi-Agent Systems (Dagstuhl Seminar 12111)..
Dagstuhl Reports.
2:23-49.
2012
-
Orgun MAGovernatori GLiu CReynolds MSattar A. Special issue on logics for intelligent agents and multi-agent systems.
Journal of Applied Logic.
9:221-222.
2011
Full text if available -
Boella GGovernatori GHulstijn JRiveret RRotolo Avan der Torre L. Time and defeasibility in FIPA ACL semantics.
Journal of Applied Logic.
9:274-288.
2011
Full text if available -
Governatori GIannella R. A modelling and reasoning framework for social networks policies.
Enterprise Information Systems.
5:145-167.
2011
Full text if available -
Kontopoulos EBassiliades NGovernatori GAntoniou G. A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web.
International Journal on Semantic Web and Information Systems.
7:18-43.
2011
Full text if available -
Bassiliades NGovernatori GPaschke ADix J. Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments.
IEEE Transactions on Knowledge and Data Engineering.
22:1489-1491.
2010
Full text if available -
Billington DAntoniou GGovernatori GMaher M. An inclusion theorem for defeasible logics.
ACM Transactions on Computational Logic.
12:1-27.
2010
Full text if available -
Governatori GRotolo A. Changing legal systems: legal abrogations and annulments in Defeasible Logic.
Logic Journal of the IGPL.
18:157-194.
2010
Full text if available -
Stantic BTerenziani PSattar ABottrighi AGovernatori G. Towards an implicit treatment of periodically-repeated medical data.
Studies in Health Technology and Informatics.
160:1131-1135.
2010
Full text if available -
Pham DHGovernatori GThakur S. Extended defeasible reasoning for common goals in n-person argumentation games.
Journal of Universal Computer Science.
15:2671-2693.
2009
-
Orgun MAGovernatori GLiu C. Modal tableaux for verifying stream authentication protocols.
Autonomous Agents and Multi-Agent Systems.
19:53-75.
2009
Full text if available -
Lu RSadiq SGovernatori G. On managing business processes variants.
Data and Knowledge Engineering.
68:642-664.
2009
Full text if available -
Governatori GSantarelli GGovernatori GChambon DLours MRosenbusch PGuena JChapelet FBize STobar MLaurent PPotier TClairon A. Switching atomic fountain clock microwave interrogation signal and high-resolution phase measurements.
IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control.
56:1319-1326.
2009
Full text if available -
Governatori GPadmanabhan VRotolo ASattar A. A defeasible logic for modelling policy-based intentions and motivational attitudes.
Logic Journal of the IGPL.
17:227-265.
2009
Full text if available -
Antoniou GDimaresis NGovernatori G. A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems.
Expert Systems with Applications.
36:4125-4134.
2009
Full text if available -
Governatori GPham DH. DR-CONTRACT: an architecture for e-contracts in defeasible logic.
International Journal of Business Process Integration and Management.
4:187-187.
2009
Full text if available -
Lu RSadiq SGovernatori GYang X. Defining Adaptation Constraints for Business Process Variants.
Lecture Notes in Business Information Processing.
21 LNBIP:145-156.
2009
Full text if available -
Duy HPGovernatori GThakur S. Extended Defeasible Reasoning for Common Goals in n-Person Argumentation Games.
Journal of Universal Computer Science.
15:2653-2675.
2009
-
Lu RSadiq SGovernatori G. Measurement of Compliance Distance in Business Processes.
Information Systems Management.
25:344-355.
2008
Full text if available -
Governatori GRotolo A. BIO logical agents: Norms, beliefs, intentions in defeasible logic.
Autonomous Agents and Multi-Agent Systems.
17:36-69.
2008
Full text if available -
Bartolini CGovernatori GMilosevic Z. Introduction to the Special Issue: Electronic Contract Architectures and Languages.
International Journal of Electronic Commerce.
12:5-8.
2008
Full text if available -
Governatori GStinco GGovernatori GIntersimone DFrattasio APatrone P. Scabetic leukocytoclastic vasculitis.
European Journal of Dermatology.
18:479-481.
2008
Full text if available -
Governatori GRotolo A. A computational framework for institutional agency.
Artificial Intelligence and Law.
16:25-52.
2008
Full text if available -
Governatori GSTINCO GGOVERNATORI GMATTIGHELLO PPATRONE P. Multiple cutaneous neoplasms in a patient with Rothmund–Thomson syndrome: Case report and published work review.
Journal of Dermatology.
35:154-161.
2008
Full text if available -
Antoniou GBikakis ADimaresis NGenetzakis MGeorgalis GGovernatori GKarouzaki EKazepis NKosmadakis DKritsotakis MLilis GPapadogiannakis APediaditis PTerzakis CTheodosaki RZeginis D. Proof explanation for a nonmonotonic Semantic Web rules language.
Data and Knowledge Engineering.
64:662-687.
2008
Full text if available -
Skylogiannis TAntoniou GBassiliades NGovernatori GBikakis A. DR-NEGOTIATE – A system for automated agent negotiation with defeasible logic-based strategies.
Data and Knowledge Engineering.
63:362-380.
2007
Full text if available -
GOVERNATORI GMILOSEVIC Z. A FORMAL ANALYSIS OF A BUSINESS CONTRACT LANGUAGE.
International Journal of Cooperative Information Systems.
15:659-685.
2006
Full text if available -
ANTONIOU GBILLINGTON DGOVERNATORI GMAHER MJ. Embedding defeasible logic into logic programming.
Theory and Practice of Logic Programming.
6:703-735.
2006
Full text if available -
Antoniou GBillington DGovernatori GMaher MJ. Embedding defeasible logic into logic programming..
Theory Pract. Log. Program..
6:703-735.
2006
-
Governatori GRotolo A. Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations.
The Australasian Journal of Logic.
4:193-215.
2006
-
Governatori GRotolo A. On the Axiomatisation of Elgesem's Logic of Agency and Ability.
Journal of Philosophical Logic.
34:403-431.
2005
Full text if available -
MILOSEVIC ZGOVERNATORI G. GUEST EDITORS' INTRODUCTION.
International Journal of Cooperative Information Systems.
14:73-76.
2005
Full text if available -
GOVERNATORI G. REPRESENTING BUSINESS CONTRACTS IN RuleML.
International Journal of Cooperative Information Systems.
14:181-216.
2005
Full text if available -
Milosevic ZGovernatori G. Guest editors' introduction..
Int. J. Cooperative Inf. Syst..
14:73-76.
2005
-
Governatori G. Argumentation Semantics for Defeasible Logic.
Journal of Logic and Computation.
14:675-702.
2004
Full text if available -
Governatori GArtosi A. Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations.
Journal of Logic and Computation.
12:1027-1060.
2002
Full text if available -
Dumas MGovernatori Gter Hofstede AHMOaks P. A formal approach to negotiating agents development.
Electronic Commerce Research and Applications.
1:193-207.
2002
Full text if available -
Antoniou GBillington DGovernatori GMaher MJ. Representation results for defeasible logic.
ACM Transactions on Computational Logic.
2:255-287.
2001
Full text if available -
Antoniou GBillington DGovernatori GMaher MJ. Representation results for defeasible logic..
ACM Trans. Comput. Log..
2:255-287.
2001
-
Antoniou GBillington DGovernatori GMaher MJ. A flexible framework for defeasible logics.
SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000).
cs.AI/0003013:405-410.
2000
-
Artosi AGovernatori G. A tableau methodology for deontic conditional logics.
CoRR.
cs.LO/0003050.
2000
-
Maher MJGovernatori G. Semantic decomposition of defeasible logics.
Proceedings of the National Conference on Artificial Intelligence.
299-305.
1999
-
Governatori GGovernatori GCavagna M. Influence of the Inclusions' Content and Form on the Cold Cracking Susceptibility of C-Mn Steels..
Rivista Italiana della Saldatura.
28:97-104.
1976
-
Tosatto SCGovernatori GBeest NV. Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time..
CoRR.
abs/2001.10148.
2020
-
book
-
Bassiliades NGovernatori GPaschke A. Preface.
Vol. 6826 LNCS.
2011
-
Kinny DHsu JYJGovernatori GGhose A. Agents in Principle, Agents in Practice.
Vol. 7047 LNAI.
2011
Full text if available -
Dix JLeite JGovernatori GJamroga W. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
Vol. 6245 LNAI.
2010
-
Governatori GSartor G. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
Vol. 6181 LNAI.
2010
-
Ghose AGovernatori GSadananda R. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
Vol. 5044 LNAI.
2009
-
Governatori G. Frontiers in Artificial Intelligence and Applications: Preface.
Vol. 205.
2009
-
King ROrlowska MBertino EMcLeod DJajodia SStrous LAbel DAberer KCarlis JCatarci TCooper BGovernatori GKifer MLee DQing LMark LMukkamala RNeuhold EPanda BPitoura ESheth ASi AStaab SWang SChao YZimmermann RBatini CDelcambre LEmbley DWEuzenat JFensel DGuarino NHainaut JLHorrocks IKerschberg LLenzerini MTok WLMarch STMeersman RMylopoulos JNavathe SBOlivé ADe Oliveira JPMParent CRoddick JSchewe KDThalheim BWand YZimányi E. JoDS volume 2 - Guest editorial.
Vol. 3360 LNCS.
2005
-
Bassiliades NGovernatori GPaschke A. Preface.
Vol. 6826 LNCS.
2011
-
chapter
-
Sadiq SGovernatori G. Managing regulatory compliance in business processes.
265-288.
2015
Full text if available -
Kontopoulos EBassiliades NGovernatori GAntoniou G. A modal defeasible reasoner of deontic logic for the semantic web.
140-167.
2013
Full text if available -
Sadiq SGovernatori G. Managing Regulatory Compliance in Business Processes.
159-175.
2010
Full text if available -
Governatori GSadiq S. The Journey to Business Process Compliance.
426-454.
2009
Full text if available -
Lu RSadiq SGovernatori G. A Framework for Utilizing Preferred Work Practice for Business Process Evolution.
39-50.
2007
Full text if available
-
Sadiq SGovernatori G. Managing regulatory compliance in business processes.
265-288.
2015
-
conference paper
-
Governatori GRotolo A. Free choice permission in defeasible deontic logic.
Frontiers in Artificial Intelligence and Applications.
93-102.
2020
Full text if available -
Bhuiyan HGovernatori GBond ADemmel SIslam MBRakotonirainy A. Traffic rules encoding sing defeasible deontic logic.
Frontiers in Artificial Intelligence and Applications.
3-12.
2020
Full text if available -
Tosatto SCGovernatori GBeest NV. Verifying compliance of process compositions through certification of its components.
Proceedings - 2020 IEEE 24th International Enterprise Distributed Object Computing Conference, EDOC 2020.
87-96.
2020
Full text if available -
Bhuiyan HOlivieri FGovernatori GIslam MBBond ARakotonirainy A. A methodology for encoding regulatory rules.
CEUR Workshop Proceedings.
1-13.
2020
-
Governatori G. A short note on the Chisholm paradox.
CEUR Workshop Proceedings.
1-7.
2020
-
Ferraro GLam HTosatto SOlivieri FIslam Mvan Beest NGovernatori G. Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools.
Lecture Notes in Computer Science.
64-81.
2020
Full text if available -
Governatori GCasanovas Romeu Pde Koker L. On the formal representation of the Australian spent conviction scheme.
Lecture Notes in Computer Science.
177-185.
2020
Full text if available -
Casini GCaro LDGovernatori GLeone VMarkovich R. Preface.
CEUR Workshop Proceedings.
2020
-
Tosatto SCGovernatori GRotolo A. Principles and Semantics: Modelling Violations for Normative Reasoning
2020
-
Governatori GRotolo A. A Computational Model for Pragmatic Oddity..
Frontiers in Artificial Intelligence and Applications.
187-192.
2019
Full text if available -
Olivieri FGovernatori GCristani M. Advancements in resource-driven substructural defeasible logic.
Lecture Notes in Computer Science.
247-258.
2019
Full text if available -
Olivieri FGovernatori GTomazzoli CCristani M. Applications of linear defeasible logic: Combining resource consumption and exceptions to energy management and business processes.
Electronic Proceedings in Theoretical Computer Science, EPTCS.
1-14.
2019
Full text if available -
Colombo Tosatto SGovernatori Gvan Beest N. Checking regulatory compliance: will we live to see it?.
Lecture Notes in Computer Science.
119-138.
2019
Full text if available -
Das PKIslam MBGovernatori GHashem MMA. Database independent analysis of adverse events using rule-based systems.
2nd International Conference on Electrical, Computer and Communication Engineering, ECCE 2019.
2019
Full text if available -
Governatori GMullins R. Deontic Closure and Conflict in Legal Reasoning..
Frontiers in Artificial Intelligence and Applications.
181-186.
2019
Full text if available -
Francesconi EGovernatori G. Legal Compliance in a Linked Open Data Framework..
Frontiers in Artificial Intelligence and Applications.
175-180.
2019
Full text if available -
Governatori GRotolo A. Legislative Dialogues with Incomplete Information..
Frontiers in Artificial Intelligence and Applications.
93-102.
2019
Full text if available -
Governatori GRiveret RRotolo AVillata S. Modelling dialogues for optimal legislation.
Proceedings of the 17th International Conference on Artificial Intelligence and Law, ICAIL 2019.
229-233.
2019
Full text if available -
Cristani MOlivieri FGovernatori G. Non-monotonic collective decisions.
Lecture Notes in Computer Science.
387-404.
2019
Full text if available -
Soylu AMoschoyiannis SGovernatori GSimkus MStefaneas PSteen AGiurca A. Preface.
CEUR Workshop Proceedings.
2019
-
Governatori GRotolo ARiveret R. A deontic argumentation framework based on deontic defeasible logic.
Lecture Notes in Computer Science.
484-492.
2018
Full text if available -
Dragoni MVillata SRizzi WGovernatori G. Combining Natural Language Processing Approaches for Rule Extraction from Legal Documents.
Lecture Notes in Computer Science.
287-300.
2018
Full text if available -
Olivieri FGovernatori Gvan Beest NGhooshchi NG. Declarative Approaches for Compliance by Design.
Lecture Notes in Business Information Processing.
80-97.
2018
Full text if available -
Governatori GOlivieri FRiveret RRotolo AVillata S. Dialogues on moral theories.
Deontic Logic and Normative Systems: 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018.
139-155.
2018
-
Batsakis SBaryannis GGovernatori GTachmazidis IAntoniou G. Legal representation and reasoning in practice: A critical comparison.
Frontiers in Artificial Intelligence and Applications.
31-40.
2018
Full text if available -
Ardila JPCGallina BGovernatori G. Lessons Learned while Formalizing ISO 26262 for Compliance Checking..
Proceedings of the JURIX 2018 2nd Workshop on Technologies for Regulatory Compliance.
5-16.
2018
-
Governatori G. Modal rules: Extending defeasible logic with modal operators.
Lecture Notes in Computer Science.
9-30.
2018
Full text if available -
Palmirani MGovernatori G. Modelling legal knowledge for GDPR compliance checking.
Frontiers in Artificial Intelligence and Applications.
101-110.
2018
Full text if available -
Governatori G. Practical normative reasoning with defeasible deontic logic.
Lecture Notes in Computer Science.
1-25.
2018
Full text if available -
Olivieri FGovernatori GCristani Mvan Beest NColombo-Tosatto S. Resource-driven substructural defeasible logic.
Lecture Notes in Computer Science.
594-602.
2018
Full text if available -
Cristani MOlivieri FTomazzoli CGovernatori G. Sending messages in social networks.
Smart Innovation, Systems and Technologies.
123-133.
2018
Full text if available -
Governatori GKeppens J. Preface.
Proceedings of the International Conference on Artificial Intelligence and Law.
vi.
2017
-
Governatori G. A short introduction to the regorous compliance by design methodology.
CEUR Workshop Proceedings.
7-13.
2017
-
Dimyadi JGovernatori GAmor R. Evaluating LegalDocML and LegalRuleML as a Standard for Sharing Normative Information in the AEC/FM Domain.
Proceedings of the Joint Conference on Computing in Construction (JC3).
637-644.
2017
Full text if available -
Gandon FGovernatori GVillata S. Normative requirements as linked data.
Frontiers in Artificial Intelligence and Applications.
1-10.
2017
Full text if available -
Tamargo LHMartinez DCRotolo AGovernatori G. Temporalised belief revision in the law.
Frontiers in Artificial Intelligence and Applications.
49-58.
2017
Full text if available -
Ghooshchi NGVan Beest NGovernatori GOlivieri FSattar A. Visualisation of Compliant Declarative Business Processes.
Proceedings - 2017 IEEE 21st International Enterprise Distributed Object Computing Conference, EDOC 2017.
89-94.
2017
Full text if available -
Idelberger FGovernatori GRiveret RSartor G. Evaluation of logic-based smart contracts for blockchain systems.
Lecture Notes in Computer Science.
167-183.
2016
Full text if available -
Malerba ARotolo AGovernatori G. Interpretation across legal systems.
Frontiers in Artificial Intelligence and Applications.
83-92.
2016
Full text if available -
Lam H-PGovernatori GRiveret R. On ASPIC(+) and Defeasible Logic.
Frontiers in Artificial Intelligence and Applications.
359-370.
2016
Full text if available -
Baroni PGovernatori GRiveret R. On labelling statements in multi-labelling argumentation.
Frontiers in Artificial Intelligence and Applications.
489-497.
2016
Full text if available -
Riveret RGovernatori G. On learning attacks in probabilistic abstract argumentation.
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS.
653-661.
2016
-
Baroni PGovernatori GLam HPRiveret R. On the justification of statements in argumentation-based reasoning.
Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016.
521-524.
2016
-
Alferes JBertossi LGovernatori GFodor PRoman D. Preface.
Lecture Notes in Computer Science.
V-VII.
2016
-
Governatori GHashmi MLam HPVillata SPalmirani M. Semantic business process regulatory compliance checking using LegalRuleML.
Lecture Notes in Computer Science.
746-761.
2016
Full text if available -
Governatori GOlivieri FCalardo ERotolo A. Sequence Semantics for Norms and Obligations.
Deontic Logic and Normative Systems.
93-108.
2016
-
Governatori GOlivieri FCalardo ERotolo ACristani M. Sequence semantics for normative agents.
Lecture Notes in Computer Science.
230-246.
2016
Full text if available -
Weber IXu XRiveret RGovernatori GPonomarev AMendling J. Untrusted business process monitoring and execution using blockchain.
Lecture Notes in Computer Science.
329-347.
2016
Full text if available -
Governatori G. Burden of compliance and burden of violation.
Frontiers in Artificial Intelligence and Applications.
31-40.
2015
Full text if available -
Olivieri FCristani MGovernatori G. Compliant business processes with exclusive choices from agent specification.
Lecture Notes in Computer Science.
603-612.
2015
Full text if available -
Rotolo AGovernatori GSartor G. Deontic defeasible reasoning in legal interpretation: Two options for modelling interpretive arguments.
Proceedings of the International Conference on Artificial Intelligence and Law.
99-108.
2015
Full text if available -
Athan TGovernatori GPalmirani MPaschke AWyner A. LegalRuleML: Design principles and foundations.
Lecture Notes in Computer Science.
151-188.
2015
Full text if available -
Governatori GGrossmann GKolb J. Message from the EVL-BP 2015Workshop Co-Chairs.
Proceedings of the 2015 IEEE 19th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOCW 2015.
2015
Full text if available -
Governatori GHashmi M. No Time for Compliance.
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC.
9-18.
2015
Full text if available -
Governatori GHashmi M. Permissions in deontic event-calculus.
Frontiers in Artificial Intelligence and Applications.
181-182.
2015
Full text if available -
Islam MBGovernatori G. RuleOMS: A rule-based online management system.
Proceedings of the International Conference on Artificial Intelligence and Law.
187-191.
2015
Full text if available -
Calardo EGovernatori GRotolo A. Semantics for modelling reason-based preferences.
Lecture Notes in Computer Science.
101-117.
2015
Full text if available -
Governatori GMaher MJOlivieri FRotolo AScannapieco S. Strategic argumentation under grounded semantics is NP-complete.
Lecture Notes in Computer Science.
379-387.
2015
Full text if available -
Governatori G. The Regorous Approach to Process Compliance.
Proceedings of the 2015 IEEE 19th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOCW 2015.
33-40.
2015
Full text if available -
Governatori G. Thou shalt is not you will.
Proceedings of the International Conference on Artificial Intelligence and Law.
63-68.
2015
Full text if available -
Calardo EGovernatori GRotolo A. A preference-based semantics for CTD reasoning.
Lecture Notes in Computer Science.
49-64.
2014
Full text if available -
Governatori GLam HPRotolo AVillata SAtemezing GGandon F. Checking licenses compatibility between vocabularies and data.
CEUR Workshop Proceedings.
2014
-
Colombo Tosatto SGovernatori GKelsen P. Detecting deontic conflicts in dynamic settings.
Lecture Notes in Computer Science.
65-80.
2014
Full text if available -
Governatori GLam HPRotolo AVillata SAtemezing GGandon F. LIVE: A tool for checking licenses compatibility between vocabularies and data.
CEUR Workshop Proceedings.
77-80.
2014
-
Athan TGovernatori GPalmirani MPaschke AWyner A. Legal interpretations in LegalRuleML.
CEUR Workshop Proceedings.
2014
-
Cardellino CVillata SGandon FGovernatori GLam HPRotolo A. Licentia: A tool for supporting users in data licensing on the web of data.
CEUR Workshop Proceedings.
277-280.
2014
-
Hashmi MGovernatori GWynn MT. Modeling obligations with event-calculus.
Lecture Notes in Computer Science.
296-310.
2014
Full text if available -
Hashmi MGovernatori GWynn MT. Normative Requirements for Business Process Compliance.
Lecture Notes in Business Information Processing.
100-116.
2014
Full text if available -
Allaire MGovernatori G. On the equivalence of defeasible deontic logic and temporal defeasible logic.
Lecture Notes in Computer Science.
74-90.
2014
Full text if available -
Dam HKPitt JXu YGovernatori GIto T. Preface.
Lecture Notes in Computer Science.
2014
-
Ahmed JGovernatori GVan Der Torre LVillata S. Social interaction based audience segregation for online social networks.
CEUR Workshop Proceedings.
186-197.
2014
-
Governatori GOlivieri FScannapieco SRotolo ACristani M. Strategic argumentation is NP-complete.
Frontiers in Artificial Intelligence and Applications.
399-404.
2014
Full text if available -
Governatori GOlivieri FScannapieco SCristani M. The hardness of revising defeasible preferences.
Lecture Notes in Computer Science.
168-177.
2014
Full text if available -
Governatori GOlivieri FRotolo AScannapieco SSartor G. Two Faces of Strategic Argumentation in the Law.
Frontiers in Artificial Intelligence and Applications.
81-90.
2014
Full text if available -
Hashmi MGovernatori G. A methodological evaluation of business process compliance management frameworks.
Lecture Notes in Business Information Processing.
106-115.
2013
Full text if available -
Scannapieco SGovernatori GOlivieri FCristani M. A methodology for plan revision under norm and outcome compliance.
Lecture Notes in Computer Science.
324-339.
2013
Full text if available -
Wyner AGovernatori G. A study on translating regulatory rules from natural language to defeasible logic.
CEUR Workshop Proceedings.
2013
-
Tosatto SCKharbili MEGovernatori GKelsen PMa QVan Der Torre L. Algorithms for basic compliance problems.
Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013.
2-7.
2013
Full text if available -
Olivieri FGovernatori GScannapieco SCristani M. Compliant business process design by declarative specifications.
Lecture Notes in Computer Science.
213-228.
2013
Full text if available -
Governatori GRotolo A. Computing temporal defeasible logic.
Lecture Notes in Computer Science.
114-128.
2013
Full text if available -
Governatori GLam HPRotolo AVillata SGandon F. Heuristics for licenses composition.
Frontiers in Artificial Intelligence and Applications.
77-86.
2013
Full text if available -
Governatori G. ICT Support for Regulatory Compliance of Business Processes..
29th- World Continuous Auditing and Reporting Symposium.
2013
-
Governatori GRotolo AOlivieri FScannapieco S. Legal contractions: A logical analysis.
Proceedings of the International Conference on Artificial Intelligence and Law.
63-72.
2013
Full text if available -
Athan TBoley HGovernatori GPalmirani MPaschke AWyner A. LegalRuleML: From metamodel to use cases (a tutorial).
Lecture Notes in Computer Science.
13-18.
2013
Full text if available -
Athan TBoley HGovernatori GPalmirani MPaschke AWyner A. OASIS LegalRuleML.
Proceedings of the International Conference on Artificial Intelligence and Law.
3-12.
2013
Full text if available -
Governatori GRotolo AVillata SGandon F. One license to compose them all: A deontic logic approach to data licensing on the web of data.
Lecture Notes in Computer Science.
151-166.
2013
Full text if available -
Governatori GOlivieri FRotolo AScannapieco SCristani M. Picking Up the Best Goal: an analytical study in defeasible logic.
Lecture Notes in Computer Science.
99-113.
2013
Full text if available -
Governatori GShek S. Regorous: A business process compliance checker.
Proceedings of the International Conference on Artificial Intelligence and Law.
245-246.
2013
Full text if available -
Singh MPArrott MBalke TChopra AKChristiaanse RCranefield SDignum FEynard DFarcas EFornara NGandon FGovernatori GDam HKHulstijn JKrüger ILam H-PMeisinger MNoriega PSavarimuthu BTRTadanki KVerhagen HVillata S. The uses of norms.
Dagstuhl Follow-Ups.
191-229.
2013
Full text if available -
Tosatto SCGovernatori GKelsen P. Towards an abstract framework for compliance.
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC.
79-88.
2013
Full text if available -
Tosatto SCEl Kharbili MGovernatori GKelsen PMa Qvan der Torre L. Algorithms for basic compliance problems.
Belgian/Netherlands Artificial Intelligence Conference.
2012
-
Governatori GShek S. Rule based business process compliance.
CEUR Workshop Proceedings.
2012
-
Hashmi MGovernatori GWynn MT. Business Process Data Compliance.
Lecture Notes in Computer Science.
32-46.
2012
Full text if available -
Lam H-PGovernatori GSatoh KHosobe H. Distributed Defeasible Speculative Reasoning in Ambient Environment.
Lecture Notes in Computer Science.
43-60.
2012
Full text if available -
Governatori GOlivieri FRotolo AScannapieco S. Narrowing legal concepts.
Frontiers in Artificial Intelligence and Applications.
51-60.
2012
Full text if available -
Thakur SGovernatori GSattar A. On modeling punishment in multi-agent systems..
AAMAS.
1375-1376.
2012
-
Governatori GRotolo ACalardo E. Possible World Semantics for Defeasible Deontic Logic.
Lecture Notes in Computer Science.
46-60.
2012
Full text if available -
Gollapalli MLi XWood IGovernatori G. Approximate Record Matching Using Hash Grams.
Proceedings - IEEE International Conference on Data Mining, ICDM.
504-511.
2011
Full text if available -
Padmanabhan VSattar AGovernatori GRamesh Babu K. Incorporating temporal planning within a BDI architecture.
Proceedings of the 5th Indian International Conference on Artificial Intelligence, IICAI 2011.
1618-1636.
2011
-
Blee JBillington DGovernatori GSattar A. Levels of modality for BDI Logic.
Journal of Applied Logic.
250-273.
2011
Full text if available -
Governatori GGhandar AMichalewicz ZZurbruegg R. A Case for Learning Simpler Rule Sets with Multiobjective Evolutionary Algorithms..
RuleML Europe.
297-304.
2011
-
Governatori GSakurai YUeda SIwasaki AMinato S-IYokoo M. A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams..
PRIMA.
4-18.
2011
-
Governatori GAnicic DRudolph SFodor PStojanovic N. A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams..
RuleML Europe.
138-153.
2011
-
Governatori GLundström JEAceto GHamfelt A. A Dynamic Metalogic Argumentation Framework Implementation..
RuleML Europe.
83-98.
2011
-
Governatori GAlmendros-Jiménez JMLuna AMoreno G. A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming..
RuleML Europe.
186-193.
2011
-
Governatori GJevinger ÅDavidsson PPersson JA. A Framework for Agent-Based Modeling of Intelligent Goods..
PRIMA.
97-112.
2011
-
Governatori GHassanpour SO'Connor MJDas AK. A Framework for the Automatic Extraction of Rules from Online Text..
RuleML Europe.
266-280.
2011
-
Governatori GSong IDillon DGoh TJSung M. A Health Social Network Recommender System..
PRIMA.
361-372.
2011
-
Governatori GBoley H. A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules..
RuleML Europe.
194-211.
2011
-
Governatori GNakajima YHattori H. A Simulator Integration Platform for City Simulations..
PRIMA.
484-495.
2011
-
Governatori GSoo V-WPeng Y-B. A Stochastic Negotiation Approach to Power Restoration Problems in a Smart Grid..
PRIMA.
436-447.
2011
-
Governatori GFurusawa YSugiki YHishiyama R. A Web Service Recommendation System Based on Users' Reputations..
PRIMA.
508-519.
2011
-
Governatori GChang T-HKuo Y-LHsu JY-J. ACTraversal: Ranking Crowdsourced Commonsense Assertions and Certifications..
PRIMA.
234-246.
2011
-
Governatori GNoda I. Adaption of Stepsize Parameter Using Newton's Method..
PRIMA.
349-360.
2011
-
Governatori GPedell SSterling L. Agent-Based Modelling for Understanding Sustainability..
PRIMA.
398-409.
2011
-
Governatori G. Agents in Principle, Agents in Practice - 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings.
PRIMA.
2011
-
Governatori GNalepa GJBobek SLigeza AKaczor K. Algorithms for Rule Inference in Modularized Rule Bases..
RuleML Europe.
305-312.
2011
-
Governatori GSørensen JCJørgensen BNKlein MDemazeau Y. An Agent-Based Extensible Climate Control System for Sustainable Greenhouse Production..
PRIMA.
218-233.
2011
-
Governatori GAziz AATreur JWal CNVD. An Agent-Based Model for Integrated Contagion and Regulation of Negative Mood..
PRIMA.
83-96.
2011
-
Governatori GHoogendoorn MLambalgen RVTreur J. An Integrated Agent Model Addressing Situation Awareness and Functional State in Decision Making..
PRIMA.
385-397.
2011
-
Governatori GMihailescu R-CVasirani MOssowski S. An Investigation of Emergent Collaboration under Uncertainty and Minimal Information in Energy Domains..
PRIMA.
472-483.
2011
-
Governatori GHermenegildo MVBueno FCarro MLópez-García PHaemmerlé RMera EMorales JFPuebla G. An Overview of the Ciao System..
RuleML Europe.
2-2.
2011
-
Governatori GToniolo ANorman TJSycara KP. Argumentation Schemes for Collaborative Planning..
PRIMA.
323-335.
2011
-
Governatori GSavarimuthu BTRArulanandam RPurvis M. Aspects of Active Norm Learning and the Effect of Lying on Norm Emergence in Agent Societies..
PRIMA.
36-50.
2011
-
Governatori GMaheswaran RTSzekely PASanchez R. Automated Adaptation of Strategic Guidance in Multiagent Coordination..
PRIMA.
247-262.
2011
-
Governatori GTai WKeeney JO'Sullivan D. COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices..
RuleML Europe.
212-226.
2011
-
Governatori GKuo Y-LHsu JY-J. Capability Modeling of Knowledge-Based Agents for Commonsense Knowledge Integration..
PRIMA.
299-310.
2011
-
Governatori GSiddiqui ZFSpiliopoulou M. Classification Rule Mining for a Stream of Perennial Objects..
RuleML Europe.
281-296.
2011
-
Governatori GDelgado-Roman MDCSierra C. Coalition-Oriented Sensing in Wireless Sensor Networks..
PRIMA.
448-459.
2011
-
Governatori GCostantini SDell'Acqua PPereira LM. Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents..
RuleML Europe.
250-265.
2011
-
Governatori GHoz EDLLópez-Carmona MAKlein MMarsá-Maestre I. Consensus Policy Based Multi-agent Negotiation..
PRIMA.
159-173.
2011
-
Governatori GPitt JSchaumeier JArtikis A. Coordination, Conventions and the Self-organisation of Sustainable Institutions..
PRIMA.
202-217.
2011
-
Governatori GKagifuku RMatsubara S. Costly Voting with Sequential Participation..
PRIMA.
68-82.
2011
-
Governatori GKravari KOsmun TMBoley HBassiliades N. Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems..
RuleML Europe.
44-51.
2011
-
Governatori GMorcillo PJMoreno GPenabad JVázquez C. Declarative Traces into Fuzzy Computed Answers..
RuleML Europe.
170-185.
2011
-
Governatori GOlivieri FScannapieco SCristani M. Designing for Compliance: Norms and Goals.
Lecture Notes in Computer Science.
282-297.
2011
Full text if available -
Governatori GHanada KHirayama K. Distributed Lagrangian Relaxation Protocol for the Over-constrained Generalized Mutual Assignment Problem..
PRIMA.
174-186.
2011
-
Governatori GFrantz CNowostawski MPurvis MK. Dynamic Ad Hoc Coordination of Distributed Tasks Using Micro-Agents..
PRIMA.
275-286.
2011
-
Governatori GObweger HSchiefer JSuntinger MThullner R. Entity-Based State Management for Complex Event Processing Applications..
RuleML Europe.
154-169.
2011
-
Governatori GVolkov MCornejo ALynch NARus D. Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration..
PRIMA.
19-35.
2011
-
Governatori GKravari KPapatheodorou CAntoniou GBassiliades N. Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers..
RuleML Europe.
29-43.
2011
-
Padmanabhan VGovernatori GSattar A. Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms.
Lecture Notes in Computer Science.
63-74.
2011
Full text if available -
Governatori GSonenberg L. From Notions to Models and Back Again, Again..
PRIMA.
3-3.
2011
-
Governatori GTambe M. Game Theory for Security: Lessons Learned from Deployed Applications..
PRIMA.
1-1.
2011
-
Governatori GSharpanskykh ATreur J. Group Abstraction for Large-Scale Agent-Based Social Diffusion Models with Unaffected Agents..
PRIMA.
129-142.
2011
-
Governatori GNalepa GJBobek SLigeza AKaczor K. HalVA - Rule Analysis Framework for XTT2 Rules..
RuleML Europe.
337-344.
2011
-
Governatori GOkaya MTakahashi T. Human Relationship Modeling in Agent-Based Crowd Evacuation Simulation..
PRIMA.
496-507.
2011
-
Governatori GSando MHishiyama R. Human-Centered Planning for Adaptive User Situation in Ambient Intelligence Environment..
PRIMA.
520-531.
2011
-
Governatori GWojnicki I. Implementing General Purpose Applications with the Rule-Based Approach..
RuleML Europe.
360-367.
2011
-
Governatori GNazarenko AGuissé ALévy FOmrane NSzulman S. Integrating Written Policies in Business Rule Management Systems..
RuleML Europe.
99-113.
2011
-
Governatori GRotolo A. Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance.
Lecture Notes in Computer Science.
364-382.
2011
Full text if available -
Governatori GGini MLHoogendoorn MLambalgen RV. Learning Belief Connections in a Model for Situation Awareness..
PRIMA.
373-384.
2011
-
Palmirani MGovernatori GRotolo ATabet SBoley HPaschke A. LegalRuleML: XML-Based Rules and Norms.
Lecture Notes in Computer Science.
298-312.
2011
Full text if available -
Governatori GTreur J. Modelling Joint Decision Making Processes Involving Emotion-Related Valuing and Empathic Understanding..
PRIMA.
410-423.
2011
-
Palmirani MGovernatori GContissa G. Modelling temporal legal rules.
Proceedings of the 13th International Conference on Artificial Intelligence and Law - ICAIL '11.
131-135.
2011
Full text if available -
Governatori GDamásio CVAnalyti AAntoniou G. Modularity in the Rule Interchange Format..
RuleML Europe.
313-328.
2011
-
Governatori GMehdizadeh HArtel ABrey EMCinar A. Multi-Agent Systems for Biomedical Simulation: Modeling Vascularization of Porous Scaffolds..
PRIMA.
113-128.
2011
-
Governatori GMarsá-Maestre IKlein MHoz EDLLópez-Carmona MA. Negowiki: A Set of Community Tools for the Consistent Comparison of Negotiation Approaches..
PRIMA.
424-435.
2011
-
Governatori GSuenson ELilius JPorres I. OWL Web Ontology Language as a Scripting Language for Smart Space Applications..
RuleML Europe.
368-375.
2011
-
Governatori GStojanovic NArtikis A. On Complex Event Processing for Real-Time Situational Awareness..
RuleML Europe.
114-121.
2011
-
Governatori G. On the relationship between Carneades and Defeasible Logic.
Proceedings of the 13th International Conference on Artificial Intelligence and Law - ICAIL '11.
31-40.
2011
Full text if available -
Gollapalli MLi XWood IGovernatori G. Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts.
Lecture Notes in Computer Science.
252-265.
2011
Full text if available -
Governatori GNalepa GJLigeza AKaczor K. Overview of Knowledge Formalization with XTT2 Rules..
RuleML Europe.
329-336.
2011
-
Governatori GWakaki T. Preference-Based Argumentation Handling Dynamic Preferences Built on Prioritized Logic Programming..
PRIMA.
336-348.
2011
-
Governatori GLekeas GKloukinas CStathis K. Producing Enactable Protocols in Artificial Agent Societies..
PRIMA.
311-322.
2011
-
Governatori GHu CMao XZhou H. Programming Dynamics of Multi-Agent Systems..
PRIMA.
287-298.
2011
-
Governatori GEkron KBijker JEhlers EM. Reducing the Environmental Impact of New Construction Projects through General Purpose Building Design and Multi-agent Crowd Simulation..
PRIMA.
460-471.
2011
-
Governatori GAnicic DRudolph SFodor PStojanovic N. Retractable Complex Event Processing and Stream Reasoning..
RuleML Europe.
122-137.
2011
-
Governatori GOlivieri FRotolo AScannapieco S. Three concepts of defeasible permission.
Frontiers in Artificial Intelligence and Applications.
63-72.
2011
Full text if available -
Lam H-PGovernatori G. What Are the Necessity Rules in Defeasible Reasoning?.
Lecture Notes in Computer Science.
187-192.
2011
Full text if available -
Governatori GRotolo A. A conceptually rich model of business process compliance.
Conferences in Research and Practice in Information Technology Series.
3-12.
2010
-
Song IGovernatori GDiederich L. Automatic synthesis of reactive agents.
2010 11th International Conference on Control Automation Robotics & Vision.
970-975.
2010
Full text if available -
Kamada AGovernatori GSadiq S. SBVR based business contract and business rule IDE.
CEUR Workshop Proceedings.
2010
-
Kravari KKastori GEBassiliades NGovernatori G. A contract agreement policy-based workflow methodology for agents interacting in the semantic web.
Lecture Notes in Computer Science.
225-239.
2010
Full text if available -
Governatori GRotolo A. Norm compliance in business process modeling.
Lecture Notes in Computer Science.
194-209.
2010
Full text if available -
Lam HPGovernatori G. On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic.
Lecture Notes in Computer Science.
119-127.
2010
Full text if available -
Governatori GOlivieri FScannapieco SCristani M. Superiority based revision of defeasible theories.
Lecture Notes in Computer Science.
104-118.
2010
Full text if available -
Kamada AGovernatori GSadiq S. Transformation of SBVR compliant business rules to executable FCL rules.
Lecture Notes in Computer Science.
153-161.
2010
Full text if available -
Governatori G. Law, logic and business processes.
2010 Third International Workshop on Requirements Engineering and Law.
1-10.
2010
Full text if available -
Song IGovernatori GDiederich J. Layered argumentation for Fuzzy automation controllers.
2010 IEEE Conference on Cybernetics and Intelligent Systems.
189-194.
2010
Full text if available -
Governatori GCostantini STocchio A. A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages..
CLIMA.
238-255.
2010
-
Governatori GPiolle G. A Dyadic Operator for the Gradation of Desirability..
DEON.
33-49.
2010
-
Governatori GLorini E. A Logical Analysis of Commitment Dynamics..
DEON.
288-305.
2010
-
Governatori GDung PMSartor G. A Logical Model of Private International Law..
DEON.
229-246.
2010
-
Boella GGovernatori GRotolo AVan Der Torre L. A logical understanding of legal interpretation.
Proceedings of the International Workshop on Temporal Representation and Reasoning.
563-565.
2010
-
Governatori GKowalski RASadri F. An Agent Language with Destructive Assignment and Model-Theoretic Semantics..
CLIMA.
200-218.
2010
-
Governatori GMeheus JBeirlaen MPutte FVD. Avoiding Deontic Explosion by Contextually Restricting Aggregation..
DEON.
148-165.
2010
-
Governatori GFrench TMcCabe-Dansted JCReynolds M. Axioms for Obligation and Robustness with Temporal Logic..
DEON.
66-83.
2010
-
Governatori GSartor G. Burdens of proof in monological argumentation.
Frontiers in Artificial Intelligence and Applications.
57-66.
2010
Full text if available -
Governatori GMastop R. Characterising Responsibility in Organisational Structures: The Problem of Many Hands..
DEON.
274-287.
2010
-
Governatori GBenzmüller C. Combining Logics in Simple Type Theory..
CLIMA.
33-48.
2010
-
Governatori G. Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings.
CLIMA.
2010
-
Governatori G. Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings.
DEON.
2010
-
Governatori GTorre LWNVD. Deontic Redundancy: A Fundamental Challenge for Deontic Logic..
DEON.
11-32.
2010
-
Governatori GBenthem JVGrossi DLiu F. Deontics = Betterness + Priority..
DEON.
50-65.
2010
-
Governatori GBianco AFaella MMogavero FMurano A. Exploring the Boundary of Half Positionality..
CLIMA.
171-185.
2010
-
Governatori GCalta JShkatov DSchlingloff B-H. Finding Uniform Strategies for Multi-agent Systems..
CLIMA.
135-152.
2010
-
Governatori GTurrini PGrossi DBroersen JMMeyer J-JC. Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems..
DEON.
306-322.
2010
-
Governatori GGóngora PAUfferman EQuiroz FH. Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi-Calculus Processes..
CLIMA.
65-81.
2010
-
Governatori GConte RAndrighetto GVillatoro D. From Norm Adoption to Norm Internalization..
DEON.
1-1.
2010
-
Governatori GHübner JFBoissier OBordini RH. From Organisation Specification to Normative Programming in Multi-Agent Organisations..
CLIMA.
117-134.
2010
-
Governatori GMeyden RVD. Games, Norms and Strategic Notions in Information Flow Security..
CLIMA.
8-8.
2010
-
Governatori GÅgotnes T. Group Announcements: Logic and Games (Abstract of Invited Talk)..
CLIMA.
9-13.
2010
-
Governatori GMore SMNaumov P. Hypergraphs of Multiparty Secrets..
CLIMA.
15-32.
2010
-
Governatori GRotolo ARubino R. Implementing Temporal Defeasible Logic for Modeling Legal Reasoning.
Lecture Notes in Computer Science.
45-58.
2010
Full text if available -
Governatori GEvans R. Introducing Exclusion Logic as a Deontic Logic..
DEON.
179-195.
2010
-
Governatori GWalsh T. Is Computational Complexity a Barrier to Manipulation?.
CLIMA.
1-7.
2010
-
Boella GGovernatori GRotolo Avan der Torre L. Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation.
Lecture Notes in Computer Science.
162-183.
2010
Full text if available -
Governatori GJongmans S-STQHindriks KVRiemsdijk MBV. Model Checking Agent Programs by Using the Program Interpreter..
CLIMA.
219-237.
2010
-
Governatori GParent X. Moral Particularism and Deontic Logic..
DEON.
84-97.
2010
-
Governatori GSergot MJ. Norms, Action and Agency in Multi-agent Systems..
DEON.
2-2.
2010
-
Governatori GAbraham MGabbay DMSchild UJ. Obligations and Prohibitions in Talmudic Deontic Logic..
DEON.
166-178.
2010
-
Governatori GGhosh SRamanujam RSimon SE. Playing Extensive Form Games in Parallel..
CLIMA.
153-170.
2010
-
Governatori GAucher GBoella GTorre LWNVD. Privacy Policies with Modal Logic: The Dynamic Turn..
DEON.
196-213.
2010
-
Governatori GZvesper JAApt KR. Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets..
CLIMA.
186-199.
2010
-
Governatori GDemolombe R. Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents..
DEON.
259-273.
2010
-
Governatori GStolpe A. Relevance, Derogation and Permission..
DEON.
98-115.
2010
-
Governatori GRotolo A. Retroactive Legal Changes and Revision Theory in Defeasible Logic..
DEON.
116-131.
2010
-
Governatori GMa JBroda KGoebel RHosobe HRusso ASatoh K. Speculative Abductive Reasoning for Hierarchical Agent Systems..
CLIMA.
49-64.
2010
-
Governatori GWoltran S. Strong Equivalence in Argumentation..
CLIMA.
14-14.
2010
-
Palmirani MGovernatori GContissa G. Temporal dimensions in rules modelling.
Frontiers in Artificial Intelligence and Applications.
159-162.
2010
Full text if available -
Governatori GTrypuz RKulicki P. Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra..
DEON.
132-147.
2010
-
Governatori GTaruffo M. Towards a Logical Analysis of the Judgment on Facts..
DEON.
3-10.
2010
-
Stantic BTerenziani PSattar ABottrighi AGovernatori G. Towards an implicit treatment of periodically-repeated medical data.
Studies in Health Technology and Informatics.
1131-1135.
2010
Full text if available -
Governatori GBurgemeestre BHulstijn JTan Y-H. Value-Based Argumentation for Justifying Compliance..
DEON.
214-228.
2010
-
Governatori GD'Aprile DGiordano LGliozzi VMartelli APozzato GLDupré DT. Verifying Business Process Compliance by Reasoning about Actions..
CLIMA.
99-116.
2010
-
Governatori GKafali ÖChesani FTorroni P. What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior..
CLIMA.
82-98.
2010
-
Governatori GLokhorst G-JC. Where Did Mally Go Wrong?.
DEON.
247-258.
2010
-
Lam HPThakur SGovernatori GSattar A. A model to coordinate UAVs in urban environments using defeasible logic.
CEUR Workshop Proceedings.
2009
-
Hu YJYeh CLLaun WGovernatori GHall JPaschke A. Preface.
CEUR Workshop Proceedings.
2009
-
Governatori GIannella R. Modelling and Reasoning Languages for Social Networks Policies.
2009 IEEE International Enterprise Distributed Object Computing Conference.
193-200.
2009
Full text if available -
Governatori GRubino RRotolo A. A Java Implementation of Temporal Defeasible Logic..
RuleML.
297-304.
2009
-
Governatori GMarie CDS. A Modest Proposal to Enable RIF Dialects with Limited Forward Compatibility..
RuleML.
17-28.
2009
-
Governatori GHassanpour SO'Connor MJDas AK. A Rule Management and Elicitation Tool for SWRL Rule Bases..
RuleML Challenge.
2009
-
Governatori GMüller J. A Rule-Based Approach to Match Structural Patterns with Business Process Models..
RuleML.
208-215.
2009
-
Governatori GMpagouli AHatzilygeroudis I. A Rule-Based System Implementing a Method for Translating FOL Formulas into NL Sentences..
RuleML.
167-181.
2009
-
Governatori GBench-Capon TJMPrakken H. A case study of hypothetical and value-based reasoning in US Supreme-Court cases..
JURIX.
11-20.
2009
-
Governatori GStein SStamber CEl Kharbili M. ARIS for Semantic Business Process Management.
Lecture Notes in Business Information Processing.
498-509.
2009
-
Governatori G. Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers.
PRIMA.
2009
-
Governatori GFrancesconi E. An Approach to Legal Rules Modelling and Automatic Learning..
JURIX.
59-68.
2009
-
Eriksson Lundström JGovernatori GThakur SPadmanabhan V. An Asymmetric Protocol for Argumentation Games in Defeasible Logic.
Lecture Notes in Computer Science.
219-231.
2009
Full text if available -
Governatori GSabri LChibani ABeck JZarri GPAmirat YBrunner J-SGatellier P. An Editor for Micro-Concept Rules Design..
RuleML Challenge.
2009
-
Governatori GMcCaffrey JDDierking H. An Empirical Study of Unsupervised Rule Set Extraction of Clustered Categorical Data Using a Simulated Bee Colony Algorithm..
RuleML.
182-192.
2009
-
Governatori GLiebwald D. An Ontology for the Implementation of the EU Services Directive..
JURIX.
100-105.
2009
-
Governatori GMarinos AKrause PJ. An SBVR Framework for RESTful Web Applications..
RuleML.
144-158.
2009
-
Governatori GMansour EHöpfner H. An XML-Based Manipulation and Query Language for Rule-Based Information..
RuleML.
231-245.
2009
-
Governatori GNickles MSottara D. Approaches to Uncertain or Imprecise Rules - A Survey..
RuleML.
323-336.
2009
-
Governatori GLynch CFAshley KDPinkwart NAleven V. Argument Diagramming and Diagnostic Reliability..
JURIX.
106-115.
2009
-
Governatori GMaat EDVen SVDWinkels REngers TMV. Automated Handling of Amending Documents and Resulting Consolidations..
JURIX.
116-125.
2009
-
Governatori GHoekstra R. BestPortal: Lessons Learned in Lightweight Semantic Access to Court Proceedings..
JURIX.
69-78.
2009
-
Governatori GHawke S. Bringing Order to Chaos: RIF as the New Standard for Rule Interchange..
RuleML.
1-1.
2009
-
Governatori GHu Y-JYeh C-LLaun W. Challenges for Rule Systems on the Web..
RuleML.
4-16.
2009
-
Governatori GKeppens J. Conceptions of Vagueness in Subjective Probability for Evidential Reasoning..
JURIX.
89-99.
2009
-
Dastani MGovernatori GRotolo ASong Ivan der Torre L. Contextual Agent Deliberation in Defeasible Logic.
Lecture Notes in Computer Science.
98-109.
2009
Full text if available -
Governatori GSchiefer JObweger HSuntinger M. Correlating Business Events for Event-Triggered Rules..
RuleML.
67-81.
2009
-
Governatori GVen SVDBoer AEngers TMV. Dealing with Changes to Legislation in Networked Environments..
JURIX.
182-187.
2009
-
Governatori GHoffmann JSadiq SWeber I. Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.
Lecture Notes in Business Information Processing.
5-17.
2009
Full text if available -
Governatori GFörhécz AKorösi GMillinghoffer AStrausz G. Emerald: Legal Knowledge Engineering Using OWL and Rules..
JURIX.
53-58.
2009
-
Governatori GLaun W. Event Processing in an Object-Oriented Rule-Based System..
RuleML Challenge.
2009
-
Governatori GOpsomer RMeyer GDCornelis CEetvelde GV. Exploiting Properties of Legislative Texts to Improve Classification Accuracy..
JURIX.
136-145.
2009
-
Governatori GHassanpour SO'Connor MJDas AK. Exploration of SWRL Rule Bases through Visualization, Paraphrasing, and Categorization of Rules..
RuleML.
246-261.
2009
-
Governatori GPalmirani MContissa GRubino R. Fill the Gap in the Legal Knowledge Modelling..
RuleML.
305-314.
2009
-
Governatori GBoella GPigozzi GTorre LWNVD. Five Guidelines for Normative Multiagent Systems..
JURIX.
21-30.
2009
-
Governatori GWulff NSottara D. Fuzzy Reasoning with a Rete-OO Rule Engine..
RuleML.
337-344.
2009
-
Governatori GSonntag M. Generating Cases for E-Learning..
JURIX.
172-181.
2009
-
Governatori GBohlken WNeumann B. Generation of Rules from Ontologies for High-Level Scene Interpretation..
RuleML.
93-107.
2009
-
Governatori GGao SBoley HMioc DAnton FYi X. Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information..
RuleML.
272-281.
2009
-
Governatori GRotolo A. How Do Agents Comply with Norms?.
2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.
488-491.
2009
Full text if available -
Governatori GRotolo A. How Do Agents Comply with Norms?.
Normative Multi-Agent Systems.
2009
-
Governatori GLinehan MHPutrycz E. Introduction to "Rule Transformation and Extraction" Track..
RuleML.
137-143.
2009
-
Governatori GMartínez-Fernández JLCristóbal JCGMartínez P. K-Site Rules at the RuleML Challenge 2009..
RuleML Challenge.
2009
-
Governatori GKiryakov AOgnyanoff DVelkov RTashev ZPeikov I. LDSR: Materialized Reason-able View to the Web of Linked Data..
RuleML Challenge.
2009
-
Governatori GPalmirani MCervone L. Legal Change Management with a Native XML Repository..
JURIX.
146-155.
2009
-
Governatori G. Legal Knowledge and Information Systems - JURIX 2009: The Twenty-Second Annual Conference on Legal Knowledge and Information Systems, Rotterdam, The Netherlands, 16-18 December 2009.
JURIX.
2009
-
Governatori GJedrzejek CFalkowski MSmolenski M. Link Analysis of Fuel Laundering Scams and Implications of Results for Scheme Understanding and Prosecutor Strategy..
JURIX.
79-88.
2009
-
Governatori GBoer A. MetaLex Naming Conventions and the Semantic Web..
JURIX.
31-36.
2009
-
Governatori GMayor EIzquierdo LRSartor G. Nice and Nasty Lawyers, is the Legal System to Blame? - Agent-based simulation insights..
JURIX.
126-135.
2009
-
Governatori GBhat TN. On the Creation of Structural FaceBook using Rule-Based Methods to Build and Exchange Ontology for Drug Design..
RuleML Challenge.
2009
-
Governatori G. Proceedings of the 3rd International RuleML-2009 Challenge, collocated with the 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009), Las Vegas, Nevada, USA, November 5-7, 2009..
RuleML Challenge.
2009
-
Governatori GKumar AYao W. Process Materialization Using Templates and Rules to Design Flexible Process Models..
RuleML.
122-136.
2009
-
Governatori GAbdelhalim ATraoré ISayed B. RBDT-1: A New Rule-Based Decision Tree Generation Technique..
RuleML.
108-121.
2009
-
Governatori GBoley H. RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core..
RuleML.
29-42.
2009
-
Governatori G. Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings.
RuleML.
2009
-
Governatori GPaschke AKozlenkov A. Rule-Based Event Processing and Reaction Rules..
RuleML.
53-66.
2009
-
Governatori GBurgemeestre BHulstijn JTan Y-H. Rule-based versus Principle-based Regulatory Compliance..
JURIX.
37-46.
2009
-
Gordon TFGovernatori GRotolo A. Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain.
Lecture Notes in Computer Science.
282-296.
2009
Full text if available -
Governatori GPazienza MTScarpato NStellato A. STIA: Experience of Semantic Annotation in Jurisprudence Domain..
JURIX.
156-161.
2009
-
Governatori GTeymourian KPaschke A. Semantic Rule-Based Complex Event Processing..
RuleML.
82-92.
2009
-
Governatori GChapin D. Terminology: The Semantic Foundation for an Organizations Executable Rules..
RuleML.
3-3.
2009
-
Lam H-PGovernatori G. The Making of SPINdle.
Lecture Notes in Computer Science.
315-322.
2009
Full text if available -
Governatori GCarneiro DNovais PAndrade FZeleznikow JNeves J. The legal precedent in online dispute resolution.
Frontiers in Artificial Intelligence and Applications.
47-52.
2009
Full text if available -
Governatori GCirstea HMoreau P-EReilles A. TomML: A Rule Language for Structured Data..
RuleML.
262-271.
2009
-
Governatori GSottara DMello PProctor M. Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems..
RuleML.
345-352.
2009
-
Governatori GMartínez-Fernández JLFernández PMCristóbal JCG. Towards an Improvement of Software Development Processes through Standard Business Rules..
RuleML.
159-166.
2009
-
Governatori GRomeikat RSinsel MBauer B. Transformation of Graphical ECA Policies into Executable PonderTalk Code..
RuleML.
193-207.
2009
-
Governatori GSatoh KKubota MNishigai YTakano C. Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming..
JURIX.
162-171.
2009
-
Governatori GBak JJedrzejek CFalkowski M. Usage of the Jess Engine, Rules and Ontology to Query a Relational Database..
RuleML.
216-230.
2009
-
Governatori GYeh C-LLin K-CKuan M-J. Using Rule Technology for Fraud Prevention in Government Insurance..
RuleML Challenge.
2009
-
Governatori GBoley HOsmun TMCraig BL. WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation..
RuleML.
43-52.
2009
-
Governatori GOsmun TMCraig BLBoley H. WellnessRules: The Activity Rule Responder..
RuleML Challenge.
2009
-
Governatori GVincent P. Why Rules Matter in Complex Event Processing...and Vice Versa..
RuleML.
2-2.
2009
-
Governatori GBarabucci GVitali F. XDTD as a Simple Validation Language for XML-based Legal Documents..
JURIX.
1-10.
2009
-
Pham DHGovernatori GRaboczi SNewman AThakur S. On extending RuleML for modal defeasible logic.
Lecture Notes in Computer Science.
89-103.
2008
Full text if available -
Weber IGovernatori GHoffmann J. Approximate compliance checking for annotated process models.
CEUR Workshop Proceedings.
46-60.
2008
-
Kontopoulos EBassiliades NGovernatori GAntoniou G. Extending a Defeasible Reasoner with Modal and Deontic Logic Operators.
2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.
626-629.
2008
Full text if available -
Governatori G. Labelled modal tableaux.
Advances in Modal Logic 2006.
87-110.
2008
-
Blee JBillington DGovernatori GSattar A. Levels of Modalities for BDI Logic.
2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.
647-650.
2008
Full text if available -
Boella GGovernatori GHulstijn JRiveret RRotolo Avan der Torre L. Time and Defeasibility in FIPA ACL Semantics.
2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.
634-637.
2008
Full text if available -
Governatori GTallis MBalzer R. A Functional Spreadsheet Framework for Authoring Logic Implication Rules..
RuleML.
219-226.
2008
-
Governatori GKumar ALiu R. A Rule-Based Framework Using Role Patterns for Business Process Compliance..
RuleML.
58-72.
2008
-
Governatori GStrano MMolina-Jiménez CShrivastava SK. A Rule-Based Notation to Specify Executable Electronic Contracts..
RuleML.
81-88.
2008
-
Governatori GGao SMioc DBoley HAnton FYi X. A RuleML Study on Integrating Geographical and Health Information..
RuleML.
174-181.
2008
-
Governatori GThakur SPham DH. A compliance model of trust.
Frontiers in Artificial Intelligence and Applications.
118-127.
2008
Full text if available -
Antoniou GDimaresis NGovernatori G. A system for modal and deontic defeasible reasoning.
Proceedings of the 2008 ACM symposium on Applied computing - SAC '08.
2261-2265.
2008
Full text if available -
Governatori GBuffett S. Abductive Workflow Mining Using Binary Resolution on Task Successor Rules..
RuleML.
47-57.
2008
-
Governatori GSottara DMello PProctor M. Adding Uncertainty to a Rete-OO Inference Engine..
RuleML.
104-118.
2008
-
Governatori GRotolo A. An algorithm for business process compliance.
Frontiers in Artificial Intelligence and Applications.
186-191.
2008
Full text if available -
Governatori GNitta K. Building an Autopoietic Knowledge Structure for Natural Language Conversational Agents..
RuleML.
211-218.
2008
-
Governatori GRotolo A. Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories.
Lecture Notes in Computer Science.
3-18.
2008
Full text if available -
Governatori GRotolo A. Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic..
NORMAS.
112-127.
2008
-
Lu RSadiq SGovernatori G. Compliance Aware Business Process Design.
Lecture Notes in Computer Science.
120-131.
2008
Full text if available -
Governatori GPutrycz EKark AW. Connecting Legacy Code, Business Rules and Documentation..
RuleML.
17-30.
2008
-
Governatori GMoskal JMatheus CJ. Detection of Suspicious Activity Using Different Rule Engines - Comparison of BaseVISor, Jena and Jess Rule Engines..
RuleML.
73-80.
2008
-
Governatori GZacharias V. Development and Verification of Rule Based Systems - A Survey of Developers..
RuleML.
6-16.
2008
-
Governatori GHaley P. Event and Process Semantics Will Rule..
RuleML.
4-5.
2008
-
Padmanabhan VGovernatori GThakur S. Knowledge Assessment: A Modal Logic Approach.
Lecture Notes in Computer Science.
315-322.
2008
Full text if available -
Governatori GBikakis AAntoniou G. Local and Distributed Defeasible Reasoning in Multi-Context Systems..
RuleML.
135-149.
2008
-
Governatori GOstrowski DA. Meta-analysis for Validation and Strategic Planning..
RuleML.
39-46.
2008
-
Governatori GCraig BLBoley H. Personal Agents in the Rule Responder Architecture..
RuleML.
150-165.
2008
-
Governatori GHallmark GMarie CDSFabro MDDAlbert PPaschke A. Please Pass the Rules: A Rule Interchange Demonstration..
RuleML.
227-235.
2008
-
Governatori GMorcillo PJMoreno G. Programming with Fuzzy Logic Rules by Using the FLOPER Tool..
RuleML.
119-126.
2008
-
Governatori GKifer M. Rule Interchange Format: The Framework..
RuleML.
1-2.
2008
-
Governatori G. Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings.
RuleML.
2008
-
Governatori GTerfloth KSchiller JH. Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks..
RuleML.
127-134.
2008
-
Governatori GLinehan MH. SBVR Use Cases..
RuleML.
182-196.
2008
-
Governatori GTerfloth KSchiller JH. Self-sustained Routing for Event Diffusion in Wireless Sensor Networks..
RuleML.
236-241.
2008
-
Governatori GZaharia RVasiliu LBadica C. Semi-automatic Composition of Geospatial Web Services Using JBoss Rules..
RuleML.
166-173.
2008
-
Pham DHThakur SGovernatori G. Settling on the Group’s Goals: An n-Person Argumentation Game Approach.
Lecture Notes in Computer Science.
328-339.
2008
Full text if available -
Governatori GLuckham D. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems..
RuleML.
3-3.
2008
-
Governatori GAlechina NLogan BNga NHRakib A. Verifying Resource Requirements for Distributed Rule-Based Systems..
RuleML.
31-38.
2008
-
Governatori GAvguleas IGkirtzou KTriantafilou SBikakis AAntoniou GKontopoulos EBassiliades N. Visualization of Proofs in Defeasible Logic..
RuleML.
197-210.
2008
-
Bellomo CCarraro LPaolo ErmacoraPavan FOsler RFrausin CGovernatori G. Recovery phenomena in grapevines affected by grapevine yellows in friuli venezia giulia.
Bulletin of Insectology.
235-236.
2007
-
Governatori GPhan DPNguyen TNTBui TD. A 3D Conversational Agent for Presenting Digital Information for Deaf People..
PRIMA.
319-328.
2007
-
Governatori GHaddar MAKacem AHMétivier YMosbah MJmaiel M. A Distributed Computational Model for Mobile Agents..
PRIMA.
416-421.
2007
-
Governatori GTanaka YNakajima YHattori HIshida T. A Driver Modeling Methodology Using Hypothetical Reasoning for Multiagent Traffic Simulation..
PRIMA.
278-287.
2007
-
Governatori GChen Y-MWu DWu C-K. A Game Theoretic Approach for Deploying Intrusion Detection Agent..
PRIMA.
446-451.
2007
-
Governatori GAbbas SMosbah MZemmari A. A Generic Distributed Algorithm for Computing by Random Mobile Agents..
PRIMA.
392-397.
2007
-
Governatori GZyl TLVEhlers EM. A Need for Biologically Inspired Architectural Description: The Agent Ontogenesis Case..
PRIMA.
146-157.
2007
-
Governatori GPike JREhlers EMOosthuizen OL. A Specialised Architecture for Embedding Trust Evaluation Capabilities in Intelligent Mobile Agents..
PRIMA.
404-409.
2007
-
Antoniou GDimaresis NGovernatori G. A System for Modal and Deontic Defeasible Reasoning.
Lecture Notes in Computer Science.
609-613.
2007
Full text if available -
Governatori GFugkeaw SManpanpanich PJuntapremjitt S. Achieving DRBAC Authorization in Multi-trust Domains with MAS Architecture and PMI..
PRIMA.
339-348.
2007
-
Governatori GSuzuki TSawamura H. Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics..
PRIMA.
434-439.
2007
-
Governatori GMrozek DMalysiak BAugustyn W. Agent-Supported Protein Structure Similarity Searching..
PRIMA.
49-61.
2007
-
Governatori GCubillos CEspinoza LRodríguez N. An Agent Approach for Distributed Job-Shop Scheduling..
PRIMA.
473-478.
2007
-
Governatori GYamane SIshida T. An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation..
PRIMA.
183-194.
2007
-
Governatori GNakajima YOishi TIshida TMorikawa D. Analysis of Pedestrian Navigation Using Cellular Phones..
PRIMA.
288-297.
2007
-
Governatori GRotolo A. BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic..
Normative Multi-Agent Systems.
2007
-
Governatori GChan C-KLeung H-F. Belief-Based Stability in Non-transferable Utility Coalition Formation..
PRIMA.
422-427.
2007
-
Governatori GHulstijn JRiveret RRotolo A. Characterising Deadlines in Temporal Modal Defeasible Logic.
Lecture Notes in Computer Science.
486-496.
2007
Full text if available -
Governatori GSu S-XHu S-LZheng S-FLin C-FLai X-W. Coalition Structure Generation in Task-Based Settings Based on Cardinality Structure..
PRIMA.
398-403.
2007
-
Dastani MGovernatori GRotolo ASong Ivan der Torre L. Contextual deliberation of cognitive agents in defeasible logic.
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS '07.
607-609.
2007
Full text if available -
Dastani MGovernatori GRotolo ASong ITorre LWNVD. Contextual deliberation of cognitive agents in defeasible logic..
AAMAS.
148-148.
2007
-
Governatori GFagundes MSVicari RMCoelho H. Deliberation Process in a BDI Model with Bayesian Networks..
PRIMA.
207-218.
2007
-
Governatori GTakahashi KMitsuyuki YMine TSakurai KAmamiya M. Design and Implementation of Security Mechanisms for a Hierarchical Community-Based Multi-Agent System..
PRIMA.
134-145.
2007
-
Governatori GShiang CWSterling L. Developing Knowledge Models for Multi-agent Mediator Systems..
PRIMA.
440-445.
2007
-
Thakur SGovernatori GPadmanabhan VEriksson Lundström J. Dialogue Games in Defeasible Logic.
Lecture Notes in Computer Science.
497-506.
2007
Full text if available -
Governatori GZhang ZZhang X. Double Token-Ring and Region-Tree Based Group Communication Mechanism for Mobile Agent..
PRIMA.
452-457.
2007
-
Governatori GHung C-CHuang Y-CHsu JY-J. Déjà Vu: Social Network Agents for Personal Impression Management..
PRIMA.
428-433.
2007
-
Governatori GMao XZhao JWang J. Engineering Adaptive Multi-Agent Systems with ODAM Methodology..
PRIMA.
380-385.
2007
-
Governatori GKanashiro IKobayashi KKitamura Y. Entrainment in Human-Agent Text Communication..
PRIMA.
268-277.
2007
-
Governatori GLam K-MLeung H-F. Existence of Risk Strategy Equilibrium in Games Having No Pure Strategy Nash Equilibrium..
PRIMA.
1-12.
2007
-
Governatori GFukuta NIto T. Fast Partial Reallocation in Combinatorial Auctions for Iterative Resource Allocation..
PRIMA.
195-206.
2007
-
Governatori GStaab EEngel T. Formalizing Excusableness of Failures in Multi-Agent Systems..
PRIMA.
122-133.
2007
-
Governatori GAmouroux EChu T-QBoucher ADrogoul A. GAMA: An Environment for Implementing and Running Spatially Explicit Multi-agent Simulations..
PRIMA.
359-371.
2007
-
Governatori GAlam SJEdmonds BMeyer R. Identifying Structural Changes in Networks Generated from Agent-Based Social Simulation Models..
PRIMA.
298-307.
2007
-
Governatori GMao XWu HLi J. Integrating Agent Technology and SIP Technology to Develop Telecommunication Applications with JadexT..
PRIMA.
386-391.
2007
-
Riveret RRotolo AGovernatori G. Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic..
Normative Multi-Agent Systems.
2007
-
Governatori GMatsumoto NYoshida NNarazaki S. Layered Cooperation of Macro Agents and Micro Agents in Cooperative Active Contour Model..
PRIMA.
86-97.
2007
-
Governatori GBalsdon QJEhlers EM. MAGEFRAME: A Modular Agent Framework to Support Various Communication Schemas Based on a Self-embedding Algorithm..
PRIMA.
25-36.
2007
-
Governatori GBoella GGenovese VGrenna RTorre LWNVD. Merging Roles in Coordination and in Agent Deliberation..
PRIMA.
62-73.
2007
-
Sadiq SGovernatori GNamiri K. Modeling Control Objectives for Business Process Compliance.
Lecture Notes in Computer Science.
149-164.
2007
Full text if available -
Governatori GHuang RShi Z. Multi-Agent Based Web Search with Heterogeneous Semantics..
PRIMA.
158-170.
2007
-
Governatori GKim H-KKim S. Multi-agent Based Incineration Process Control System with Qualitative Model..
PRIMA.
372-379.
2007
-
Governatori GEnguix GBJiménez-López MD. Multi-agent Simulation of Linguistic Processes: A NEPs Perspective..
PRIMA.
308-318.
2007
-
Governatori GYabu YYokoo MIwasaki A. Multiagent Planning with Trembling-Hand Perfect Equilibrium in Multiagent POMDPs..
PRIMA.
13-24.
2007
-
Governatori GSong SShin SKim M. Multiagent-Based Defensive Strategy System for Military Simulation..
PRIMA.
329-338.
2007
-
Governatori GCubillos CGaete SCabrera G. On the Design of Interface Agents for a DRT Transportation System..
PRIMA.
232-242.
2007
-
Governatori GHulstijn JRiveret RRotolo A. On the Representation of Deadlines in a Rental Agreement.
Frontiers in Artificial Intelligence and Applications.
169-+.
2007
-
Governatori GHwang WYang J-J. Ontology-Based Emotion System for Digital Environment..
PRIMA.
464-472.
2007
-
Governatori GChang H-MSoo V-W. Planning Actions with Social Consequences..
PRIMA.
74-85.
2007
-
Antoniou GBikakis ADimaresis NGenetzakis MGeorgalis GGovernatori GKarouzaki EKazepis NKosmadakis DKritsotakis MLilis GPapadogiannakis APediaditis PTerzakis CTheodosaki RZeginis D. Proof Explanation for the Semantic Web Using Defeasible Logic.
Lecture Notes in Computer Science.
186-197.
2007
Full text if available -
Bassiliades NAntoniou GGovernatori G. Proof Explanation in the DR-DEVICE System.
Lecture Notes in Computer Science.
249-258.
2007
Full text if available -
Governatori GUndeger CPolat F. Real-Time Moving Target Search..
PRIMA.
110-121.
2007
-
Governatori GBroersen JMTorre LWNVD. Reasoning about Norms, Obligations, Time and Agents..
PRIMA.
171-182.
2007
-
Governatori GBlee JBillington DSattar A. Reasoning with Levels of Modalities in BDI Logic..
PRIMA.
410-415.
2007
-
Roth BRiveret RRotolo AGovernatori G. Strategic argumentation.
Proceedings of the 11th international conference on Artificial intelligence and law - ICAIL '07.
81-90.
2007
Full text if available -
Governatori GBryl VGiorgini PMylopoulos J. Supporting Requirements Analysis in Tropos: A Planning-Based Approach..
PRIMA.
243-254.
2007
-
Governatori GTerenziani P. Temporal Extensions to Defeasible Logic.
Lecture Notes in Computer Science.
476-485.
2007
Full text if available -
Governatori GCho HYamashita NIshida T. Towards Culturally-Situated Agent Which Can Detect Cultural Differences..
PRIMA.
458-463.
2007
-
Governatori GLow GCBeydoun GHenderson-Sellers BGonzalez-Perez C. Towards Method Engineering for Multi-Agent Systems: A Validation of a Generic MAS Metamodel..
PRIMA.
255-267.
2007
-
Governatori GZhu BGuessoum ZPerrin MBraunschweig BFery-Forgues PRainaud J-F. Using Multiagent System to Build Structural Earth Model..
PRIMA.
37-48.
2007
-
Governatori GRotolo ARiveret RPalmirani MSartor G. Variants of temporal defeasible logics for modelling norm modifications.
Proceedings of the 11th international conference on Artificial intelligence and law - ICAIL '07.
155-159.
2007
Full text if available -
Governatori GNgo TDBui TD. When and How to Smile: Emotional Expression for 3D Conversational Agents..
PRIMA.
349-358.
2007
-
Pothipruk PGovernatori G. ALE defeasible description logic.
Lecture Notes in Computer Science.
110-119.
2006
Full text if available -
Pothipruk PGovernatori G. An optimization for query answering on ALC database.
Conferences in Research and Practice in Information Technology Series.
129-137.
2006
-
Stantic BGovernatori GSattar A. Handling of current time in native XML databases.
Conferences in Research and Practice in Information Technology Series.
175-182.
2006
-
Song IGovernatori G. Hardware implementation of temporal nonmonotonic logics.
Lecture Notes in Computer Science.
808-817.
2006
Full text if available -
Governatori GSantarelli GGovernatori GLours MChambon DChapelet FBize STobar MEPotier TClairon A. Phase transient measurement at the micro radian level for atomic fountain clocks.
Proceedings of the 20th European Frequency and Time Forum, EFTF 2006.
166-172.
2006
-
Padmanabhan VGovernatori GSadiq SColomb RRotolo A. Process modelling: The deontic way.
Conferences in Research and Practice in Information Technology Series.
75-84.
2006
-
Lu RSadiq SPadmanabhan VGovernatori G. Using a temporal constraint network for business process execution.
Conferences in Research and Practice in Information Technology Series.
157-166.
2006
-
Lu RSadiq SGovernatori G. Utilizing successful work practice for business process evolution.
Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI).
58-76.
2006
-
Governatori GMilosevic ZSadiq S. Compliance checking between business processes and business contracts.
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC.
221-230.
2006
Full text if available -
Song IGovernatori G. A Compact Argumentation System for Agent System Specification.
Frontiers in Artificial Intelligence and Applications.
26-37.
2006
-
Padmanabhan VGovernatori G. A Fibred Tableau Calculus for Modal Logics of Agents.
Lecture Notes in Computer Science.
105-122.
2006
Full text if available -
Governatori GGoldblatt RMares ED. A General Semantics for Quantified Modal Logic..
Advances in Modal Logic.
227-246.
2006
-
Governatori GGoldblatt R. A Kripke-Joyal Semantics for Noncommutative Logic in Quantales..
Advances in Modal Logic.
209-225.
2006
-
Governatori GGorbunov I. A decidable modal logic that is finitely undecidable..
Advances in Modal Logic.
247-258.
2006
-
Governatori G. Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006.
Advances in Modal Logic.
2006
-
Song IGovernatori G. Affective Web Service Design.
Lecture Notes in Computer Science.
71-80.
2006
Full text if available -
Governatori GBalbiani P. An expressive two-sorted spatial logic for plane projective geometry..
Advances in Modal Logic.
49-68.
2006
-
Orgun MMa JLiu CGovernatori G. Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.
2006 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing.
325-332.
2006
Full text if available -
Riveret RGovernatori GRotolo A. Argumentation Semantics for Temporal Defeasible Logic.
Frontiers in Artificial Intelligence and Applications.
267-+.
2006
-
Governatori GFrench T. Bisimulation Quantified Modal Logics: Decidability..
Advances in Modal Logic.
147-166.
2006
-
Governatori GShehtman VB. Completeness and incompleteness in first-order modal logic: an overview..
Advances in Modal Logic.
27-30.
2006
-
Governatori GRybakov MN. Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables..
Advances in Modal Logic.
393-411.
2006
-
Governatori GGhilardi SLutz CWolter FZakharyaschev M. Conservative extensions in modal logic..
Advances in Modal Logic.
187-207.
2006
-
Governatori GBrünnler K. Deep Sequent Systems for Modal Logic..
Advances in Modal Logic.
107-107.
2006
-
Song IGovernatori G. Designing agent chips.
Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06.
1311-1313.
2006
Full text if available -
Governatori GSchmidt RA. Developing Modal Tableaux and Resolution Methods via First-Order Resolution..
Advances in Modal Logic.
1-26.
2006
-
Governatori GShapirovsky I. Downward-directed transitive frames with universal relations..
Advances in Modal Logic.
413-428.
2006
-
Governatori GKonev BKontchakov RWolter FZakharyaschev M. Dynamic topological logics over spaces with continuous functions..
Advances in Modal Logic.
299-318.
2006
-
Governatori GBalbiani PShapirovsky IShehtman VB. Every world can see a Sahlqvist world..
Advances in Modal Logic.
69-85.
2006
-
Governatori GSheremet MTishkovsky DWolter FZakharyaschev M. From topology to metric: modal logic and quantification in metric spaces..
Advances in Modal Logic.
429-448.
2006
-
Governatori GLitak T. Isomorphism via translation..
Advances in Modal Logic.
333-351.
2006
-
Governatori GAlechina NShkatov D. Logics with an existential modality..
Advances in Modal Logic.
31-48.
2006
-
Governatori GFontaine G. ML is not finitely axiomatizable over Cheq..
Advances in Modal Logic.
139-146.
2006
-
Governatori GSilvestre RS. Modality, Paraconsistency and Paracompleteness..
Advances in Modal Logic.
449-467.
2006
-
Padmanabhan VGovernatori G. On Constructing Fibred Tableaux for BDI Logics.
Lecture Notes in Computer Science.
150-160.
2006
Full text if available -
Governatori GTulenheimo TSevenster M. On Modal Logic, IF Logic, and IF Modal Logic..
Advances in Modal Logic.
481-501.
2006
-
Governatori GNguyen LA. On the Deterministic Horn Fragment of Test-free PDL..
Advances in Modal Logic.
373-392.
2006
-
Governatori GMartin E. Quantification over names and modalities..
Advances in Modal Logic.
353-372.
2006
-
Governatori GHeinemann B. Regarding Overlaps in 'Topologic'..
Advances in Modal Logic.
259-277.
2006
-
Governatori GPadmanabhan VRotolo A. Rule-Based Agents in Temporalised Defeasible Logic.
Lecture Notes in Computer Science.
31-40.
2006
Full text if available -
Governatori GWansing H. Tableaux for multi-agent deliberative-stit logic..
Advances in Modal Logic.
503-520.
2006
-
Governatori GGasquet OHerzig ASahade M. Terminating modal tableaux with simple completeness proof..
Advances in Modal Logic.
167-186.
2006
-
Governatori GBenthem JVPacuit E. The Tree of Knowledge in Action: Towards a Common Perspective..
Advances in Modal Logic.
87-106.
2006
-
Governatori GChagrov AVChagrova L. The Truth About Algorithmic Problems in Correspondence Theory..
Advances in Modal Logic.
121-138.
2006
-
Governatori GRotolo APadmanabhan V. The cost of social agents.
Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06.
513-520.
2006
Full text if available -
Governatori GTakamura H. The variety of modal FLew-algebras is generated by its finite simple members..
Advances in Modal Logic.
469-479.
2006
-
Governatori GKudinov A. Topological Modal Logics with Difference Modality..
Advances in Modal Logic.
319-332.
2006
-
Governatori GHumberstone L. Weaker-to-Stronger Translational Embeddings in Modal Logic..
Advances in Modal Logic.
279-297.
2006
-
Su KSattar AGovernatori GChen Q. A computationally grounded logic of knowledge, belief and certainty.
Proceedings of the International Conference on Autonomous Agents.
297-304.
2005
-
Su KSattar AWang KGovernatori G. Computationally grounded model of BDI-agents.
IJCAI International Joint Conference on Artificial Intelligence.
1581-1582.
2005
-
Skylogiannis TAntoniou GBassiliades NGovernatori G. DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies.
EEE.
44-49.
2005
Full text if available -
Governatori GMilosevic Z. Dealing with contract violations: formalism and domain specific language.
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC.
46-57.
2005
Full text if available -
Su KSattar AWang KLuo XGovernatori GPadmanabhan V. Observation-based model for BDI-agents.
Proceedings of the National Conference on Artificial Intelligence.
190-195.
2005
-
Pothipruk PGovernatori G. A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web.
Lecture Notes in Computer Science.
119-132.
2005
Full text if available -
Governatori GHoang DP. A Semantic Web Based Architecture for e-Contracts in Defeasible Logic.
Lecture Notes in Computer Science.
145-159.
2005
Full text if available -
Su KSattar AGovernatori GChen Q. A computationally grounded logic of knowledge, belief and certainty..
AAMAS.
149-156.
2005
-
Song IGovernatori G. Nested Rules in Defeasible Logic.
Lecture Notes in Computer Science.
204-208.
2005
Full text if available -
Governatori GPalmirani MRiveret RRotolo ASartor G. Norm Modifications in Defeasible Logic.
Frontiers in Artificial Intelligence and Applications.
13-22.
2005
-
Dastani MGovernatori GRotolo Avan der Torre L. Preferences of Agents in Defeasible Logic.
Lecture Notes in Computer Science.
695-704.
2005
Full text if available -
Dumas MAldred LGovernatori Gter Hofstede AHM. Probabilistic Automated Bidding in Multiple Auctions.
Electronic Commerce Research.
25-49.
2005
Full text if available -
Dastani MGovernatori GRotolo Avan der Torre L. Programming Cognitive Agents in Defeasible Logic.
Lecture Notes in Computer Science.
621-636.
2005
Full text if available -
Governatori GRotolo ASartor G. Temporalised normative positions in defeasible logic.
Proceedings of the 10th international conference on Artificial intelligence and law - ICAIL '05.
25-34.
2005
Full text if available -
Gelati JRotolo ASartor GGovernatori G. Normative autonomy and normative co-ordination: Declarative power, representation, and mandate.
Artificial Intelligence and Law.
53-81.
2004
Full text if available -
Governatori GRotolo ASadiq SW. A Model of Dynamic Resource Allocation in Workflow Systems..
ADC.
197-206.
2004
-
Song IGovernatori GColomb R. An Interaction Model for Affect Monitoring.
Lecture Notes in Computer Science.
979-984.
2004
Full text if available -
Governatori G. Defeasible Description Logics.
Lecture Notes in Computer Science.
98-112.
2004
Full text if available -
Governatori GRotolo A. Defeasible Logic: Agency, Intention and Obligation.
Lecture Notes in Computer Science.
114-128.
2004
Full text if available -
Cheow PYGovernatori G. Representing and Reasoning on XForms Document..
ADC.
141-150.
2004
-
Governatori G. On the Relative Complexity of Labelled Modal Tableaux.
Electronic Notes in Theoretical Computer Science.
40-57.
2003
Full text if available -
Governatori GPadmanabhan V. A Defeasible Logic of Policy-Based Intention.
Lecture Notes in Computer Science.
414-426.
2003
Full text if available -
Governatori GLomuscio ASergot MJ. A Tableaux System for Deontic Interpreted Systems.
Lecture Notes in Computer Science.
339-351.
2003
Full text if available -
Governatori GRotolo A. A computational framework for non-monotonic agency, institutionalised power and multi-agent systems.
Frontiers in Artificial Intelligence and Applications.
151-152.
2003
-
Johnston BGovernatori G. An algorithm for the induction of defeasible logic theories from databases..
ADC.
75-83.
2003
-
Johnston BGovernatori G. Induction of defeasible logic theories in the legal domain.
Proceedings of the 9th international conference on Artificial intelligence and law - ICAIL '03.
204-213.
2003
Full text if available -
Governatori GPadmanabhan VSattar A. On fibring semantics for BDI logics.
Lecture Notes in Computer Science.
198-210.
2002
Full text if available -
Governatori GPadmanabhan VSattar A. A Defeasible Logic of Policy-Based Intention (Extended Abstract).
Lecture Notes in Computer Science.
723-723.
2002
Full text if available -
Dumas MAldred LGovernatori GHofstede ATRussell N. A probabilistic approach to automated bidding in alternative auctions.
Proceedings of the eleventh international conference on World Wide Web - WWW '02.
99-108.
2002
Full text if available -
Dumas MGovernatori Gter Hofstede ARussell N. An architecture for assembling agents that participate in alternative heterogeneous auctions.
Proceedings of the IEEE Great Lakes Symposium on VLSI.
75-83.
2002
Full text if available -
Governatori GPadmanabhan VSattar A. On Fibring Semantics for BDI Logics.
Lecture Notes in Computer Science.
198-210.
2002
Full text if available -
Governatori GDumas MHofstede AHMTOaks P. A formal approach to legal negotiation..
ICAIL.
168-177.
2001
-
Governatori GDumas Mter Hofstede AHMOaks P. A formal approach to protocols and strategies for (legal) negotiation.
Proceedings of the 8th international conference on Artificial intelligence and law - ICAIL '01.
168-177.
2001
Full text if available -
Padmanabhan VGovernatori GSattar A. Actions Made Explicit in BDI.
Lecture Notes in Computer Science.
390-401.
2001
Full text if available -
Governatori GLuppi A. Labelled tableaux for non-normal modal logics.
Lecture Notes in Computer Science.
119-130.
2000
Full text if available -
Antoniou GBillington DGovernatori GMaher MJ. A Flexible Framework for Defeasible Logics..
AAAI/IAAI.
405-410.
2000
-
Artosi AGovernatori GRotolo A. A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations.
Lecture Notes in Computer Science.
82-97.
2000
Full text if available -
Antoniou GBillington DGovernatori GMaher MJRock A. A family of defeasible reasoning logics and its implementation.
Frontiers in Artificial Intelligence and Applications.
459-463.
2000
-
Governatori GMaher MJ. An argumentation-theoretic characterization of defeasible logic.
Frontiers in Artificial Intelligence and Applications.
469-473.
2000
-
Governatori GMaher MJAntoniou GBillington D. Argumentation Semantics for Defeasible Logics.
Lecture Notes in Computer Science.
27-37.
2000
Full text if available -
Antoniou GMaher MJBillington BGovernatori G. A Comparison of Sceptical NAF-Free Logic Programming Approaches.
Lecture Notes in Computer Science.
347-356.
1999
Full text if available -
Di Giusto PGovernatori G. A New Approach to Base Revision.
Lecture Notes in Computer Science.
327-341.
1999
Full text if available -
Di Giusto PGovernatori G. Analytic Modal Revision for Multi-agent Systems.
Lecture Notes in Computer Science.
282-296.
1999
Full text if available -
Gabbay DMGovernatori G. Dealing with label dependent deontic modalities.
Frontiers in Artificial Intelligence and Applications.
311-330.
1999
-
Billington DAntoniou GGovernatori GMaher M. Revising Nonmonotonic Theories: The Case of Defeasible Logic.
Lecture Notes in Computer Science.
101-112.
1999
Full text if available -
Artosi ABenassi PGovernatori GRotolo A. Shakespearian modal logic: A labelled treatment of modal identity.
ADVANCES IN MODAL LOGIC, VOL 1.
1-21.
1998
-
Artosi ACattabriga PGovernatori G. A Modal Computational Framework for Default Reasoning..
KI.
373-376.
1997
-
Governatori G. Labelling ideality and subideality.
Lecture Notes in Computer Science.
291-304.
1996
Full text if available -
Artosi ABenassi PGovernatori GRotolo A. Logics in Artificial Intelligence.
Lecture Notes in Computer Science.
70-86.
1996
Full text if available -
Artosi AGovernatori GSartor G. Towards a computational treatment of deontic defeasibility.
DEONTIC LOGIC, AGENCY AND NORMATIVE SYSTEMS.
27-46.
1996
-
Artosi ACattabriga PGovernatori G. A Prolog Implementation of Kem..
GULP-PRODE.
395-400.
1995
-
Governatori G. Labelled tableaux for multi-modal logics.
Lecture Notes in Computer Science.
79-94.
1995
Full text if available -
Artosi ACattabriga PGovernatori G. KED: A Deontic Theorem Prover..
ICLP Workshop: Legal Application of Logic Programming.
1994
-
Governatori GGovernatori GCavagna M. Effect of the Content and Shape of Inclusions on the Cold Cracking Susceptibility of C-Mn Steels.
1975
-
Governatori GRotolo A. Free choice permission in defeasible deontic logic.
Frontiers in Artificial Intelligence and Applications.
93-102.
2020
-
editorial article
-
Hoa KDPitt JGovernatori GIto TXu Y. Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems.
Scalable Computing.
16:III-III.
2015
Full text if available -
Fisher MVan Der Torre LDastani MGovernatori G. Preface to the special issue on computational logic in multi-agent systems (CLIMA XIII).
Journal of Logic and Computation.
24:1251-1252.
2014
Full text if available
-
Hoa KDPitt JGovernatori GIto TXu Y. Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems.
Scalable Computing.
16:III-III.
2015
-
other publication
-
Dymitruk MMarkovich RLiepiņa REl Ghosh Mvan Doesburg RGovernatori GVerheij B. Research in progress: report on the ICAIL 2017 doctoral consortium.
Artificial Intelligence and Law.
49-97.
2018
Full text if available -
Foder PGovernatori GAlfers JJBertossi L. RuleML (Web Rule Symposium) 2016 Report.
AI Magazine.
108-109.
2017
Full text if available
-
Dymitruk MMarkovich RLiepiņa REl Ghosh Mvan Doesburg RGovernatori GVerheij B. Research in progress: report on the ICAIL 2017 doctoral consortium.
Artificial Intelligence and Law.
49-97.
2018
-
report
-
Casanovas Romeu Pde Koker LKeyzer PMendelson DWatts DBarnes JO'Toole SStammers MParsons DGovernatori GRodriguez-Doncel VGonalez-Conejero JHashmi M. Summary Legal and Technical Report on Spent Convictions.
1-35.
2019
Full text if available
-
Casanovas Romeu Pde Koker LKeyzer PMendelson DWatts DBarnes JO'Toole SStammers MParsons DGovernatori GRodriguez-Doncel VGonalez-Conejero JHashmi M. Summary Legal and Technical Report on Spent Convictions.
1-35.
2019
-
working paper