Contract automata: An operational view of contracts between interactive parties
Deontic logic as a way of formally reasoning about norms, an important area in AI and law, has traditionally concerned itself about formalising provisions of general statutes. Despite the long history of deontic logic, given the wide scope of the logic, it is difficult, if not impossible, to formali...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
Springer Netherlands
2016
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 10964caa a22010097a 4500 | ||
|---|---|---|---|
| 001 | PAPER-16795 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518204749.0 | ||
| 008 | 190411s2016 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-85027937793 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 030 | |a AINLE | ||
| 100 | 1 | |a Azzopardi, S. | |
| 245 | 1 | 0 | |a Contract automata: An operational view of contracts between interactive parties |
| 260 | |b Springer Netherlands |c 2016 | ||
| 270 | 1 | 0 | |m Schapachnik, F.; Departamento de Computación, FCEyN, Universidad de Buenos AiresArgentina; email: fschapachnik@dc.uba.ar |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Arnold, A., Nivat’s processes and their synchronization (2002) Theor Comput Sci, 281, pp. 31-36 | ||
| 504 | |a Azzopardi, S., Extending contract automata with reparation, hypothetical and conditional clauses (2014) Technical report University of Malta | ||
| 504 | |a Azzopardi, S., Pace, G.J., Schapachnik, F., Contract automata with reparations. In: Legal knowledge and information systems—JURIX 2014: the twenty-seventh annual conference, Jagiellonian University, Krakow, Poland, 10–12 December 2014, Frontiers in artificial intelligence and applications, vol 271, pp 49–54 (2014) IOS Press | ||
| 504 | |a Basile, D., Degano, P., Ferrari, G.L., Automata for analysing service contracts. In: Trustworthy global computing—9th international symposium, TGC 2014, Rome, Italy, 5–6 Sept, 2014. Revised Selected Papers, Lecture notes in computer science, vol 8902, pp 34–50 (2014) Springer | ||
| 504 | |a Bench-Capon, T.J.M., Analysing norms with transition systems. In: Legal knowledge and information systems—JURIX 2014: the twenty-seventh annual conference, Jagiellonian University, Krakow, Poland, 10–12 Dec 2014, Frontiers in artificial intelligence and applications, vol 271, pp 29–38 (2014) IOS Press | ||
| 504 | |a Díaz, G., Cambronero, M.E., Martínez, E., Schneider, G., Timed automata semantics for visual e-contracts (2011) 5th international workshop on formal languages and analysis of contract-oriented software (FLACOS’11), electronic proceedings in theoretical computer science, vol 68, pp. 7-21. , Málaga, Spain | ||
| 504 | |a Díaz, G., Cambronero, M.E., Martínez, E., Schneider, G., Specification and verification of normative texts using C-O diagrams (2013) IEEE Trans Softw Eng, 99, p. 1 | ||
| 504 | |a Fasli, M., On commitments, roles, and obligations. In: Revised papers from the second international workshop of central and eastern Europe on multi-agent systems: from theory to practice in multi-agent systems, CEEMAS ’01, pp 93–102 (2002) Springer | ||
| 504 | |a Fenech, S., Pace, G.J., Schneider, G., Automatic conflict detection on contracts. In: ICTAC’09, LNCS, vol 5684, pp 200–214 (2009) Springer | ||
| 504 | |a Fenech, S., Pace, G.J., Schneider, G., CLAN: a tool for contract analysis and conflict discovery. In: ATVA’09, LNCS, vol 5799, pp 90–96 (2009) Springer | ||
| 504 | |a Flood, M.D., Goodenough, O.R., Contract as automaton: the computational representation of financial agreements (2014) Available at SSRN, , 2538224 | ||
| 504 | |a Governatori, G., Representing business contracts in RuleML (2005) Int J Coop Inf Syst, 14 (2-3), pp. 181-216 | ||
| 504 | |a Governatori, G., Milosevic, Z., Dealing with contract violations: formalism and domain specific language. In: EDOC enterprise computing conference, 2005 ninth IEEE international, pp 46–57 (2005) IEEE | ||
| 504 | |a Hage, J., Contrary to duty obligations—a study in legal ontology (2001) In: Legal knowledge and information systems (JURIX 2001) | ||
| 504 | |a Herrestad, H., Krogh, C., Deontic logic relativised to bearers and counterparties (1995) Anniv Anthol Comput Law, pp. 453-522 | ||
| 504 | |a Hohfeld, W., Some fundamental legal conceptions as applied in judicial reasoning (1913) Yale Lj, 23, p. 16 | ||
| 504 | |a Kanger, S., Kanger, H., Rights and parliamentarism (1966) Theoria, 32 (2), pp. 85-115 | ||
| 504 | |a Kripke, S., Semantical considerations on modal logic (1963) Acta Philos Fenn, 16, pp. 83-94 | ||
| 504 | |a Kyas, M., Prisacariu, C., Schneider, G., Run-time monitoring of electronic contracts (2008) 6th international symposium on automated technology for verification and analysis (ATVA’08), LNCS, 5311, pp. 397-407. , Springer, Seoul | ||
| 504 | |a Leucker, M., Schallhart, C., A brief account of runtime verification (2009) J Log Algebr Program, 78 (5), pp. 293-303 | ||
| 504 | |a Lindahl, L., (1977) Position and change: a study in law and logic, , 112, Springer, Berlin | ||
| 504 | |a Makinson, D., On the formal representation of rights relations (1986) J Philos Log, 15 (4), pp. 403-425 | ||
| 504 | |a Marjanovic, O., Milosevic, Z., Towards formal modeling of e-contracts (2001) Proceedings of the 5th IEEE international conference on enterprise distributed object computing, EDOC ’01, pp. 59-68. , IEEE Computer Society, Washington | ||
| 504 | |a Martínez, E., Díaz, G., Cambronero, M., Contractually compliantservice compositions (2011) Proceedings of the 9th international conference on service-oriented computing (ICSOC’11), Lecture notes in computer science, vol 7084, pp. 636-644. , Springer, Berlin, Paphos | ||
| 504 | |a Martínez, E., Díaz, G., Cambronero, M.E., Schneider, G., A modelfor visual specification of e-contracts (2010) The 7th IEEE international conference on services computing (IEEE SCC’10), pp. 1-8. , IEEE Computer Society, Miami | ||
| 504 | |a McNamara, P., Deontic logic (2006) Handbook of the history of logic, pp. 197-289. , Gabbay DM, Woods J, (eds), 7, North-Holland Publishing, Amsterdam | ||
| 504 | |a Mikk, E., Lakhnech, Y., Siegel, M., (1997) Hierarchical automata as model for statecharts. In: Third Asian computing science conference. Advances in computing science—ASIAN’97, , Lecture notes in computer science, vol: Springer | ||
| 504 | |a Pace, G.J., Schapachnik, F., Permissions in contracts, a logical insight (2011) The 24th international conference on legal knowledge and information systems (JURIX’11), Frontiers in artificial intelligence and applications, 235. , IOS Press, University of Vienna, Austria | ||
| 504 | |a Pace, G.J., Schapachnik, F., Permissions in contracts, a logical insight. In: JURIX (2011) pp 140–144 | ||
| 504 | |a Pace, G.J., Schapachnik, F., Contracts for interacting two-party systems. In: FLACOS’12, ENTCS (2012) vol 94 | ||
| 504 | |a Pace, G.J., Schapachnik, F., Types of rights in two-party systems: a formal analysis. In: Legal knowledge and information systems—JURIX 2012: the twenty-fifth annual conference, University of Amsterdam, The Netherlands, 17–19 Dec 2012, Frontiers in artificial intelligence and applications, vol 250, pp 105–114 (2012) IOS Press | ||
| 504 | |a Pace, G.J., Schapachnik, F., Synthesising implicit contracts. In:ICAIL’13. ACM, New York (2013) pp 217–221 | ||
| 504 | |a Pardo, R., Colombo, C., Pace, G., Schneider, G., (2016) (2016) An automata-based approach to evolving privacy policies for social networks. In: 16th international conference on runtime verification (RV) (Madrid, , Spain: LNCS | ||
| 504 | |a Prisacariu, C., Schneider, G., A formal language for electronic contracts. In: FMOODS, LNCS, vol 4468, pp 174–189 (2007) Springer | ||
| 504 | |a Prisacariu, C., Schneider, G., CL: an action-based logic for reasoning about contracts. In: WOLLIC’09, LNCS, vol 5514, pp 335–349 (2009) Springer | ||
| 504 | |a Prisacariu, C., Schneider, G., A dynamic deontic logic for complex contracts (2012) J Log Algebr Program, 81 (4), pp. 458-490 | ||
| 504 | |a Ryu, Y., Specification of contractual obligations in formal business communication (1998) Data Knowl Eng, 26 (3), pp. 309-326 | ||
| 504 | |a Salcianu, A., Rinard, M., Pointer and escape analysis for multithreaded programs. In: ACM SIGPLAN notices, vol 36, pp 12–23 (2001) ACM | ||
| 504 | |a Santos, F., Jones, A., Carmo, J., Action concepts for describing organised interaction. In: Proceedings of the thirtieth Hawaii international conference on system sciences, 1997, vol 5, pp 373–382 (1997) IEEE | ||
| 504 | |a Surdan, H., Computable contracts (2012) UCDL Rev, 46, p. 629 | ||
| 504 | |a Tan, Y.H., Thoen, W., A logical model of directed obligations and permissions to support electronic contracting (1998) Int J Electron Commer, 3, pp. 87-104 | ||
| 504 | |a Von Wright, G., Deontic logic: a personal view (1999) Ratio Juris, 12, pp. 26-38 | ||
| 504 | |a Xu, L., A multi-party contract model (2004) SIGecom Exch, 5 (1), pp. 13-23 | ||
| 520 | 3 | |a Deontic logic as a way of formally reasoning about norms, an important area in AI and law, has traditionally concerned itself about formalising provisions of general statutes. Despite the long history of deontic logic, given the wide scope of the logic, it is difficult, if not impossible, to formalise all these notions in a single formalism, and there are still ongoing debates on appropriate semantics for deontic modalities in different contexts. In this paper, we restrict our attention to contracts between interactive parties, which are both general enough to be an interesting object of study but specific enough so as to narrow down the debates regarding the meaning of modalities, and present a formalism for reasoning about them. © 2016, Springer Science+Business Media Dordrecht. |l eng | |
| 593 | |a Department of Computer Science, University of Malta, Msida, Malta | ||
| 593 | |a Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina | ||
| 593 | |a Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden | ||
| 690 | 1 | 0 | |a CL |
| 690 | 1 | 0 | |a CONTRACT AUTOMATA |
| 690 | 1 | 0 | |a DEONTIC LOGIC |
| 690 | 1 | 0 | |a AUTOMATA THEORY |
| 690 | 1 | 0 | |a CHLORINE |
| 690 | 1 | 0 | |a RECONFIGURABLE HARDWARE |
| 690 | 1 | 0 | |a SEMANTICS |
| 690 | 1 | 0 | |a AI AND LAW |
| 690 | 1 | 0 | |a DEONTIC |
| 690 | 1 | 0 | |a DEONTIC LOGIC |
| 690 | 1 | 0 | |a OPERATIONAL VIEW |
| 690 | 1 | 0 | |a COMPUTER CIRCUITS |
| 700 | 1 | |a Pace, G.J. | |
| 700 | 1 | |a Schapachnik, F. | |
| 700 | 1 | |a Schneider, G. | |
| 773 | 0 | |d Springer Netherlands, 2016 |g v. 24 |h pp. 203-243 |k n. 3 |p Artif Intell Law |x 09248463 |t Artificial Intelligence and Law | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-85027937793&doi=10.1007%2fs10506-016-9185-2&partnerID=40&md5=e3699f4e1de1cb9ad5c9f3ab9ff7b122 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10506-016-9185-2 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_09248463_v24_n3_p203_Azzopardi |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09248463_v24_n3_p203_Azzopardi |y Registro en la Biblioteca Digital |
| 961 | |a paper_09248463_v24_n3_p203_Azzopardi |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 77748 | ||