Computable models of the law. Languages, dialogues, games, ontologies

DOI10.1007/978-3-540-85569-9MaRDI QIDQ2379077zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)

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

Cited in

(1)

• Integrated preference argumentation and applications in consumer behaviour analyses

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)