References of "Boella, Guido"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailFrom Georeferenced Data to Socio-Spatial Knowledge. Ontology Design Patterns to Discover Domain-Specific Knowledge from Crowdsourced Data
Calafiore, Alessia; Boella, Guido; van der Torre, Leon UL

in 21st International Conference on Knowledge Engineering and Knowledge Management (2018)

So far, ontologies developed to support Geographic Information science have been mostly designed from a space-centered rather than a human-centered and social perspective. In the last decades, a wealth of ... [more ▼]

So far, ontologies developed to support Geographic Information science have been mostly designed from a space-centered rather than a human-centered and social perspective. In the last decades, a wealth of georeferenced data is collected through sensors, mobile and web platforms from the crowd, providing rich information about people’s collective experiences and behaviors in cities. As a consequence, these new data sources require models able to make machine-understandable the social meanings and uses people commonly associate with certain places. This contribution proposes a set of reusable Ontology Design Patterns (ODP) to guide a data mining workflow and to semantically enrich the mined results. The ODPs explicitly aim at representing two facets of the geographic knowledge - the built environment and people social behavior in cities - as well as the way they interact. Modelling the interplay between the physical and the human aspects of the urban environment provides an ontology representation of the socio-spatial knowledge which can be used as baseline domain knowledge for analysing and interpreting georeferenced data collected through crowdsourcing. An experimentation using a TripAdvisor data sample to recognize food consumption practices in the city of Turin is presented. [less ▲]

Detailed reference viewed: 54 (1 UL)
Full Text
Peer Reviewed
See detailThe European Legal Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology
Ajani, Gianmaria; Boella, Guido; Di Caro, Luigi et al

in Applied Ontology (2017)

Detailed reference viewed: 220 (8 UL)
Full Text
Peer Reviewed
See detailConcept Recognition in European and National Law
Nanda, Rohan; Siragusa, Giovanni; Di caro, Luigi et al

in proc. of The 30th international conference on Legal Knowledge and Information Systems (JURIX 2017) (2017)

Detailed reference viewed: 178 (50 UL)
Full Text
Peer Reviewed
See detailA Unifying Similarity Measure for Automated Identification of National Implementations of European Union Directives
Nanda, Rohan; Di Caro, Luigi; Boella, Guido et al

in A Unifying Similarity Measure for Automated Identification of National Implementations of European Union Directives (2017)

Detailed reference viewed: 202 (17 UL)
Full Text
Peer Reviewed
See detailAGM Contraction and Revision of Rules
Boella, Guido; Pigozzi, Gabriella UL; van der Torre, Leon UL

in Journal of Logic, Language and Information (2016), 25(3), 273-297

In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas ... [more ▼]

In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM theory change to rule change is much more problematic. First, we generalise belief base contraction to rule base contraction, and show that two representation results of Hansson still hold for rule base contraction. Second, we show that the six so-called basic postulates of AGM contraction are consistent only for some input/output logics, but not for others. In particular, we show that the notorious recovery postulate can be satisfied only by basic output, but not by simple-minded output. Third, we show how AGM rule revision can be defined in terms of AGM rule contraction using the Levi identity. We highlight various topics for further research. [less ▲]

Detailed reference viewed: 93 (9 UL)
Full Text
Peer Reviewed
See detailAn approach to information retrieval and question answering in the legal domain
Adebayo, Kolawole John UL; Di Caro, Luigi; Boella, Guido et al

Scientific Conference (2016, November 15)

We describe in this paper, a report of our participation at COLIEE 2016 Information Retrieval (IR) and Legal Question Answering (LQA) tasks. Our solution for the IR part employs the use of a simple but ... [more ▼]

