-
1
-
-
84867763616
-
Representation results for defeasible logic
-
G. Antoniou, D. Billington, G. Governatori, and M. J. Maher. Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255-287, 2001.
-
(2001)
ACM Transactions on Computational Logic
, vol.2
, Issue.2
, pp. 255-287
-
-
Antoniou, G.1
Billington, D.2
Governatori, G.3
Maher, M.J.4
-
2
-
-
34548038886
-
-
G. Antoniou, D. Billington, G. Governatori and M. J. Maher. In Proceedings of the Australian Conference Information Systems, pages 20-=29, 1999.
-
G. Antoniou, D. Billington, G. Governatori and M. J. Maher. In Proceedings of the Australian Conference Information Systems, pages 20-=29, 1999.
-
-
-
-
3
-
-
0032715650
-
On the analysis of regulations using defeasible rules
-
G. Antoniou, D. Billington, and M. J. Maher. On the analysis of regulations using defeasible rules. In HICSS, 1999.
-
(1999)
HICSS
-
-
Antoniou, G.1
Billington, D.2
Maher, M.J.3
-
5
-
-
34548036852
-
-
T. Bench-Capon. Post congress tristesse. In Specification and Implementation of Toulmin Dialogue Game, pages pp 5-20. JURIX, 1998.
-
T. Bench-Capon. Post congress tristesse. In Specification and Implementation of Toulmin Dialogue Game, pages pp 5-20. JURIX, 1998.
-
-
-
-
7
-
-
33745478096
-
Programming cognitive agents in defeasible logic
-
G. Sutcliffe and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, of, Springer
-
M. Dastani, G. Governatori, A. Rotolo, and L. van der Torre. Programming cognitive agents in defeasible logic. In G. Sutcliffe and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, volume 3835 of LNAI, pages 621-636. Springer, 2005.
-
(2005)
LNAI
, vol.3835
, pp. 621-636
-
-
Dastani, M.1
Governatori, G.2
Rotolo, A.3
van der Torre, L.4
-
9
-
-
0035618193
-
Possibility theory, probability theory and multiple-valued logics: A clarification
-
D. Dubois and H. Prade. Possibility theory, probability theory and multiple-valued logics: A clarification. Annals of Mathematics and Artificial Intelligence, 32(1-4):35-66, 2001.
-
(2001)
Annals of Mathematics and Artificial Intelligence
, vol.32
, Issue.1-4
, pp. 35-66
-
-
Dubois, D.1
Prade, H.2
-
10
-
-
0026821714
-
Conditional Entailment: Bridging Two Approaches to Default Reasoning
-
H. Geffner and J. Pearl. Conditional Entailment: Bridging Two Approaches to Default Reasoning. Artificial Intelligence, 53(2-3): pp. 209-244, 1992.
-
(1992)
Artificial Intelligence
, vol.53
, Issue.2-3
, pp. 209-244
-
-
Geffner, H.1
Pearl, J.2
-
11
-
-
0342462388
-
The pleadings game: Formalizing procedural justice
-
New York, NY, USA, ACM Press
-
T.F. Gordon. The pleadings game: formalizing procedural justice. In ICAIL '93: Proceedings of the 4th international conference on Artificial intelligence and law, pages 10-19, New York, NY, USA, 1993. ACM Press.
-
(1993)
ICAIL '93: Proceedings of the 4th international conference on Artificial intelligence and law
, pp. 10-19
-
-
Gordon, T.F.1
-
14
-
-
7544246851
-
A formal approach to protocols and strategies for (legal) negotiation
-
H. Prakken, editor, ACM Press
-
G. Governatori, M. Dumas, A. H. ter Hofstede, and P. Oaks. A formal approach to protocols and strategies for (legal) negotiation. In H. Prakken, editor, Procedings of the 8th International Conference on Artificial Intelligence and Law, pages 168-177. ACM Press, 2001.
-
(2001)
Procedings of the 8th International Conference on Artificial Intelligence and Law
, pp. 168-177
-
-
Governatori, G.1
Dumas, M.2
ter Hofstede, A.H.3
Oaks, P.4
-
15
-
-
7544237999
-
Argumentation semantics for defeasible logic
-
G. Governatori, M.J. Maher, G. Antoniou, and D. Billington. Argumentation semantics for defeasible logic. Journal of Logic and Computation, 14(5):675-702, 2004.
-
(2004)
Journal of Logic and Computation
, vol.14
, Issue.5
, pp. 675-702
-
-
Governatori, G.1
Maher, M.J.2
Antoniou, G.3
Billington, D.4
-
16
-
-
34247269708
-
The cost of social agents
-
P. Stone and G. Weiss, editors, New York, 10-12 May, ACM Press
-
G. Governatori, A. Rotolo, and V. Padmanabhan. The cost of social agents. In P. Stone and G. Weiss, editors, 5th International Conference on Autonomous Agents and Multi-Agent Systems, pages 513-520, New York, 10-12 May 2006. ACM Press.
-
(2006)
5th International Conference on Autonomous Agents and Multi-Agent Systems
, pp. 513-520
-
-
Governatori, G.1
Rotolo, A.2
Padmanabhan, V.3
-
18
-
-
84955590280
-
Reason-Based Logic: A logic for reasoning with rules and reasons
-
J.C. Hage and B. Verheij. Reason-Based Logic: a logic for reasoning with rules and reasons. Law, Computers and Artificial Intelligence, 3(2/3):130-155, 1994.
-
(1994)
Law, Computers and Artificial Intelligence
, vol.3
, Issue.2-3
, pp. 130-155
-
-
Hage, J.C.1
Verheij, B.2
-
20
-
-
85008541130
-
Prepositional defeasible logic has linear complexity
-
M. J. Maher. Prepositional defeasible logic has linear complexity. Theory Practice Logic Programming, 1(6):691-711, 2001.
-
(2001)
Theory Practice Logic Programming
, vol.1
, Issue.6
, pp. 691-711
-
-
Maher, M.J.1
-
21
-
-
0002458809
-
Defeasible Reasoning
-
eds. Gabbay, D, Hogger, C. and Robinson, J, Oxford: Oxford University Press, pp
-
D. Nute. Defeasible Reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming (eds. Gabbay, D., Hogger, C. and Robinson, J.), Vol 3. Oxford: Oxford University Press, pp. 353-395, 1994.
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.3
, pp. 353-395
-
-
Nute, D.1
-
23
-
-
29144432372
-
Coherence and flexibility in dialogue games for argumentation
-
H. Prakken. Coherence and flexibility in dialogue games for argumentation. Journal Logic and Computation, 15(6):1009-1040, 2005.
-
(2005)
Journal Logic and Computation
, vol.15
, Issue.6
, pp. 1009-1040
-
-
Prakken, H.1
-
24
-
-
0030234961
-
A dialectical model of assessing conflicting arguments in legal reasoning
-
H. Prakken and G. Sartor. A dialectical model of assessing conflicting arguments in legal reasoning. Artificial Intelligence and Law, 4(3-4):331-368, 1996.
-
(1996)
Artificial Intelligence and Law
, vol.4
, Issue.3-4
, pp. 331-368
-
-
Prakken, H.1
Sartor, G.2
-
25
-
-
0032309788
-
Modelling reasoning with precedents in a formal dialogue game
-
H. Prakken and G. Sartor. Modelling reasoning with precedents in a formal dialogue game. Artificial Intelligence and Law, 6(2-4):231-287, 1998.
-
(1998)
Artificial Intelligence and Law
, vol.6
, Issue.2-4
, pp. 231-287
-
-
Prakken, H.1
Sartor, G.2
-
26
-
-
0004048289
-
-
Oxford: Oxford University Press
-
J. Rawls. A Theory of Justice. Oxford: Oxford University Press, 1972.
-
(1972)
A Theory of Justice
-
-
Rawls, J.1
-
29
-
-
49349133217
-
Fuzzy Sets as the Basis for a Theory of Possibility
-
L. Zadeh. Fuzzy Sets as the Basis for a Theory of Possibility. Fuzzy Sets and Systems, 1:3-28, 1978.
-
(1978)
Fuzzy Sets and Systems
, vol.1
, pp. 3-28
-
-
Zadeh, L.1
|