-
1
-
-
33846203280
-
DR-Prolog: a system for defeasible reasoning with rules and ontologies on the semantic web
-
Antoniou, G. and Bikakis, A. (2007) ‘DR-Prolog: a system for defeasible reasoning with rules and ontologies on the semantic web’, IEEE Trans. Knowl. Data Eng.
-
(2007)
IEEE Trans. Knowl. Data Eng.
-
-
Antoniou, G.1
Bikakis, A.2
-
3
-
-
85029884593
-
A flexible framework for defeasible logics
-
AAAI Press
-
Antoniou, G., Billington, D., Governatori, G. and Maher, M. (2000) ‘A flexible framework for defeasible logics’, in Proc. AAAI2000, AAAI Press.
-
(2000)
Proc. AAAI2000
-
-
Antoniou, G.1
Billington, D.2
Governatori, G.3
Maher, M.4
-
4
-
-
84867763616
-
Representation results for defeasible logic
-
Antoniou, G., Billington, D., Governatori, G. and Maher, M. 2001) ‘Representation results for defeasible logic’, ACM Trans. on Computational Logic.
-
(2001)
ACM Trans. on Computational Logic
-
-
Antoniou, G.1
Billington, D.2
Governatori, G.3
Maher, M.4
-
10
-
-
85193096253
-
Positive, negative, neutral: the reception of good faith in English Contract Law
-
Ashgate
-
Brownsword, R. (1998) ‘Positive, negative, neutral: the reception of good faith in English Contract Law’, in Good Faith in Contract, Ashgate.
-
(1998)
Good Faith in Contract
-
-
Brownsword, R.1
-
15
-
-
85193095472
-
Preferences of agents in defeasible logic
-
Springer
-
Dastani, M., Governatori, G., Rotolo, A. and van der Torre, L. (2005a) ‘Preferences of agents in defeasible logic’, in Proc. of Australian AI05, Springer.
-
(2005)
Proc. of Australian AI05
-
-
Dastani, M.1
Governatori, G.2
Rotolo, A.3
van der Torre, L.4
-
16
-
-
33749545679
-
Programming cognitive agents in defeasible logic
-
Springer
-
Dastani, M., Governatori, G., Rotolo, A. and van der Torre, L. (2005b) ‘Programming cognitive agents in defeasible logic’, in Proc. of LPAR05, Springer.
-
(2005)
Proc. of LPAR05
-
-
Dastani, M.1
Governatori, G.2
Rotolo, A.3
van der Torre, L.4
-
18
-
-
85193095421
-
Implementing modal extensions of defeasible logic for the semantic web
-
AAAI Press
-
Dimaresis, N. and Antoniou, G. (2007) ‘Implementing modal extensions of defeasible logic for the semantic web’, in Proc. AAAI2007, AAAI Press.
-
(2007)
Proc. AAAI2007
-
-
Dimaresis, N.1
Antoniou, G.2
-
20
-
-
84945731293
-
Iuris et de iure y iuris tantum (presunciones)
-
Buenos Aires
-
Fernandez Pastorino, A. (1965) ‘Iuris et de iure y iuris tantum (presunciones)’, Enc. Jur. Omeba, Buenos Aires.
-
(1965)
Enc. Jur. Omeba
-
-
Fernandez Pastorino, A.1
-
21
-
-
16244380253
-
Normative autonomy and normative co-ordination: declarative power, representation, and mandate
-
Gelati, J., Governatori, G., Rotolo, A. and Sartor, G. (2004) ‘Normative autonomy and normative co-ordination: declarative power, representation, and mandate’, AI& Law.
-
(2004)
AI& Law
-
-
Gelati, J.1
Governatori, G.2
Rotolo, A.3
Sartor, G.4
-
23
-
-
85193091974
-
Defeasible logic: agency, intention and obligation
-
Springer
-
Governatori, G. and Rotolo, A. (2004a) ‘Defeasible logic: agency, intention and obligation’, in Deon 2004, Springer.
-
(2004)
Deon 2004
-
-
Governatori, G.1
Rotolo, A.2
-
24
-
-
21144458475
-
Modelling contracts in RuleML
-
IOS
-
Governatori, G. and Rotolo, A. (2004b) ‘Modelling contracts in RuleML’, in JURIX04, IOS.
-
(2004)
JURIX04
-
-
Governatori, G.1
Rotolo, A.2
-
25
-
-
33750195346
-
Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
-
Govematori, G. and Rotolo, A. (2006a) ‘Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations’, The Australasian Journal of Logic.
-
(2006)
The Australasian Journal of Logic
-
-
Govematori, G.1
Rotolo, A.2
-
27
-
-
43449093134
-
A computational framework for institutional agency
-
Govematori, G. and Rotolo, A. (2008a) ‘A computational framework for institutional agency’, AI& Law.
-
(2008)
AI& Law
-
-
Govematori, G.1
Rotolo, A.2
-
28
-
-
44649134632
-
BIO logical agents: norms, beliefs, intentions in defeasible logic
-
Govematori, G. and Rotolo, A. (2008b) ‘BIO logical agents: norms, beliefs, intentions in defeasible logic’, JAAMAS.
-
(2008)
JAAMAS
-
-
Govematori, G.1
Rotolo, A.2
-
29
-
-
77950411147
-
Temporalised normative positions in defeasible logic
-
ACM
-
Govematori, G., Rotolo, A. and Sartor, G. (2005) ‘Temporalised normative positions in defeasible logic’, in Proc. ICAIL 05, ACM.
-
(2005)
Proc. ICAIL 05
-
-
Govematori, G.1
Rotolo, A.2
Sartor, G.3
-
30
-
-
0036643179
-
On the concept of trust
-
Jones, A. (2002) ‘On the concept of trust’, Dec. Supp. Sys.
-
(2002)
Dec. Supp. Sys.
-
-
Jones, A.1
-
33
-
-
62949112545
-
Extending a defeasible reasoner with modal and deontic logic operators
-
IEEE Press
-
Kontopoulos, E., Bassiliades, N., Govematori, G. and Antoniou, G. (2008) ‘Extending a defeasible reasoner with modal and deontic logic operators’, in Proc. WI-IAT 2008, IEEE Press.
-
(2008)
Proc. WI-IAT 2008
-
-
Kontopoulos, E.1
Bassiliades, N.2
Govematori, G.3
Antoniou, G.4
-
34
-
-
85193095367
-
Trust and norms in the context of computer security
-
Springer
-
Lorini, E. and Demolombe, R. (2008) ‘Trust and norms in the context of computer security’, in Proc. DEON08, Springer.
-
(2008)
Proc. DEON08
-
-
Lorini, E.1
Demolombe, R.2
-
35
-
-
76349106870
-
Good faith in the Scots law of contract: an undisclosed principle?
-
Hart
-
MacQueen, H. (1999) ‘Good faith in the Scots law of contract: an undisclosed principle?’, in Good Faith in Contract and Property Law, Hart.
-
(1999)
Good Faith in Contract and Property Law
-
-
MacQueen, H.1
-
36
-
-
85008541130
-
Propositional defeasible logic has a linear complexity
-
Progr
-
Maher, M.J. (2001) ‘Propositional defeasible logic has a linear complexity’, in Theory and Practice of Log, Progr.
-
(2001)
Theory and Practice of Log
-
-
Maher, M.J.1
-
37
-
-
3242734500
-
Efficient defeasible reasoning systems
-
Maher, M.J., Rock, A., Antoniou, G., Billignton, D. and Miller, T. (2001) ‘Efficient defeasible reasoning systems’, Int. Journ. Art. Int. Tools.
-
(2001)
Int. Journ. Art. Int. Tools
-
-
Maher, M.J.1
Rock, A.2
Antoniou, G.3
Billignton, D.4
Miller, T.5
-
38
-
-
77957225497
-
Trust, reliance, good faith and the law
-
Springer
-
Memmo, D., Sartor, G. and Quadri, G. (2003) ‘Trust, reliance, good faith and the law’, in Trust Management, Springer.
-
(2003)
Trust Management
-
-
Memmo, D.1
Sartor, G.2
Quadri, G.3
-
39
-
-
29144530645
-
Deontic logic: a concise overview
-
Wiley
-
Meyer, J-J.Ch. and Wieringa, R. (1993) ‘Deontic logic: a concise overview’, in Proc. Deon 93, Wiley.
-
(1993)
Proc. Deon
, pp. 93
-
-
Meyer, J.-J.C.1
Wieringa, R.2
-
40
-
-
84863900501
-
The good faith principle in Contract Law and the precontractual duty to disclose
-
Musy, A. (2001) ‘The good faith principle in Contract Law and the precontractual duty to disclose’, in Global Jurist Advances.
-
(2001)
Global Jurist Advances
-
-
Musy, A.1
-
41
-
-
85193092563
-
Interactions between normative systems and software cognitive agents: a formalization in temporal modal defeasible logic
-
University of Bologna
-
Riveret, R. (2008) ‘Interactions between normative systems and software cognitive agents: a formalization in temporal modal defeasible logic’, PhD thesis, University of Bologna.
-
(2008)
PhD thesis
-
-
Riveret, R.1
-
42
-
-
85193091341
-
Computational institutions: an analysis of trust
-
Nijimegen
-
Rubino, R. and Sartor, G. (2005) ‘Computational institutions: an analysis of trust’, in LEA 2005, Nijimegen.
-
(2005)
LEA 2005
-
-
Rubino, R.1
Sartor, G.2
-
44
-
-
84863963231
-
Good faith in the contents of contracts in European Private Law
-
Storme, M. (2003) ‘Good faith in the contents of contracts in European Private Law’, Elec. Journ. Comparative Law.
-
(2003)
Elec. Journ. Comparative Law
-
-
Storme, M.1
-
45
-
-
16244369498
-
Good faith and fair dealing in contracts formed and performed by electronic agents
-
Weitzenbock, E. (2004) ‘Good faith and fair dealing in contracts formed and performed by electronic agents’, AI& Law.
-
(2004)
AI& Law
-
-
Weitzenbock, E.1
-
48
-
-
84945731300
-
Good faith and pluralism in the Law of Contract
-
Ashgate
-
Wightman, J. (1998) ‘Good faith and pluralism in the Law of Contract’, in Good Faith in Contract, Ashgate.
-
(1998)
Good Faith in Contract
-
-
Wightman, J.1
-
49
-
-
84945731301
-
Good faith and consumer contract terms
-
Ashgate
-
Willett, C. (1998) ‘Good faith and consumer contract terms’, in Good Faith in Contract, Ashgate.
-
(1998)
Good Faith in Contract
-
-
Willett, C.1
-
50
-
-
85193091066
-
-
Article 1175 of the Italian Civil Code states that ‘debtor and creditor must behave themselves following the rules of correctness’. Article 1366 provides that ‘the contract must be interpreted in good faith’. Article 1375 establishes that ‘the contract must be performed in good faith’. Article 1198 of the Argentinean Civil Code provides that ‘contracts must be formed, interpreted and performed in good faith, and in accordance to what parties truly understood or may have understood, behaving carefully and with prevention’
-
Article 1175 of the Italian Civil Code states that ‘debtor and creditor must behave themselves following the rules of correctness’. Article 1366 provides that ‘the contract must be interpreted in good faith’. Article 1375 establishes that ‘the contract must be performed in good faith’. Article 1198 of the Argentinean Civil Code provides that ‘contracts must be formed, interpreted and performed in good faith, and in accordance to what parties truly understood or may have understood, behaving carefully and with prevention’.
-
-
-
-
51
-
-
85193094723
-
-
Article 2 inc. 2 of the Charter provides that ‘all Members, in order to ensure to all of them the rights and benefits resulting from membership, shall fulfil in good faith the obligations assumed by them in accordance with the present Charter’
-
Article 2 inc. 2 of the Charter provides that ‘all Members, in order to ensure to all of them the rights and benefits resulting from membership, shall fulfil in good faith the obligations assumed by them in accordance with the present Charter’.
-
-
-
-
52
-
-
85193088498
-
-
Article 1:201 settles that ‘each party to a contract must act in accordance with good faith and fair dealing’
-
Article 1:201 settles that ‘each party to a contract must act in accordance with good faith and fair dealing’.
-
-
-
-
53
-
-
85193096837
-
-
Good faith dealing, Article 172 of the Argentinean Civil Code; good faith parties to a marriage, Article 221 ACC; good faith possessor, Article 552 ACC; good faith debtor, Article 800 ACC; good faith possessor, Article 1147 of the Italian Civil Cod; etc
-
Good faith dealing, Article 172 of the Argentinean Civil Code; good faith parties to a marriage, Article 221 ACC; good faith possessor, Article 552 ACC; good faith debtor, Article 800 ACC; good faith possessor, Article 1147 of the Italian Civil Cod; etc.
-
-
-
-
54
-
-
85193096086
-
-
Following this case, we may argue that deception and violation of objective good faith standards require to focus also on the mental states of the agents. In particular, it seems important that Hamlet knows that the drawing is by Degas and that he omits to inform Ophelia about this, namely, that he refrains from ensuring that she, too, believes that the painting is of great value. Indeed, this is true and these aspects constitute a part of the background. However, in the perspective of objective good faith, detection of objective deception has to consider only external behaviours. In this sense, precontractual and contractual monitoring, according specifically to objective good faith, do not see mental states as essential
-
Following this case, we may argue that deception and violation of objective good faith standards require to focus also on the mental states of the agents. In particular, it seems important that Hamlet knows that the drawing is by Degas and that he omits to inform Ophelia about this, namely, that he refrains from ensuring that she, too, believes that the painting is of great value. Indeed, this is true and these aspects constitute a part of the background. However, in the perspective of objective good faith, detection of objective deception has to consider only external behaviours. In this sense, precontractual and contractual monitoring, according specifically to objective good faith, do not see mental states as essential.
-
-
-
-
55
-
-
85193091396
-
-
Article 1218: ‘the debtor who does not exactly render due performance is liable for damages […]’
-
Article 1218: ‘the debtor who does not exactly render due performance is liable for damages […]’.
-
-
-
-
56
-
-
85193096526
-
-
Article 505: ‘the effects of obligations with regard to the creditor are: […] 3rd: to obtain from the debtor the corresponding compensation’
-
Article 505: ‘the effects of obligations with regard to the creditor are: […] 3rd: to obtain from the debtor the corresponding compensation’.
-
-
-
-
57
-
-
85193095473
-
-
‘Good faith possessor is the one who possesses ignoring s/he is damaging other’s rights. [.] Good faith is presumed, and it suffices, it is present at the time of acquisition’
-
‘Good faith possessor is the one who possesses ignoring s/he is damaging other’s rights. [.] Good faith is presumed, and it suffices, it is present at the time of acquisition’.
-
-
-
-
58
-
-
85193094322
-
-
Article 2356 of the Argentinean Civil Code states that ‘there is good faith possession when the possessor, due to ignorance or due to a factual error, is persuaded of its legitimacy’
-
Article 2356 of the Argentinean Civil Code states that ‘there is good faith possession when the possessor, due to ignorance or due to a factual error, is persuaded of its legitimacy’.
-
-
-
-
59
-
-
85193089081
-
-
Additional motivations are provided in Section 4.4, where we discuss good faith presumptions
-
Additional motivations are provided in Section 4.4, where we discuss good faith presumptions.
-
-
-
-
60
-
-
85193091716
-
-
Given a derivation P, in the remainder, P(1..n) will denote the initial part of the derivation of length n.
-
Given a derivation P, in the remainder, P(1..n) will denote the initial part of the derivation of length n.
-
-
-
-
61
-
-
85193090756
-
-
Since rules for KNOW permit to derive only plain literals, the problem of conflicts here amounts to detecting the potential derivation of p and ∼ p.
-
Since rules for KNOW permit to derive only plain literals, the problem of conflicts here amounts to detecting the potential derivation of p and ∼ p.
-
-
-
-
62
-
-
85193090847
-
-
We are considering in our example that f4 generates Ophelia’s reliance. According to Castelfranchi and Falcone (2001), what contributes to the generation of what we informally call here the trust atmosphere are assessments expressing that Ophelia believes in that Hamlet has the practical possibility of selling the drawing, that he also has the ability to sell the drawing, that she also prefers Hamlet to sell the drawing rather than selling it herself, that she also believes that Hamlet will persist on trying to achieve the sale, et cetera. Of course, the analysis of all these aspects deserves a detailed technical work which includes connections among dynamic logic and our action and deontic logic, issues that clearly cannot be addressed here
-
We are considering in our example that f4 generates Ophelia’s reliance. According to Castelfranchi and Falcone (2001), what contributes to the generation of what we informally call here the trust atmosphere are assessments expressing that Ophelia believes in that Hamlet has the practical possibility of selling the drawing, that he also has the ability to sell the drawing, that she also prefers Hamlet to sell the drawing rather than selling it herself, that she also believes that Hamlet will persist on trying to achieve the sale, et cetera. Of course, the analysis of all these aspects deserves a detailed technical work which includes connections among dynamic logic and our action and deontic logic, issues that clearly cannot be addressed here.
-
-
-
|