Computable models of the law. Languages, dialogues, games, ontologies
From MaRDI portal
Publication:2379077
DOI10.1007/978-3-540-85569-9zbMATH Open1154.68006OpenAlexW2496730082MaRDI QIDQ2379077FDOQ2379077
Authors:
Publication date: 15 January 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85569-9
Recommendations
- scientific article; zbMATH DE number 1926643
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
- A game-semantic model of computation
- Formal languages and computation. Models and their applications
- Logic and language models for computer science
- Logic and Language Models for Computer Science
- Computational logic and the social
- Computability logic: a formal theory of interaction
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)
Cited In (1)
This page was built for publication: Computable models of the law. Languages, dialogues, games, ontologies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2379077)