yusuke1997/dblp-id-title huggingface dataset:
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
Statement Types in Legal Argument
Precedent-Based Reasoning with Incomplete Cases
Timed Dyadic Deontic Logic
Multi-Granularity Argument Mining in Legal Texts
A Model for the Burden of Persuasion in Argumentation
Few-Shot Tuning Framework for Automated Terms of Service Generation
Identification of Contradictions in Regulation
Towards a Methodology for Formalizing Legal Texts in LegalRuleML
What Makes a Story Plausible? The Need for Precedents
Legal Rules Modelling Meets the Web
The Role of Normware in Trustworthy and Explainable AI
Values and Factor Ascription Arguments
PatentTransformer: A Framework for Personalized Patent Claim Generation
On the Formal Structure of Rules in Conflict of Laws
Regulations Expressed As Logical Models (REALM)
Governmental Transparency in the Era of Artificial Intelligence
The development of a Content Management System for Environmental Legislation based on Version Management
Unsupervised Keyword Extraction for Japanese Legal Documents
Iceberg.ai - A platform for rapid development of legal and regulatory AI services
Towards Measures of Complexity: Applying Structural and Linguistic Metrics to German Laws
Consequences of Unexplainable Machine Learning for the Notions of a Trusted Doctor and Patient Autonomy
Argumentation Schemes for Reasoning about Factors with Dimensions
Legal Knowledge and Information Systems - JURIX 2006: The Nineteenth Annual Conference on Legal Knowledge and Information Systems, Paris, France, 7-9 December 2006
DIREGA - Building Decision Support for German Register Law
On Conflicts and Satisfiability in Metric Timed Normative Logics
On the Interactional Meaning of Fundamental Legal Concepts
The Force of EU Case Law: A Multi-dimensional Study of Case Citations
Arguing About Choosing a Normative System: Conflict of Laws
A Formal System for Analyzing Conveyances of Property Under the Common Law
Examination of Current AI Systems within the Scope of Right to Explanation and Designing Explainable AI Systems
Verifying Meaning Equivalence in Bilingual International Treaties
Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction
Influence and Responsibility: A Logical Analysis
Learning to Rank Sentences for Explaining Statutory Terms
STIA: Experience of Semantic Annotation in Jurisprudence Domain
Topic Modelling Brazilian Supreme Court Lawsuits
Improvements in Information Extraction in Legal Text by Active Learning
Automatic Simplification of Legal Texts in Portuguese Using Machine Learning
Search and Discovery in Legal Document Networks
Bridging Representations of Laws, of Implementations and of Behaviours
On Legal Teleological Reasoning
Legal Knowledge and Information Systems - JURIX 2008: The Twenty-First Annual Conference on Legal Knowledge and Information Systems, Florence, Italy, 10-13 December 2008
Automatic Generation of Explanations to Prevent Privacy Violations
Document Ranking with Citation Information and Oversampling Sentence Classification in the LUIMA Framework
Natural Language Processing Applications in Case-Law Text Publishing
A Model-Based Critique Tool for Policy Deliberation
Identification of Rhetorical Roles of Sentences in Indian Legal Judgments
Normative Requirements as Linked Data
Human Performance on the AI Legal Case Verdict Classification Task
Towards Data-Driven Style Checking: An Example for Law Texts
Swiss Federal Publication Workflow with Akoma Ntoso
Automating Fundamental Right Impact Assessment: An Open Experiment
Toward Automatically Identifying Legally Relevant Factors
Impacts of Continued Legal Pre-Training and IFT on LLMs' Latent Representations of Human-Defined Legal Concepts
EXPERTIUS: A Mexican Judicial Decision-Support System in the Field of Family Law
Two Faces of Strategic Argumentation in the Law
Utilizing iALC to Formalize the Brazilian OAB Exam
Legal Knowledge and Information Systems - JURIX 2017: The Thirtieth Annual Conference, Luxembourg, 13-15 December 2017
Reasoning in Court with the Outcome of a Machine Learning Algorithm with Case Law as an Input
Anchored Narratives in Reasoning about Evidence
Automatic Classification of Sentences in Dutch Laws
Update Legal Documents Using Hierarchical Ranking Models and Word Clustering
Proceedings of the Seventh JURIX 2019 Doctoral Consortium co-located with 32nd International Conference on Legal Knowledge and Information Systems, JURIX 2019 Doctoral Consortium, Madrid, Spain, December 11, 2019
A Semi-Supervised Training Method for Semantic Search of Legal Facts in Canadian Immigration Cases
Proceedings of the First JURIX Doctoral Consortium and Poster Sessions in conjunction with the 26th International Conference on Legal Knowledge and Information Systems, JURIX 2013, Bologna, Italy, December 11-13, 2013
Portfolio Optimization and Trading Strategies: a Simulation Approach
Reasoning About Applicable Law in Private International Law in Logic Programming
Large-Scale Linguistic Ontology as a Basis for Text Categorization of Legislative Documents
Hierarchical a Fortiori Reasoning with Dimensions
From Information Retrieval (IR) to Argument Retrieval (AR) for Legal Cases: Report on a Baseline Study
Application of Topic Models to Judgments from Public Procurement Domain
Using Legal Ontology for Query Enhancement in Generating a Document Summary
A Process Model of Legal Argument with Hypotheticals
Fighting the Knowledge Representation Bottleneck with Large Language Models
Advancing Knowledge Discoveries in Criminal Investigations with Semantic Textual Similarity
Conceptual Structures in Statutory Interpretation
Generating Cases for E-Learning
From Prescription to Description: Mapping the GDPR to a Privacy Policy Corpus Annotation Scheme
Ontology-Based Approach for Mapping Concepts and Requirements from Regulations and Standards: The Case of the EU AI Act and International Standards
Data-driven AI Development: An Integrated and Iterative Bias Mitigation Approach
Generating Regular Expressions from Semantically and Pragmatically Analysed Text as Forensic Search Support in Evidence Mining
Representations of Time within Normative MAS
Emerald: Legal Knowledge Engineering Using OWL and Rules
Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms
Can a Military Autonomous Device Follow International Humanitarian Law?
Explaining Bayesian Belief Revision for Legal Applications
Artificial Intelligence initiatives in Cuatrecasas
Towards Reducing the Pendency of Cases at Court: Automated Case Analysis of Supreme Court Judgments in India
Assisted Normative Reasoning with Aristotelian Diagrams
Automated Processing of Privacy Policies Under the EU General Data Protection Regulation
The Internet of Money between Anonymity and Publicity: Legal Challenges of Distributed Ledger Technologies in the Crypto Financial Landscape
Simulating Pandemic Emergency Scenarios Considering Mobility Patterns Through an Agent-Based Model
A Linked Term Bank of Copyright-Related Terms
Traceability and Change in Legal Requirements Engineering
Making Sense of Collaborative Challenges in Agent-based Modelling for Policy-Making
Contract Automata with Reparations
A Survey on Methods and Metrics for the Assessment of Explainability Under the Proposed AI Act
Ontology-Based Liability Decision Support in the International Maritime Law
Building Applications with Purpose: Bridging Human-Centered Design and Human-Centered Artificial Intelligence in Legal Tech with the Double Diamond
Treaty Texts as Data - Developing New Tools for Negotiators and Litigators to Compare Bilateral Investment Treaties
Sharing Knowledge by Conceptual Mapping: the case of EU Thesaural Interoperability
A GDPR International Transfer Compliance Framework Based on an Extended Data Privacy Vocabulary (DPV)
Narrowing Legal Concepts
Using Crowdsourcing Games Techniques and Similarity Metrics to Improve Legal Ontologies Expansion
A Unified Change Management of Regulations and their Formal Representations based on the FRBR Framework and the Direct Method
Rule-based versus Principle-based Regulatory Compliance
Toward Building a Legal Knowledge-Base of Chinese Judicial Documents for Large-Scale Analytics
Proceedings of the 1st Workshop on Agent-based Modeling and Policy-Making (AMPM2021) co-located with 34th International Conference on Legal Knowledge and Information Systems (JURIX2021), Virtual Event, Vulnius, Lithuania, 8th December, 2021
Ontology-Driven Legal Support-System in the Air Transport Passenger Domain
Assessing Liability with Argumentation Maps: An Application in Aviation Law
A Compliance Model of Trust
Reasoning Using Polish Commercial Companies Code Ontology
Using a Model of Fraudulent Trader for Fraud Detection
A Pragmatic Approach to Semantic Annotation for Search of Legal Texts - An Experiment on GDPR
Neural Reasoning for Legal Text Understanding
Success chances in argument games: a probabilistic approach to legal disputes
Representing narrative and testimonial knowledge in sense-making software for crime analysis
Reasoning about Normative Systems
Legal Search in Case Law and Statute Law
Hybrid AI Framework for Legal Analysis of the EU Legislation Corrigenda
K-Means Clustering for Controversial Issues Merging in Chinese Legal Texts
An Algorithm for Business Process Compliance
Stable Normative Explanations
What Makes a System a Legal Expert?
AI in Healthcare: Navigating Legal Risk Assessment with JusticeBot
Cases and Stories, Dimensions and Scripts
Signal Phrase Extraction: A Gateway to Information Retrieval Improvement in Law Texts
XDTD as a Simple Validation Language for XML-based Legal Documents
Not All Nations at All Times
Two Methods for Representing Judicial Reasoning in the Framework of Coherence as Constraint Satisfaction
Legal Knowledge and Information Systems - JURIX 2015: The Twenty-Eighth Annual Conference, Braga, Portugal, December 10-11, 2015
Did He Jump or Was He Pushed? Abductive Practical Reasoning
An Interactive Natural Language Interface for PROLEG
Assessing Ocean's Legal Protection Using AI: A New Dataset and a BERT-Based Classifier
A Chatbot Framework for the Children's Legal Centre
Mapping Cross-Border Margin Requirements
As Law Goes By: Topology, Ontology, Evolution
Case Frames and Case-Based Arguments in Statutory Interpretation
The Desocialization of the Courts, Sentencing Decision Support and Plea Bargaining
Classification of German Court Rulings: Detecting the Area of Law
Mediation, ODR, and the Web 2.0: A Case for Relational Justice
ERST: Leveraging Topic Features for Context-Aware Legal Reference Linking
On the Representation of Deadlines in a Rental Agreement
Automatic Classification of Personal Conflict Styles in Conflict Resolution
A Privacy Protection Model for Online Social Networks
More on Presumptions and Burdens of Proof
A Narrative Assistant for Traffic Accidents Based on Large Language Models (LLM)
Managing Motivation at the Workplace through Negotiation
Executing United States Bills into Law: A Working Application in the United States House
Implementing a Theory of a Legal Domain
Dialogue Interactions in Oral Hearings
The Power Laws of the Italian Constitutional Court, and Their Relevance for Legal Scholars
Legal N-Grams? A Simple Approach to Track the Evolution of Legal Language
Managing Legal Compliance in Video-interview Systems. Rules-Based Auditing
The Role of Vocabulary Mediation to Discover and Represent Relevant Information in Privacy Policies
Cause of Action and the Right to Know. A Formal Conceptual Analysis of the Texas Senate Bill 25 Case
Written Laws are Like Spiders Webs
Identifying the Factors of Suspicion
Unravelling the ECHR: Components of Legal Case Analysis
Interpretations of Support Among Arguments
An Ontological Approach for the Management of Rights Data Dictionaries
Representing the Quality of Crime Scenarios in a Bayesian Network
Towards Hybrid Evaluation Methodologies for Large Language Models in the Legal Domain
Defeasible Systems in Legal Reasoning: A Comparative Assessment
Legal Representation and Reasoning in Practice: A Critical Comparison
Automated Detection of Reference Structures in Law
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue - International Workshops AICOL-I/IVR-XXIV Beijing, China, September 19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers
Building an ontological support for multilingual legislative drafting
Legal Question Answering Based on Logical Reasoning in Large Pretrained Language Models
Explanation in Hybrid, Two-Stage Models of Legal Prediction
Towards Explainable, Compliant and Adaptive Human-Automation Interaction
Automatic Extraction of Legal Concepts and Definitions
Draft Better Contracts
On Observing Contracts: Deontic Contracts Meet Smart Contracts
Modelling Legal Knowledge for GDPR Compliance Checking
Explaining Arguments at the Dutch National Police
Retrieval of Prior Court Cases Using Witness Testimonies
Harmonizing AI Data Governance: Profiling ISO/IEC 5259 to Meet the Requirements of the EU AI Act
Automated Legal Assessment in OWL 2
Modeling Judicial Discretion with Nuanced Permissions
The Difference between Explainable and Explaining: Requirements and Challenges under the GDPR
Implementing Compliance Controls in Public Administration
Redistribution, Social Segregation and Voting Information
An Action-Based Legal Model for Dynamic Digital Rights Expression
Building the Legal Knowledge Graph for Smart Compliance Services in Multilingual Europe
Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract
Surveillance Risks in IoT Applied to Smart Cities
Arg-tuProlog: A Modular Logic Argumentation Tool for PIL
Analyze the Usage of Legal Definitions in Indonesian Regulation Using Text Mining Case Study: Treasury and Budget Law
Permissioned Blockchains: Towards Privacy Management and Data Regulation Compliance
TENJI: A Textbook Entity Network and Jurisprudence Interface
Legal Knowledge and Information Systems - JURIX 2012: The Twenty-Fifth Annual Conference, University of Amsterdam, The Netherlands, 17-19 December 2012
ThinkData: a Data Protection and Transparency Awareness Service based on Storytelling
A Methodology for Encoding Regulatory Rules
Coding Suspicion
An Argumentation and Ontology Based Legal Support System for AI Vehicle Design
Social Media Policy and Non-Profit Organization: Exploring the Legal Ramifications of 'Being Social'
Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases
Legal Compliance in a Linked Open Data Framework
Legal Knowledge Modeling and Acquisition for Legal Reasoning in a Linked Open Data Framework
Balancing with Thresholds
Using LLMs to Discover Legal Factors
Applications of ABM in International Legal Research: the Case of Compliancee
Norm Modifications in Defeasible Logic
Towards a Global Importance Indicator for Court Decisions
Legal Knowledge Representation: A Twofold Experience in the Domain of Intellectual Property Law
Open-Access Grant Data: Towards Meta-Research Innovation
System for Detection of Illegal Drugs E-Trading
A Case-Based-Reasoning Analysis of the COMPAS Dataset
Interaction Nets and Term Rewriting Systems (Extended Abstract)
Calcul du Rang des sum-Arbres Infinis Reguliers
Regular extensions of iterative algebras and metric interpretations
Evaluation d'Arbre Pour un Calcul Formel (Application a l'Enumeration de Proteines)
Manipulation d'arbres syntaxiques et contruction de programmes
Interval Logics and Sequential Transducers
Trees in Kripke Models and in an Intuitionistic Refutation System
Finite automata on infinite trees and subtheories of SkS
Confluence without Termination via Parallel Critical Pairs
Coherence of Subsumption
Arbres Bien Etiquetes et Fractions Multicontinues
Delayed evaluation trees and their application to sementics
Cofinality in Reduction Graphs
Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities
Efficient Algorithms for Finding Maximal Matching in Graphs
CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings
A Rank Hierarchy for Determinsitic Tree-Walking Transducers
Logical Aspects in the Study of Tree Languages
Monadic Second-Order Graph Transductions
Closure of recognisable tree-languages under intersection and morphisms
On the Equivalence of Synchronization Sets
Exact Computation Sequences
On the First-Order Equivalence of Call-by-Name and Call-by-Value
Testing for Inductive (Co)-Reducibility
Colourings of Planar Maps and the Equality of Two Languages
Random Walks, Gaussian Processes, and List Structures
A²CCS: A Simple Extension of CCS for Handling Atomic Actions
Infinite Trees, Markings and Well Foundedness
On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems
Flobal Program Analysis in Constraint Form
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing
A schematalogical approach to the alalysis of the procedure concept in algol-languages
An Application of Maximum Bipartite C-Matching to Subtree Isomorphism
A Pumping Lemma for Output Languages of Macro Tree Transducers
Diophantine Equations, Presburger Arithmetic and Finite Automata
Directed Hypergraphs: Data Structures and Applications
Top-Down Tree-Transducers for Infinite Trees I
Petri Nets as Models of Linear Logic
Complete Sets of Unifiers and Matchers in Equational Theories
Product and Iteration of Module Specifications
On the Algebraic Specification of Nondeterministic Programming Languages
Programming languages as abstract data types
Inner and Mutual Compatibility of Basic Operations on Module Specifications
Acyclic Database Schemes (of Various Degrees): A Painless Introduction
Trees Everywhere
Discriminability of Infinite Sets of Terms in the D infinity -Models of the lambda-calculus
Relative Normalization in Deterministic Residual Structures
An Algebraic Approach to the Interpretation of Recursive Types
Regular Automata and Model Checking
Transformation Strategies for Deriving On Line Programs
Termination by Absence of Infinite Chains of Dependency Pairs
Subsumption Algorithms Based on Search Trees
Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications
CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings
CTL* and ECTL* as Fragments of the Modal µ-Calculus
An Algebraic Theory of Flowchart Schemes
Histoires de Files de Priorite avec Fusions
A Markovian Concurrency Measure
Efficient Longest and Infinite Reduction Paths in Untyped Lambda-Calculi
On equivalent transformations of binary search trees
Nearly Tight Bounds for the Longest Edge in an Tree in a VLSI Lay Out
A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems
Trees in Algebra and Programming - CAAP'94, 19th International Colloquium, Edinburgh, UK, April 11-13, 1994, Proceedings
Grammars Without Erasing Rules - The OI Case
Alternating Tree Automata
Easy Solutions are Hard To Find
Completeness Results for a Polymorphic Type System
Graph Matching in Operational Semantics and Typing
Grammar-Based Data-Flow Analysis to Stop Deforestation
A Modal Characterisation of Observable Machine-Behaviour
Modeling Statecharts Behaviour in a Fully Abstract Way
Infinite Values in Hierarchical Imperative Types
Power Domains Supporting Recursion and Failure
Some Further Approximation Algorithms for the Vertex Cover Problem
How to Compute Generators for the Intersection of Subgroups in Free Groups
Trees as Data and File Structures
Decomposition Trees: Structured Graph Representation and Efficient Algorithms
Implementing Term Rewritin Languages in Dactl
Graph Grammars and Tree Transducers
The Practice of Logical Frameworks
Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings
Equational Completion in Order-Sorted Algebras (Extended Abstract)
An Ordinal Calculus for Proving Termination in Term Rewriting
Uniform Termination of Term Rewriting Systems: Recursive Decomposition Ordering with Status
Infinitary Relations
Decidability of Reachability and Disjoint Union of Term Rewriting Systems
Behavioural Satisfaction and Equivalence in Concrete Model Categories
Basic Tree Transducers
On the Maximum Path Length of AVL Trees
Type Preorders
Semantics of Interaction (Abstract)
On Graph Rewritings
Proof System for Hennessy-Milner Logic with Recursion
Iterative Pairs and Multitape Automata
Optimal Decisions Trees and One-Time-Only Branching Programs for Symmetric Boolean Functions
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations
Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog
Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980
CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings
Characterizing Specification Languages Which Admit Initial Semantics
Graphical versus Logical Specifications
Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization
Random Walks on Trees
Axiomatising Extended Computation Tree Logic
Extraction of Concurrent Processes from Higher Dimensional Automata
Nearly deterministic automata acceptation of infinite trees and a complexity of weak theory of SkS
Continuous Structures and Analytic Methods in Computer Science
Finite Tree Automata with Cost Functions
A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction
Towards the Unification of Models for Concurrency
Structured Theories in LCF
A Bottom-Up Algorithm for Weight- and Height-Bounded Minimal Partitions of Trees
On Comleteness of Narrowing Strategies
A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata
Numeration Models of Lambda-Calculus
Delayed evaluation trees and their application to sementics (Additif)
Origin Functions in Lambda-Calculus and Term Rewriting Systems
On Higher Order Recursive Program Schemes
Boundary NLC Grammars
Weighted Graphs: A Tool for Logic Programming
A CPS-Translation of the Lambda-µ-Calculus
Ordering Constraints on Trees
A Class of Program Schemes Based on Tree Rewriting Systems
Preuves de programmes sans induction
Average Efficiency of Pattern Matching on LISP Expressions
Probabilistic Analysis of Graph Colouring Algorithms
On Optimal VLSI-Circuits for the Basic Arithmetic Functions
Classical and Incremental Evaluators for Attribute Grammars
Empty Stack Pushdown Omega-Tree Automata
Une Semantique Pour Les Arbres Non Deterministes
A New Linear Algorithm for Modular Decomposition
Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics
Analysis of Dynamic Algorithms in D. E. Knuth's Model
Efficient Optimization of Monotonic Functions on Trees
On Applications of Algorithmic Logic
VLSI Mesh of Trees for Data Base Processing
A criterion common to various continuous completions of albegras and X-categories
Unfolding Omega nets into trees
More Efficient Bottom-Up Tree Pattern Matching
Unitary Monoid with Two Generators: An Algorithmic Point of View
Expressiveness Bounds for Completness in Trace-Based Network Proof Systems
Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets
On Pushdown Tree Automata
Relating Type-Structures: Partial Variations on a Theme of Friedman and Statman
Certain Algorithms for Subgraph Isomorphism Problems
The Kronecker Product and Local Computations in Graphs
Alternating Bottom-Up Tree Recognisers
Parallel Contraction of Fibonacci Trees and Prefix Computations on a Family of Interconnection Topologies
Trie Partitioning Process: Limiting Distributions
Membership for Growing Context Sensitive Grammars is Polynomial
Digital Search Trees and the Generation of an Exponentially Distributed Variate
A Class of Tree-Like UNION-FIND Data Structures and the Nonlinearity