yusuke1997/dblp-id-title huggingface dataset:
Organization and Development of a Constructive Axiomatization
Separating Terms by Means of Multi Types, Coinductively
A Preview of the Basic Picture: A New Perspective on Formal Topology
18th International Workshop on Types for Proofs and Programs, TYPES 2011, Bergen, Norway, September 8-11, 2011
Extending Equational Monadic Reasoning with Monad Transformers
A Concurrent Logical Framework: The Propositional Fragment
An Implementation of the Heine-Borel Covering Theorem in Type Theory
Proof of Imperative Programs in Type Theory
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
Specification and Verification of a Formal System for Structurally Recursive Functions
Big Step Normalisation for Type Theory
An Irrelevancy-Eliminating Translation of Pure Type Systems
Highman's Lemma in theory
An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma
Heterogeneous Substitution Systems Revisited
Parametricity, Automorphisms of the Universe, and Excluded Middle
Manifest Fields and Module Mechanisms in Intensional Type Theory
Intuitionistic vs. Classical Tautologies, Quantitative Comparison
A Tool for Automated Theorem Proving in Agda
25th International Conference on Types for Proofs and Programs, TYPES 2019, Oslo, Norway, June 11-14, 2019
Weak Transitivity in Coercive Subtyping
20th International Conference on Types for Proofs and Programs, TYPES 2014, Paris, France, May 12-15, 2014
Gröbner Bases in Type Theory
Isomorphism of "Functional" Intersection Types
Specification of a Smart Card Operating System
Encoding Z-style Schemas in Type Theory
A Type System for Usage of Software Components
Proof Style
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control
A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq
Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Formalising Bitonic Sort in Type Theory
Nominal Presentation of Cubical Sets Models of Type Theory
Duality in Intuitionistic Propositional Logic
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices
A Simple Model Construction for the Calculus of Constructions
Executing Higher Order Logic
Some Algebraic Structures in Lambda-Calculus with Inductive Types
A Certified Study of a Reversible Programming Language
Extracting Imperative Programs from Proofs: In-place Quicksort
Truth Values Algebras and Proof Normalization
Is Impredicativity Implicitly Implicit?
Bounded Polymorphism for Extensible Objects
Lower End of the Linial-Post Spectrum
Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Circuits as Streams in Coq: Verification of a Sequential Multiplier
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach
Typing with Conditions and Guarantees for Functional In-place Update
Formalizing Equivalences Without Tears
Extensionality of lambda-*
A Process-Model for Linear Programs
Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families
New Formalized Results on the Meta-Theory of a Paraconsistent Logic
Extracting a Normalization Algorithm in Isabelle/HOL
First-Class Object Sets
Principal Types as Lambda Nets
Towards a Type Discipline for Answer Set Programming
Verification of redecoration for infinite triangular matrices using coinduction
Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping
Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation
Automating Inversion of Inductive Predicates in Coq
Implementation Techniques for Inductive Types in Plastic
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem
Curry-Style Types for Nominal Terms
An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification
Internal Strict Propositions Using Point-Free Equations
On Equality of Objects in Categories in Constructive Type Theory
A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals
Why Not W?
Mechanized Metatheory Revisited: An Extended Abstract (Invited Paper)
The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs
Codifying Guarded Definitions with Recursive Schemes
Combining Incoherent Coercions for Sigma-Types
Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Type Inference for Nested Self Types
Wellfounded Trees and Dependent Polynomial Functors
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers
Coercion Synthesis in Computer Implementations of Type-Theoretic Frameworks
Fast Reflexive Arithmetic Tactics the Linear Case and Beyond
Objects and Subtyping in the Lambda-Pi-Calculus Modulo
Tactic-Based Optimized Compilation of Functional Programs
Continous Lattices in Formal Topology
Proof Normalization Modulo
Formally Verified Implementation of an Idealized Model of Virtualization
Coq Support in HAHA
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, May 29 - June 1, 2017
A New Extraction for Coq
"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models
Formal Proof Sketches
Attributive Types for Proof Erasure
Proof-Checking a Data Link Protocol
Interfaces as Games, Programs as Strategies
Linear Rank Intersection Types
A Natural Deduction Approach to Dynamic Logic
A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms
Expressing Ecumenical Systems in the λΠ-Calculus Modulo Theory
Finiteness in a Minimalist Foundation
An Interpretation of the Fan Theorem in Type Theory
Changing Data Structures in Type Theory: A Study of Natural Numbers
Axiom Directed Focusing
The Metatheory of UTT
Type Inference by Coinductive Logic Programming
Implementing a Type Theory with Observational Equality, Using Normalisation by Evaluation
Holes with Binding Power
Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus
Synthetic 1-Categories in Directed Type Theory
A Semi-reflexive Tactic for (Sub-)Equational Reasoning
A Sound and Complete Substitution Algorithm for Multimode Type Theory
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta -Rule
Elimination of Extensionality in Martin-Löf Type Theory
A Machine-Checked Formalization of the Random Oracle Model
Formalizing the Halting Problem in a Constructive Type Theory
Higher Inductive Type Eliminators Without Paths
Type Inference Verified: Algorithm W in Isabelle/HOL
Formalization of a lamda-Calculus with Explicit Substitutions in Coq
A Concrete Final Coalgebra Theorem for ZF Set Theory
A Logic for Parametric Polymorphism with Effects
QArith: Coq Formalisation of Lazy Rational Arithmetic
Non-constructive complex analysis in Coq
21st International Conference on Types for Proofs and Programs, TYPES 2015, Tallinn, Estonia, May 18-21, 2015
(In)consistency of Extensions of Higher Order Logic and Type Theory
A Foundation for Synthetic Stone Duality
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Applied Type System: Extended Abstract
Decidability of All Minimal Models
A Semantics of 𝕂 into Dedukti
A Metatheoretic Analysis of Subtype Universes
Conservativity between Logics and Typed lambda Calculi
Subtype Universes
Mobility Types in Coq
Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper)
Semantical BNF
Front Matter, Table of Contents, Preface, Authors Index
Elimination with a Motive
A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals
Collection Principles in Dependent Type Theory
A Formal Study of Boolean Games with Random Formulas as Payoff Functions
Crafting a Proof Assistant
Zermelo's Well-Ordering Theorem in Type Theory
On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory
Deciding Equality in the Constructor Theory
Using Structural Recursion for Corecursion
Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory
A Calculus of Constructions with Explicit Subtyping
A Model of Type Theory in Cubical Sets
Dependent Sums and Dependent Products in Bishop's Set Theory
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping
A Constructive Proof of Higman's Lemma in Isabelle
Exploring the Regular Tree Types
Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing
Proof Terms for Generalized Natural Deduction
A short and flexible proof of Strong Normalization for the Calculus of Constructions
A Type-Free Formalization of Mathematics where Proofs are Objects
Local Theory Specifications in Isabelle/Isar
Semantic Subtyping for Non-Strict Languages
Locales and Locale Expressions in Isabelle/Isar
A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic
Finite Combinatory Logic with Predicates
A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types
Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets
Constructive Reals in Coq: Axioms and Categoricity
Tailoring Filter Models
Passing the Brazilian OAB Exam: Data Preparation and Some Experiments
Prosecutorial Outcome Predication with LoRA and QLoRA
Proceedings of the EXplainable AI in Law Workshop co-located with the 31st International Conference on Legal Knowledge and Information Systems, XAILA@JURIX 2018, Groningen, The Netherlands, December 12, 2018
The Ethics of Controllability as Influenceability
Monitoring and Enforcement as a Second-Order Guidance Problem
Legal Knowledge and Information Systems - JURIX 2010: The Twenty-Third Annual Conference on Legal Knowledge and Information Systems, Liverpool, UK, 16-17 December 2010
Classifying Semantic Types of Legal Sentences: Portability of Machine Learning Models
Argumentation Schemes for Statutory Interpretation: A Logical Analysis
A Question Answer System for Legal Information Retrieval
Legislative Dialogues with Incomplete Information
Permissions in Contracts, a Logical Insight
An Agent-Based Model for Poverty and Discrimination Policy-Making
Hybrid Legal Norm Retrieval: Leveraging Knowledge Graphs and Textual Representations
Judges Are from Mars, Pro Se Litigants Are from Venus: Predicting Decisions from Lay Text
European Judicial Collaboration Platform (JCP) for Secure International Judicial Collaboration
Categorisation of Norms
Explaining Factor Ascription
Giving Examples Instead of Answering Questions: Introducing Legal Concept-Example Systems
Three Concepts of Defeasible Permission
The Legal Precedent in Online Dispute Resolution
A General Theory of Contract Conflicts with Environmental Constraints
Practical and Accurate Insider Trading Liability Calculation
Weakly Supervised One-Shot Classification Using Recurrent Neural Networks with Attention: Application to Claim Acceptance Detection
Automated Methods for Extracting and Expanding Lists in Regulatory Text
LUMI: Legal Understanding and Matching Through Interactive Highlighting
Automatic Detection of Significant Updates in Regulatory Documents
Tough Decisions? Supporting System Classification According to the AI Act
Simulating Heterogeneous Portfolio Choices and Financial Market Outcomes
Nearest Neighbor Search for Summarization of Japanese Judgment Documents
Exploiting Properties of Legislative Texts to Improve Classification Accuracy
Ontology-driven Data Acquisition: Intelligent Support to Legal ODR Systems
Business Requirements for Legal Knowledge Graph: the LYNX Platform
Lessons from Implementing Factors with Magnitude
A Case Study on Legal Case Annotation
When Precedents Clash
Autosuggestion of Relevant Cases and Statutes
Towards a Semantic Specification for GDPR Data Breach Reporting
Practical Reasoning and Proposing: Tools for e-Democracy
Explainability of Formal Models of Argumentation Applied to Legal Domain
Extending the power of automated legal drafting technology
Free Choice Permission in Defeasible Deontic Logic
Utilizing Vector Space Models for Identifying Legal Factors from Text
Legal Knowledge Framework for Identifying Water, Energy, Food and Climate Nexus
On Legal Validity
On Capturing Legal Knowledge in Ontology and Process Models Combined
Comprehensive Framework Embracing the Complexity of Statutory Interpretation
Challenges of Terminology Extraction from Legal Spanish Corpora
The FSTP Test: a novel approach for an invention's non-obviousness analysis
Argumentation Schemes as an Effective Tool in Cases of Double Taxation
Like Circles in the Water: Responsibility as a System-Level Function
Thesaurus-based Retrieval of Case Law
Instrumental Inference in Legal Expert System
User Centered Evaluation of EQUALS, a Rule-based Legal Decision-aid
Segmenting U.S. Court Decisions into Functional and Issue Specific Parts
LeReRAG: Measuring Legal Relevance in Retrieval Augmented Generation Applications
Assumption Based Peg Unification for Crime Scenario Modelling
Visualization of Legal Informatics
Similar Phrases for Cause of Actions of Civil Cases
Thesauri Alignment for EU eGovernment Services: a Methodological Framework
Improving Rationales with Small, Inconsistent and Incomplete Data
From Oral Hearing to Opinion in The U.S. Supreme Court
Comparing Argument Diagrams
Multi-label Classification of Legislative Text into EuroVoc
Towards the Creation and Enrichment of a Terminological Knowledge Graph in the Legal Domain
Presumptions and Burdens of Proof
Legal rules and argumentation in a metalogic framework
An Approach to Legal Rules Modelling and Automatic Learning
Legal Knowledge and Information Systems - JURIX 2024: The Thirty-seventh Annual Conference, Brno, Czech Republic, 11-13 December 2024
Interpretative Argumentation Schemes
Mining Information from Statutory Texts in Multi-Jurisdictional Settings
Legal Institutions and Virtual Worlds
Behavioural Compliance and Law Enforcement in Online Hate Speech
Predicting Outcomes of Italian VAT Decisions
Nice and Nasty Lawyers, is the Legal System to Blame? - Agent-based simulation insights
Conditional Abstractive Summarization of Court Decisions for Laymen and Insights from Human Evaluation
Legal Electronic Institutions and ONTOMEDIA: Dialogue, Inventio , and Relational Justice Scenarios
The Illinois Intentional Tort Qualitative Dataset
Transfer Learning for Deontic Rule Classification: The Case Study of the GDPR
Legal Knowledge and Information Systems - JURIX 2022: The Thirty-fifth Annual Conference, Saarbrücken, Germany, 14-16 December 2022
Addressing Argumentation Puzzles with Model-based Diagnosis
On modelling burdens and standards of proof in structured argumentation
An Analytical Study of Algorithmic and Expert Summaries of Legal Cases
Police Investigation Management System Based on the Workflow Technology
Development of the eLen Regulation Database to Support Legislation of Municipalities
Automatically Identifying Eviction Cases and Outcomes Within Case Law of Dutch Courts of First Instance
Legal Change Management with a Native XML Repository
Legal Knowledge and Information Systems - JURIX 2021: The Thirty-fourth Annual Conference, Vilnius, Lithuania, 8-10 December 2021
From Oral Hearing to Opinion in the U.S. Supreme Court
An experiment to find the deep structure of Estonian legislation
Unpacking Arguments
Explainable AI for Real Legal Judgments: Sentencing Model and Salience Maps for Text
Events Matter: Extraction of Events from Court Decisions
Linking European Case Law: BO-ECLI Parser, an Open Framework for the Automatic Extraction of Legal Links
The Importance of Intermediate Factors
Building Trust to AI Systems Through Explainability. Technical and legal perspectives
Realising ANGELIC Designs Using Logiak
Explaining the Relevance of Court Decisions to Laymen
Temporal Dimensions in Rules Modelling
Measuring the Complexity of Dutch Legislation
A Data Science Environment for Legal Texts
An End-to-End Pipeline from Law Text to Logical Formulas
A model of Air Transport Passenger Incidents and Rights
Learning Case Relevance in Case-Based Reasoning with Abstract Argumentation
Traffic Rules Encoding Using Defeasible Deontic Logic
Towards the Assessment of Gold-Standard Alignments Between Legal Thesauri
Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic
Structured Legal Argumentation with LLMs: A Study in Landlord-Tenant Law
Precedential Constraint Derived from Inconsistent Case Bases
Timed Contract Compliance Under Event Timing Uncertainty
Validating an Automated Evaluation Procedure for Ontology Triples in the Privacy Domain
LKIF in Commercial Legal Practice: Transaction Configuration from Eurobonds to Copyright
CAP-A: A Suite of Tools for Data Privacy Evaluation of Mobile Applications
A Pattern for the Representation of Legal Relations in a Legal Core Ontology
Legal "Neutral Dialogue", Implementing the Work of Bruce Ackerman in the Field of Law
ConsRAG: Minimize LLM Hallucinations in the Legal Domain
Codification, Law Article and Graphs
Differentiation and Empirical Analysis of Reference Types in Legal Documents
Refined Coherence as Constraint Satisfaction Framework for Representing Judicial Reasoning
Some Foundational Linguistic Elements for QA Systems: an Application to E-government Services
Multi-paradigm Modelling for Policy-driven Socio-technical Systems
Conditional Permissions in Contracts
Integrating Domain Knowledge in AI-Assisted Criminal Sentencing of Drug Trafficking Cases
Modelling the Law through Argument Maps: Legal Analysis and Design
Dynamics of Rule Revision and Strategy Revision in Legislative Games
Generation of Legal Norm Chains: Extracting the Most Relevant Norms from Court Rulings
Modelling and Explaining Legal Case-Based Reasoners Through Classifiers
Query Generation for Patent Retrieval with Keyword Extraction Based on Syntactic Features
Combining Rule-Based and Machine Learning Methods for Efficient Information Extraction from Enforcement Decisions
Generic Problem Solving Tasks and Agent Roles in Public Administration
Automated Analysis of Reasoning and Argumentation Structures in Texts
Modeling Collections of French Local Administration Documents
Consumer Dispute Resolution System Based on PROLEG
Modeling Legal Documents as Typed Linked Data for Relational Querying
Sentence Embeddings and High-Speed Similarity Search for Fast Computer Assisted Annotation of Legal Documents
AVER: Argument Visualization for Evidential Reasoning
Relating Values in a Series of Supreme Court Decisions
Improving Legal Document Summarization Using Graphical Models
Democracy Through the Blocks: Towards the Era of Law Engineering
Legislative Information Websites: Designing Beyond Transparency
Scientia Juris: A Missing Link in the Modelling of Statutory Reasoning
Automating the Classification of Finding Sentences for Linguistic Polarity
Citation Anchor Text for Improving Precedent Retrieval: An Experimental Study on Indian Legal Documents
A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning
WhenTheFact: Extracting Events from European Legal Decisions
A Question-Answering Approach to Evaluating Legal Summaries
On the Detection and Analysis of VAT Carousel Crime
Emercoin Blockchain Anchoring as a Way of Singing Contracts
Lexical Semantics and Expert Legal Knowledge towards the Identification of Legal Case Factors
Improving the Processing of Question Answer Based Legal Documents
Digital Enforceable Contracts (DEC): Making Smart Contracts Smarter
Legal Chunking: Evaluating Methods for Effective Legal Text Retrieval
Legal Text Generation from Abstract Meaning Representation
Introduction: Complex Systems and Six Challenges for the Development of Law and the Semantic Web
Increasing Media Richness in Online Dispute Resolution and the Need for Personal Data Protection
A Legal Decision Support Guide for Owners Corporation Cases
Centrality Scores and Precedent Value in Legal Network Analysis
Formalising arguments about norms
Investigating Strategies for Clause Recommendation
Deontics and Time in Contracts: An Executable Semantics for the L4 DSL
Five Guidelines for Normative Multiagent Systems
Burden of Compliance and Burden of Violation
Exploring the Boundaries between Law, ABM and Policy-making: on the Clash between Formal and Informal Norms
The Légilocal project: the local law simply shared
A case study of hypothetical and value-based reasoning in US Supreme-Court cases
Cross-Domain Generalization and Knowledge Transfer in Transformers Trained on Legal Data
Events in the legal domain: first impressions
Chronicle of a Clash Foretold: Blockchains and the GDPR's Right to Erasure
Combining Textual and Visual Information for Typed and Handwritten Text Separation in Legal Documents
Prompt Engineering and Provision of Context in Domain Specific Use of GPT
Renvoi in Private International Law: A Formalization with Modal Contexts
Argument Schemes for Discussing Bayesian Modellings of Complex Criminal Cases
Getting in the Door: Streamlining Intake in Civil Legal Services with Large Language Models
Reasoning with and about Factors in Statutory Interpretation
No Match-making but Biconditionals: - Agents and the Role of the State in Legal Relations
Mixing Legal and Non-legal Norms
Making a Cold Start in Legal Recommendation: An Experiment
Legal Knowledge Extraction for Knowledge Graph Based Question-Answering
Facilitating Re-use of Legal Data in Applications - Finnish Law as a Linked Open Data Service
Legal Multimedia Management through JPEG2000 Framework
Discordance Detection in Regional Ordinance: Ontology-based Validation
New Zealand Legislation Network
A Dialogical Model of Case Law Dynamics
Classification of Regulatory Paragraphs by Discourse Structure, Reference Structure, and Regulation Type
Japanese Legal Term Correction Using Random Forests
Topic Modelling of the Czech Supreme Court Decisions
Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study
Homologation of Autonomous Machines from a Legal Perspective
Theory and Practice in AI and Law: A Response to Branting
Addressing Causal Puzzles in Law Through Argumentation
Handling Personal Injury Claims PICE
Family_Mediator - Adding Notions of Fairness to Those of Interests
Data-Centric Machine Learning: Improving Model Performance and Understanding Through Dataset Analysis
Improving Legal Case Summarization Using Document-Specific Catchphrases
Legal Knowledge and Information Systems - JURIX 2013: The Twenty-Sixth Annual Conference, December 11-13, 2013, University of Bologna, Italy
Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle
Toward Extracting Information from Public Health Statutes using Text Classification Machine Learning
Spent Convictions and the Architecture for Establishing Legal Semantic Workflows
A Public Index of Case Law References - the End of Multiple and Complex Citations
Toward an Intelligent Tutoring System for Argument Mining in Legal Texts
An alternative method for computerized legal text restructuring
Computer Intelligent Support for the ADR/ODR Domain
Can Predictive Justice Improve the Predictability and Consistency of Judicial Decision-Making?
Open and Closed Intermediaries in Normative Systems
Annotation of a German Legal Decision Corpus for Argumentation Mining
Trust by Discrimination: Technology Specific Regulation & Explainable AI
A Computational Model of Moral and Legal Responsibility via Simplicity Theory
Study on Sentence Relations in the Automatic Detection of Argumentation in Legal Cases
Frequent Use Cases Extraction from Legal Texts in the Data Protection Domain
Automated Detection of Unfair Clauses in Online Consumer Contracts
Interagency data exchange protocols as computational data protection law
From Text to Structure: Using Large Language Models to Support the Development of Legal Expert Systems
Arguments, Values and Baseballs: Representation of Popov v. Hayashi