We describe in this paper, a report of our participation at COLIEE 2016 Information Retrieval (IR) and Legal Question Answering (LQA) tasks. Our solution for the IR part employs the use of a simple but effective Machine Learning (ML) procedure. Our Question Answering solution answers "YES or 'NO' to a question, i.e., 'YES' if the question is entailed by a text and 'NO' otherwise. With recent exploit of Multi-layered Neural Network systems at language modeling tasks, we presented a Deep Learning approach which uses an adaptive variant of the Long-Short Term Memory (LSTM), i.e. the Child Sum Tree LSTM (CST-LSTM) algorithm that we modified to suit our purpose. Additionally, we benchmarked this approach by handcrafting features for two popular ML algorithms, i.e., the Support Vector Machine (SVM) and the Random Forest (RF) algorithms. Even though we used some features that have performed well from similar works, we also introduced some semantic features for performance improvement. We used the results from these two algorithms as the baseline for our CST-LSTM algorithm. All evaluation was done on the COLIEE 2015 training and test sets. The overall result conforms the competitiveness of our approach. [less ▲]

Detailed reference viewed: 206 (11 UL)
Full Text
Peer Reviewed
See detailTextual Inference with Deep Learning Technique
Adebayo, Kolawole; Di Caro, Luigi; Robaldo, Livio UL et al

in Proc. of the 28th Annual Benelux Conference on Artificial Intelligence (BNAIC2016). (2016)

Detailed reference viewed: 109 (5 UL)
Full Text
Peer Reviewed
See detailArgumentation-Based Legal Requirements Engineering: The Role of Legal Interpretation in Requirements Acquisition
Muthuri, Robert; Boella, Guido; Hulstijn, Joris et al

in Requirements Engineering Conference Workshops (REW), IEEE International (2016)

Detailed reference viewed: 80 (0 UL)
Full Text
Peer Reviewed
See detailEunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the Law
Boella, Guido; Di Caro, Luigi; Humphreys, Llio UL et al

in Artificial Intelligence & Law (2016)

Detailed reference viewed: 165 (18 UL)
Full Text
Peer Reviewed
See detailClassifying and Extracting Elements of Norms for Ontology Population using Semantic Role Labelling
Humphreys, Llio UL; Boella, Guido; Robaldo, Livio UL et al

in The 15th International Conference on Artificial Intelligence & Law — San Diego, June 8-12, 2015 (2015)

Detailed reference viewed: 230 (21 UL)
Full Text
Peer Reviewed
See detailMapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation
Humphreys, Llio UL; Santos, Cristiana; Di Caro, Luigi et al

in Proceedings of the 28th International Conference on Legal Knowledge and Information Systems (2015)

Detailed reference viewed: 100 (6 UL)
Full Text
Peer Reviewed
See detailIntegrating Legal-URN and Eunomos: towards a comprehensive compliance management solution
Boella, Guido; Colombo Tosatto, Silvano UL; Ghavanati, Sepideh et al

in Proceedings of AI Approaches to the Complexity of Legal Systems (AICOL 2013) (2014)

Detailed reference viewed: 66 (7 UL)
Full Text
Peer Reviewed
See detailCompliance with Multiple Regulations
Ghanavati, Sepideh; Humphreys, Llio UL; Boella, Guido et al

in Conceptual Modeling, Lecture Notes in Computer Science 8824 (2014)

Detailed reference viewed: 67 (1 UL)
Full Text
Peer Reviewed
See detailReasoning about delegation and revocation schemes in answer set programming
Barker, Steve; Boella, Guido; Gabbay, Dov M. UL et al

in J. Log. Comput. (2014), 24(1), 89--116

Detailed reference viewed: 44 (0 UL)
Full Text
Peer Reviewed
See detailThe gap between legal and technical domains in norm representation
Antonini, Alessio UL; Boella, Guido; Humphreys, Llio UL et al

in New Frontiers in Artificial Intelligence (2014)

Detailed reference viewed: 41 (1 UL)
Full Text
Peer Reviewed
See detailA Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice
Boella, Guido; Humphreys, Llio UL; Muthuri, Robert UL et al

in Seventh IEEE Workshop on Requirements Engineering and Law (2014)

