-
1
-
-
0000128393
-
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
-
Alchourron C. E., Gardenfors P., Makinson D. C.: 'On the Logic of Theory Change: Partial Meet Contraction and Revision Functions'. The Journal of Symbolic Logic 50, 510-530 (1985).
-
(1985)
The Journal of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourron, C.E.1
Gardenfors, P.2
Makinson, D.C.3
-
2
-
-
36849056581
-
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology
-
in D. Hutter and W. Stephan (eds.), LNCS 2605: 59-98, Springer
-
Barringer, H., D. M. Gabbay, and J. Woods, 'Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology', in D. Hutter and W. Stephan (eds.), Mechanising Mathematical Reasoning, LNCS 2605: 59-98, Springer, 2005.
-
(2005)
Mechanising Mathematical Reasoning
-
-
Barringer, H.1
Gabbay, D.M.2
Woods, J.3
-
4
-
-
34147136754
-
On the evaluation of argumentation formalisms
-
Caminada M. W. A., Amgoud L.: 'On the evaluation of argumentation formalisms'. Artificial Intelligence 171(5-6), 286-310 (2007).
-
(2007)
Artificial Intelligence
, vol.171
, Issue.5-6
, pp. 286-310
-
-
Caminada, M.W.A.1
Amgoud, L.2
-
6
-
-
29144436730
-
Value-based Argumentation Frameworks as Neural-Symbolic Learning Systems
-
December
-
D'Avila Garcez, D. M. Gabbay, and L. C. Lamb, 'Value-based Argumentation Frameworks as Neural-Symbolic Learning Systems', Journal of Logic and Computation 15(6): 1041-1058 December 2005.
-
(2005)
Journal of Logic and Computation
, vol.15
, Issue.6
, pp. 1041-1058
-
-
d'Avila Garcez, D.M.G.1
Lamb, L.C.2
-
7
-
-
9444241498
-
Fibring Neural Networks
-
in, San Jose, California, USA, AAAI Press, July
-
D'Avila Garcez, and D. M. Gabbay, 'Fibring Neural Networks', in Proc. 19th National Conference on Artificial Intelligence AAAI 2004, San Jose, California, USA, AAAI Press, July 2004.
-
(2004)
Proc. 19th National Conference on Artificial Intelligence AAAI 2004
-
-
d'Avila Garcez, D.M.G.1
-
10
-
-
0021636426
-
N-Prolog: An Extension of Prolog with Hypothetical Implications
-
Gabbay D. M., Reyle U.: 'N-Prolog: An Extension of Prolog with Hypothetical Implications'. Journal of Logic Programming 1(4), 319-355 (1984).
-
(1984)
Journal of Logic Programming
, vol.1
, Issue.4
, pp. 319-355
-
-
Gabbay, D.M.1
Reyle, U.2
-
12
-
-
47749145822
-
Resource origins of non-monotonicity
-
Gabbay D. M., Woods J.: 'Resource origins of non-monotonicity'. Studia Logica 88(1), 85-112 (2008).
-
(2008)
Studia Logica
, vol.88
, Issue.1
, pp. 85-112
-
-
Gabbay, D.M.1
Woods, J.2
-
13
-
-
78751687511
-
On the Accrual of Arguments in Defeasible Logic Programming
-
in, Pasadena, USA, July, (in press)
-
Gomez Lucero, M. J., C. I. Chesnevar and G. R. Simari, 'On the Accrual of Arguments in Defeasible Logic Programming', in Proc. 21st Intl. Joint Conference on Artificial Intelligence IJCAI 2009, Pasadena, USA, July 2009 (in press).
-
(2009)
Proc. 21st Intl. Joint Conference on Artificial Intelligence IJCAI 2009
-
-
Gomez Lucero, M.J.1
Chesnevar, C.I.2
Simari, G.R.3
-
14
-
-
71149086311
-
Neural network models of conditionals: An introduction
-
in X. Arrazola, J. M. Larrazabal et al. (eds.), Bilbao
-
Leitgeb, H., 'Neural network models of conditionals: an introduction', in X. Arrazola, J. M. Larrazabal et al. (eds.), Proc. ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, 191-223, Bilbao, 2007.
-
(2007)
Proc. ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, 191-223
-
-
Leitgeb, H.1
-
15
-
-
0041520868
-
Self-defeating Arguments
-
Pollock J.: 'Self-defeating Arguments'. Minds and Machines 1(4), 367-392 (1991).
-
(1991)
Minds and Machines
, vol.1
, Issue.4
, pp. 367-392
-
-
Pollock, J.1
-
17
-
-
0343036648
-
Argument based extended logic programming with defeasible priorities
-
Prakken H., Sartor G.: 'Argument based extended logic programming with defeasible priorities'. Joural of Applied Non-classical Logics 7, 25-75 (1997).
-
(1997)
Joural of Applied Non-Classical Logics
, vol.7
, pp. 25-75
-
-
Prakken, H.1
Sartor, G.2
|