Travelled to:1 × France
2 × Canada
2 × Italy
Collaborated with:L.W.N.v.d.Torre M.Baldoni S.Villata S.C.Tosatto G.Governatori A.Rotolo
Talks about:powerjava (2) system (2) object (2) normat (2) understand (1) interpret (1) constitut (1) interact (1) abstract (1) program (1)
Person: Guido Boella
DBLP: Boella:Guido
Contributed to:
20122010
2009
200620072004Wrote 6 papers:
- KR-2012-TosattoBTV #proving #semantics
- Abstract Normative Systems: Semantics and Proof Theory (SCT, GB, LWNvdT, SV).
- KR-2010-BoellaGRT #comprehension #logic
- A Logical Understanding of Legal Interpretation (GB, GG, AR, LWNvdT).
- HT-2009-BoellaTV #metric #network #social
- Four measures for the dynamics of coalitions in social networks (GB, LWNvdT, SV), pp. 361–362.
- SAC-2006-BaldoniBT #java #named #object-oriented #programming language
- powerJava: ontologically founded roles in object oriented programming languages (MB, GB, LWNvdT), pp. 1414–1418.
- SAC-OOPS-J-2006-BaldoniBT07 #interactive #java
- Interaction between Objects in powerJava (MB, GB, LWNvdT), pp. 5–30.
- KR-2004-BoellaT #multi
- Regulative and Constitutive Norms in Normative Multiagent Systems (GB, LWNvdT), pp. 255–266.