-
1
-
-
3242703769
-
A flexible framework for defeasible logics
-
AAAI/MIT Press
-
G. Antoniou, D. Billington, G. Governatori, and M.J. Maher. A flexible framework for defeasible logics. In Proc. AAAI-2000, pages 401-405. AAAI/MIT Press, 2000.
-
(2000)
Proc. AAAI-2000
, pp. 401-405
-
-
Antoniou, G.1
Billington, D.2
Governatori, G.3
Maher, M.J.4
-
2
-
-
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
-
3
-
-
35048879638
-
DR-DEVICE: A defeasible logic system for the Semantic Web
-
H.J. Ohlbach and S. Schaffen, editors, Proc 2nd PPSWR, Springer
-
N. Bassiliades, G. Antoniou, and I. Vlahavas. DR-DEVICE: A defeasible logic system for the Semantic Web. In H.J. Ohlbach and S. Schaffen, editors, Proc 2nd PPSWR, LNCS 3208, pages 134-148. Springer, 2004.
-
(2004)
LNCS
, vol.3208
, pp. 134-148
-
-
Bassiliades, N.1
Antoniou, G.2
Vlahavas, I.3
-
6
-
-
1142269071
-
Goal generation in the BOID architecture
-
J. Broersen, M. Dastani, J. Hulstijn, and L. van der Torre. Goal generation in the BOID architecture. Cognitive Science Quarterly, 2(3-4):428-447, 2002.
-
(2002)
Cognitive Science Quarterly
, vol.2
, Issue.3-4
, pp. 428-447
-
-
Broersen, J.1
Dastani, M.2
Hulstijn, J.3
van der Torre, L.4
-
7
-
-
33745606993
-
Preferences of agents in defeasible logic
-
S. Zhang and R. Jarvis, editors, Proc. Australian AI05, Springer
-
M. Dastani, G. Governatori, A. Rotolo, and L. van der Torre. Preferences of agents in defeasible logic. In S. Zhang and R. Jarvis, editors, Proc. Australian AI05, LNAI 3809, pages 695-704. Springer, 2005.
-
(2005)
LNAI
, vol.3809
, pp. 695-704
-
-
Dastani, M.1
Governatori, G.2
Rotolo, A.3
van der Torre, L.4
-
8
-
-
33745478096
-
Programming cognitive agents in defeasible logic
-
G. Sutcliffe and A. Voronkov, editors, Proc. LPAR 2005, 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, Proc. LPAR 2005, LNAI 3835, 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
-
-
0032682730
-
Autonomous agents with norms
-
F. Dignum. Autonomous agents with norms. Artificial Intelligence and Law, 7(1):69-79, 1999.
-
(1999)
Artificial Intelligence and Law
, vol.7
, Issue.1
, pp. 69-79
-
-
Dignum, F.1
-
10
-
-
84962115989
-
Towards socially sophisticated BDI agents
-
F. Dignum, D. Morley, L. Sonenberg, and L. Cavedon. Towards socially sophisticated BDI agents. In Proc 4th ICMAS, pages 111-118, 2000.
-
(2000)
Proc 4th ICMAS
, pp. 111-118
-
-
Dignum, F.1
Morley, D.2
Sonenberg, L.3
Cavedon, L.4
-
13
-
-
34247178532
-
A defeasible logic for modelling policy-based intentions and motivational attitudes
-
submitted
-
G. Governatori, V. Padmanabhan, A. Rotolo, and A. Sattar. A defeasible logic for modelling policy-based intentions and motivational attitudes, submitted, 2005.
-
(2005)
-
-
Governatori, G.1
Padmanabhan, V.2
Rotolo, A.3
Sattar, A.4
-
14
-
-
9444234582
-
Defeasible logic: Agency, intention and obligation
-
A. Lomuscio and D. Nute, editors, Deontic Logic in Computer Science, Springer
-
G. Governatori and A. Rotolo. Defeasible logic: Agency, intention and obligation. In A. Lomuscio and D. Nute, editors, Deontic Logic in Computer Science, LNAI 3065, pages 114-128. Springer, 2004.
-
(2004)
LNAI
, vol.3065
, pp. 114-128
-
-
Governatori, G.1
Rotolo, A.2
-
15
-
-
0025462359
-
Nonmonotonic reasoning, preferential models and cumulative logics
-
S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990.
-
(1990)
Artificial Intelligence
, vol.44
, pp. 167-207
-
-
Kraus, S.1
Lehmann, D.2
Magidor, M.3
-
16
-
-
85008541130
-
Prepositional defeasible logic has linear complexity
-
M.J. Maher. Prepositional defeasible logic has linear complexity. Theory and Practice of Logic Programming, 1(6):691-711, 2001.
-
(2001)
Theory and Practice of Logic Programming
, vol.1
, Issue.6
, pp. 691-711
-
-
Maher, M.J.1
-
17
-
-
3242734500
-
Efficient defeasible reasoning systems
-
M.J. Maher, A. Rock, G. Antoniou, D. Billignton, and T. Miller. Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools, 10(4):483-501, 2001.
-
(2001)
International Journal of Artificial Intelligence Tools
, vol.10
, Issue.4
, pp. 483-501
-
-
Maher, M.J.1
Rock, A.2
Antoniou, G.3
Billignton, D.4
Miller, T.5
-
18
-
-
0040974850
-
-
D. Nute, editor, Kluwer
-
D. Nute, editor. Defeasible Deontic Logic. Kluwer, 1997.
-
(1997)
Defeasible Deontic Logic
-
-
-
19
-
-
9444273253
-
-
J. Pitt, editor, Wiley
-
J. Pitt, editor. Open Agent Societies. Wiley, 2005.
-
(2005)
Open Agent Societies
-
-
-
20
-
-
0002572155
-
Modelling rational agents within a BDI-architecture
-
Morgan Kaufmann
-
A.S. Rao and M.P. Georgeff. Modelling rational agents within a BDI-architecture. In Proc. KR'91, pages 473-484. Morgan Kaufmann, 1991.
-
(1991)
Proc. KR'91
, pp. 473-484
-
-
Rao, A.S.1
Georgeff, M.P.2
|