AI Approaches to the Complexity of Legal Systems [[electronic resource] ] : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers / / edited by Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 576 p. 144 illus.) |
Disciplina | 343.0999 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Mathematical logic Computer logic Computer programming Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques |
ISBN | 3-030-00178-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466444903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
AI Approaches to the Complexity of Legal Systems : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers / / edited by Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 576 p. 144 illus.) |
Disciplina |
343.0999
340.1 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Mathematical logic Computer logic Computer programming Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques |
ISBN | 3-030-00178-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349398403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
AI Approaches to the Complexity of Legal Systems [[electronic resource] ] : AICOL 2013 International Workshops, AICOL-IV@IVR, Belo Horizonte, Brazil, July 21-27, 2013 and AICOL-V@SINTELNET-JURIX, Bologna, Italy, December 11, 2013, Revised Selected Papers / / edited by Pompeu Casanovas, Ugo Pagallo, Monica Palmirani, Giovanni Sartor |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 291 p. 72 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Data mining Computer communication systems Computers and civilization Law Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Computer Communication Networks Computers and Society Law, general |
ISBN | 3-662-45960-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Law, Social Intelligence, nMAS and the Semantic Web: An Overview -- I Social Intelligence and Legal Conceptual Models The Legal Roots of Social Intelligence and the Challenges of the Information Revolution -- Methods for Law and ICT: An Approach for the Development of Smart Cities -- Opening Public Deliberations: Transparency, Privacy, Anonymisation -- Online Dispute Resolution and Models of Relational Law and Justice: A Table of Ethical Principles -- Drafting a Composite Indicator of Validity for Regulatory Models and Legal Systems -- Legal Theory, Normative Systems and Software Agents Measuring the Complexity of the Legal Order over Time -- Time, Trust and Normative Change. On Certain Sources of Complexity in Judicial Decision-Making -- The Construction of Models and Roles in Normative Systems -- Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution -- Criminal Liability of Autonomous Agents: From the Unthinkable to the Plausible -- Semantic Web Technologies, Legal Ontologies and Argumentation Extraction of Legal Definitions and Their Explanations with Accessible Citations -- Representing Judicial Argumentation in the Semantic Web -- On the Road to Regulatory Ontologies: Interpreting Regulations with SBVR -- Conceptual Modeling of Judicial Procedures in the e-Codex Project. -Organized Crime Structure Modelling for European Law Enforcement Agencies Interoperability through Ontologies -- Crowdsourcing and Online Dispute Resolution (ODR) Harnessing Content and Context for Enhanced Decision Making -- Consumedia. Functionalities, Emotion Detection and Automation of Services in a ODR Platform -- Crowdsourcing Tools for Disaster Management: A Review of Platforms and Methods -- A Method for Defining Human-Machine Micro-task Workflows for Gathering Legal Information. |
Record Nr. | UNISA-996211261103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
AI Approaches to the Complexity of Legal Systems : AICOL 2013 International Workshops, AICOL-IV@IVR, Belo Horizonte, Brazil, July 21-27, 2013 and AICOL-V@SINTELNET-JURIX, Bologna, Italy, December 11, 2013, Revised Selected Papers / / edited by Pompeu Casanovas, Ugo Pagallo, Monica Palmirani, Giovanni Sartor |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 291 p. 72 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Data mining Computer communication systems Computers and civilization Law Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Computer Communication Networks Computers and Society Law, general |
ISBN | 3-662-45960-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Law, Social Intelligence, nMAS and the Semantic Web: An Overview -- I Social Intelligence and Legal Conceptual Models The Legal Roots of Social Intelligence and the Challenges of the Information Revolution -- Methods for Law and ICT: An Approach for the Development of Smart Cities -- Opening Public Deliberations: Transparency, Privacy, Anonymisation -- Online Dispute Resolution and Models of Relational Law and Justice: A Table of Ethical Principles -- Drafting a Composite Indicator of Validity for Regulatory Models and Legal Systems -- Legal Theory, Normative Systems and Software Agents Measuring the Complexity of the Legal Order over Time -- Time, Trust and Normative Change. On Certain Sources of Complexity in Judicial Decision-Making -- The Construction of Models and Roles in Normative Systems -- Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution -- Criminal Liability of Autonomous Agents: From the Unthinkable to the Plausible -- Semantic Web Technologies, Legal Ontologies and Argumentation Extraction of Legal Definitions and Their Explanations with Accessible Citations -- Representing Judicial Argumentation in the Semantic Web -- On the Road to Regulatory Ontologies: Interpreting Regulations with SBVR -- Conceptual Modeling of Judicial Procedures in the e-Codex Project. -Organized Crime Structure Modelling for European Law Enforcement Agencies Interoperability through Ontologies -- Crowdsourcing and Online Dispute Resolution (ODR) Harnessing Content and Context for Enhanced Decision Making -- Consumedia. Functionalities, Emotion Detection and Automation of Services in a ODR Platform -- Crowdsourcing Tools for Disaster Management: A Review of Platforms and Methods -- A Method for Defining Human-Machine Micro-task Workflows for Gathering Legal Information. |
Record Nr. | UNINA-9910484362703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
AI Approaches to the Complexity of Legal Systems - Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [[electronic resource] ] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers / / edited by Monica Palmirani, Ugo Pagallo, Pompeu Casanovas, Giovanni Sartor |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XIV, 309 p. 67 illus.) |
Disciplina | 343.0999 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Data mining Computer communication systems Computers and civilization Law Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Computer Communication Networks Computers and Society Law, general |
ISBN | 3-642-35731-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | AI and law -- legal theory -- argumentation -- the Semantic Web -- multi-agent systems. |
Record Nr. | UNISA-996466035003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Legal knowledge and information systems : JURIX 2018: the thirty-first annual conference / / edited by Monica Palmirani |
Pubbl/distr/stampa | Amsterdam ; ; Berlin ; ; Washington, DC : , : IOS Press, , [2018] |
Descrizione fisica | 1 online resource (246 pages) |
Disciplina | 343.0999 |
Collana | Frontiers in artificial intelligence and applications |
Soggetto topico |
Law - Methodology - Automation
Artificial intelligence |
ISBN | 1-61499-935-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910793246303321 |
Amsterdam ; ; Berlin ; ; Washington, DC : , : IOS Press, , [2018] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Legal knowledge and information systems : JURIX 2018: the thirty-first annual conference / / edited by Monica Palmirani |
Pubbl/distr/stampa | Amsterdam ; ; Berlin ; ; Washington, DC : , : IOS Press, , [2018] |
Descrizione fisica | 1 online resource (246 pages) |
Disciplina | 343.0999 |
Collana | Frontiers in artificial intelligence and applications |
Soggetto topico |
Law - Methodology - Automation
Artificial intelligence |
ISBN | 1-61499-935-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910807923803321 |
Amsterdam ; ; Berlin ; ; Washington, DC : , : IOS Press, , [2018] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Rule-Based Modeling and Computing on the Semantic Web [[electronic resource] ] : 5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings / / edited by Monica Palmirani, Davide Sottara |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XVIII, 313 p. 66 illus.) |
Disciplina | 006.74 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Artificial intelligence Computer communication systems Software engineering Computer programming Database management Information Systems Applications (incl. Internet) Artificial Intelligence Computer Communication Networks Software Engineering Programming Techniques Database Management |
ISBN | 3-642-24908-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Title -- Preface -- Conference Organization -- Table of Contents -- Keynotes Speakers (Abstracts and Short Papers) -- Business Executives Sharing Knowledge with Inference Engines: News from the ONTORULE Project -- Rule-Enhanced Domain Models for Cloud Security Governance, Risk and Compliance Management -- Introduction -- Domain Models and Intelligent Processing in Software Assurance and GRC for Cloud Services -- Domain Ontologies and Rules Processing - The State of the Art -- Basic Architecture of Domain Models for Cloud Security GRC -- References -- Rules, Tables and Decisions: A Family History Tale -- Event-Driven Rules: Experiences in CEP -- Invited Presentations (Abstracts) -- Efficient Rule and Query Execution with CLIF++ -- Recent Advances in the SILK Knowledge Representation and Its Usage -- Rules and OMG Standards -- Understanding NIEM and Rules Needs -- Introduction -- Short Term Needs -- Rules, Semantic Technology, and Cross-Industry Standards -- Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG -- Introduction -- Design of the RuleML Relax NG Schema -- GUI Web-App and Language Options Encoding -- Parameterized Schema -- Design Patterns for Modules -- Transformation -- Implementation of the RuleML Schema Design -- Implementation in RuleML 0.91 -- Implementation in RuleML 1.0 -- Preview of Proposed RuleML 1.1 -- Conclusions -- References -- Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rules -- Introduction -- Preliminaries -- Combination of DLs and Rules -- Reasoning in Combined Knowledge Base -- Our Approach -- Properties of the Algorithm -- Computational Complexity of the Algorithm -- Restrictions on Knowledge Base Components -- Disjunction -- Modular Reasoning -- Named/Unnamed Objects -- Equality (Inequality).
Implementation and Experiments -- Relationship with Other Combination Approaches -- Conclusion -- References -- Relaxed Safeness in Datalog-Based Policies -- Introduction -- Datalog and Safeness: Background -- I/O-Safeness -- Advanced Applications of I/O-Safeness -- Preventing Intractable Policies -- Constraints and Functions -- Hierarchical Policies -- Conclusion -- References -- Knowledgebase Representation Language Interoperation Tool -- Introduction -- System Architecture -- Java Interoperation Object (JIO) -- Slots -- Positional-Slotted Knowledge (POSL) JIO Mapping -- Notation 3 (N3) -- Example Usage and Conclusion -- References -- Rules and Automated Reasoning -- Consistency and Provenance in Rule Processing -- Introduction -- Motivating Example -- Formal Development -- Complexity and Rewriting -- NP-Completeness -- Provenance -- Computing Existential Answers via Provenance -- Answer Set Programming -- Related Work -- Future Work -- References -- D2R2: Disk-Oriented Deductive Reasoning in a RISC-Style RDF Engine -- Introduction -- Contributions -- Related Work -- Datalog Query Evaluation -- QSQR with Dynamic Join Ordering and Chaining -- Join Ordering -- Sub-query Scheduling -- D2R2 System Architecture -- RDF-3X -- RDF-3X Integration -- Recursive Query Evaluation -- Experimental Evaluation -- Handling of Extensional Queries -- Effect of Chaining -- YAGO Comparative Runs -- LUBM Comparative Runs -- Conclusions -- References -- Principles of the SymposiumPlanner Instantiations of Rule Responder -- Introduction -- Related Work -- Rule Responder for Symposium Organization -- Issues in Symposium Organization -- Interaction with Users -- Communication between Distributed Agents -- Integration with External Information -- Role Assignment -- Conceptual Architecture -- Organizational Agent -- Personal Agents -- SymposiumPlanner System. Mule Enterprise Service Bus -- Platform-Specific Rule Responder Agents -- Reaction RuleML -- SymposiumPlanner User Client -- Conclusion -- References -- Extended Rules in Knowledge-Based Data Access -- Introduction -- Rule-Based System and Reasoning Scheme -- Rules and Facts -- Rule-Based System -- Magic Transformation -- Sideways Information Passing and Adorned Rules -- Query Answering with a Rule-Based System -- Overview of the Method -- Generation of the Extended Rules -- Mapping between Predicates and Relational Data -- Reasoning and the Query Algorithm -- Query Implementation and Performance Evaluation -- Implementation -- Performance Evaluation -- Related Work -- Conclusions and Future Work -- References -- Rule-Based Event Processing and Reaction Rules -- Standards for Complex Event Processing and Reaction Rules -- Introduction -- The CEP Standards Reference Model -- Business and Technical Perspective -- Domain Specific and General Standards -- Standards per the CSRM Classification -- Standards in CSRM Areas -- CEP Reference Architecture and CEP Design Patterns -- Standard CEP Vocabularies and Semantic Ontologies -- Computational Independent Standard for Simple and Complex Event Modeling -- CEP Technology Standards -- Conclusion -- References -- Supporting Data Consistency in Concurrent Process Execution with Assurance Points and Invariants -- Introduction -- Related Work -- Background for the Use of Invariants -- Delta-Enabled Grid Services -- Service Composition and Recovery with APs -- Invariant Monitoring System -- Overview -- Invariant Specification -- Prototype of the Invariant Monitoring System -- Registration of Invariants and Monitored Objects -- The Invariant Evaluation Web Service -- The Delta Analysis and Filtering Process -- Testing and Evaluation -- Summary and Future Work -- References. Probabilistic Event Calculus Based on Markov Logic Networks -- Introduction -- Event Calculus: A Succinct Presentation -- Event Calculus in Markov Logic Networks -- The Law of Inertia in Probabilistic Event Calculus -- Application to Activity Recognition -- Related Work -- Conclusions -- References -- On Applying Temporal Database Concepts to Event Queries -- Introduction -- Temporal Database Operators -- Example Use Cases -- A Relational Framework for Temporal Event Queries -- Relational Algebra for Temporal Queries -- Incremental Evaluatiion of Temporal Queries -- Summary and Future Work -- References -- Vocabularies, Ontologies and Business Rules -- Lexicalized Ontology for a Business Rules Management Platform: An Automotive Use Case -- Introduction -- The Audi BRMS or Platform -- The Role of the Lexicalized Ontology in BRMS -- Formalization of Domain Knowledge -- Semantic Annotation of Documents -- Normalization of Vocabularies -- Documentation of the Shared Knowledge -- Formalism for the Audi Lexicalized Ontology -- Experiments in the Audi Use Case -- The Audi BRMS Ontology -- Semantic Querying -- Document Mining -- Related Work -- Conclusion -- References -- Towards Directly Applied Ontological Constraints in a Semantic Decision Table -- Introduction -- Background: Semantic Decision Tables -- Directly Applied Ontological Constraints -- Value Constraint -- Cardinality and Occurrence Frequency -- Mandatory -- Uniqueness -- Exclusive-Or -- Subtyping -- Related Work -- Discussion, Conclusion and Future Work -- References -- Representing and Solving Rule-Based Decision Models with Constraint Solvers -- Introduction -- The Decision Model -- Rule Families -- Business Glossary -- Top-Down Design -- Test Cases and Real Data -- Constraint-Based Implementation -- Fact Types as Constrained Variables -- Rules as Conditional Constraints. Consistency Validation -- Finding Solutions for Partially Defined Decision Models -- Related Work and Future Development -- References -- SWRL-Based Context Awareness for Application Servers Hosting Digital Services -- Needs for a Semantic CAS -- Related Works -- Context-Awareness -- Architectures of Context-Aware Applications -- Existing Works on Context-Aware Systems -- Rule Driven Context-Awareness -- Storing Context in a Domain Ontology -- Reference Scenario -- Conclusion -- References -- Cloud Computing and Rules -- Cloud Computing: Combining Governance, Compliance, and Trust Standards with Declarative Rule-Based Frameworks -- Introduction -- Background -- Key Focus Areas -- Multi-security and Cloud -- Cloud Computing and RuleML -- Policy-Based Multi-tenancy -- Conclusions -- References -- Role Assignment in Institutional Clouds for Rule-Based Enterprise Management -- Introduction -- Background -- Institutional Rules -- Institutionalised Power -- Dynamic Specifications -- Institutional Rules as Dynamic Specifications -- Institutional Rules for Role Assignment -- Dynamic Specification of Role Assignment -- Fluents (Institutional Facts) -- Expressed Preferences - Voting -- Operational-Choice Rule - Member Role Assignment -- Collective-Choice Rule - Gatekeeper Role Assignment -- Testbed and Evaluation -- Testbed Specification and Algorithm Design -- Experimental Results and Discussion -- Related and Further Work -- Summary and Conclusions -- References -- Clinical Semantics and Rules -- Standards, Data Models, Ontologies, Rules: Prerequisites for Comprehensive Clinical Practice Guidelines -- Introduction -- Foundational Pillars -- Decision Logic -- Guideline Formalisms -- Clinical Data Models -- Semantics and Terminology Services -- Towards Semantic Guidelines -- Uncertainty Enriched Systems -- Vagueness -- Uncertainty -- Runtime Adaptation. Distributed Decsion Support Services and Knowledge Management Respository. |
Record Nr. | UNISA-996465958303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|