This paper reviews existing approaches to representing legal knowledge for legal requirements engineering. Legal requirement methodologies are rarely developed together with legal practitioners, with the ... [more ▼]

This paper reviews existing approaches to representing legal knowledge for legal requirements engineering. Legal requirement methodologies are rarely developed together with legal practitioners, with the result that often approaches are based on a simplified view of law which prevents their acceptance by legal practitioners. In this paper, we analyse how legal practitioners build legal knowledge and possibilities for existing approaches in RELaw to mirror legal practice. [less ▲]

Detailed reference viewed: 121 (4 UL)
Full Text
See detailManaging Legal Resources in Open Government and E-Democracy: Eunomos - an AI and Law Response
Boella, Guido; Muthuri, Robert UL; Humphreys, Llio UL

in Parycek, Peter; Edelmann, Noella (Eds.) CeDEM 14 Conference for E-Democracy and Open Government (2014)

Detailed reference viewed: 27 (3 UL)
Full Text
Peer Reviewed
See detailOn the Input/Output behavior of argumentation frameworks
Baroni, Pietro; Boella, Guido; Cerutti, Federico et al

in Artificial Intelligence (2014)

This paper tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical ... [more ▼]

This paper tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical entities. This modeling stance arises naturally in some application contexts, like multi-agent systems, but, more importantly, has a crucial impact on several general application-independent issues, like argumentation dynamics, argument summarization and explanation, incremental computation, and inter-formalism translation. Pursuing this research direction, the paper introduces a general modeling approach and provides a comprehensive set of theoretical results putting the intuitive notion of Input/Output behavior of argumentation frameworks on a solid formal ground. This is achieved by combining three main ingredients. First, several novel notions are introduced at the representation level, notably those of argumentation framework with input, of argumentation multipole, and of replacement of multipoles within a traditional argumentation framework. Second, several relevant features of argumentation semantics are identified and formally characterized. In particular, the canonical local function provides an input-aware semantics characterization and a suite of decomposability properties are introduced, concerning the correspondences between semantics outcomes at global and local level. The third ingredient glues the former ones, as it consists of the investigation of some semantics-dependent properties of the newly introduced entities, namely S-equivalence of multipoles, S-legitimacy and S-safeness of replacements, and transparency of a semantics with respect to replacements. Altogether they provide the basis and draw the limits of sound interchangeability of multipoles within traditional frameworks. The paper develops an extensive analysis of all the concepts listed above, covering seven well-known literature semantics and taking into account various, more or less constrained, ways of partitioning an argumentation framework. Diverse examples, taken from the literature, are used to illustrate the application of the results obtained and, finally, an extensive discussion of the related literature is provided. [less ▲]

Detailed reference viewed: 119 (7 UL)
Full Text
Peer Reviewed
See detailA socio-cognitive model of trust using argumentation theory
Villata, Serena; Boella, Guido; Gabbay, Dov M. UL et al

in Int. J. Approx. Reasoning (2013), 54(4), 541--559

Detailed reference viewed: 43 (3 UL)
Full Text
Peer Reviewed
See detailIntegrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution
Boella, Guido; Tosatto, Silvano Colombo; Ghanavati, Sepideh et al

in AICOL (2013)

Business process compliance with regulations has been a topic of many research areas in Computer Science such as Requirements Engineering (RE), Artificial Intelligence (AI), Logic and Natural Language ... [more ▼]

Business process compliance with regulations has been a topic of many research areas in Computer Science such as Requirements Engineering (RE), Artificial Intelligence (AI), Logic and Natural Language Processing (NLP). This work aims to provide a systematic way of establishing and managing compliance to assist decision-making and reporting. Despite many notable advances, few systems deal adequately with legal interpretation and modeling norms in an expressive way that is well-integrated with business modeling practices. In this paper, we bring together two leading systems, Legal-URN and Eunomos, for a comprehensive compliance management solution. [less ▲]

Detailed reference viewed: 92 (0 UL)