-
1
-
-
7044234633
-
An Investigation of Generalized Cases
-
Ashley, K.D, Bridge, D.G, eds, ICCBR 2003, Springer, Heidelberg
-
Maximini, K., Maximini, R., Bergmann, R.: An Investigation of Generalized Cases. In: Ashley, K.D., Bridge, D.G. (eds.) ICCBR 2003. LNCS, vol. 2689, pp. 261-275. Springer, Heidelberg (2003)
-
(2003)
LNCS
, vol.2689
, pp. 261-275
-
-
Maximini, K.1
Maximini, R.2
Bergmann, R.3
-
3
-
-
21244489711
-
Description Logics and Planning
-
Gil, Y.: Description Logics and Planning. AI Magazine 26, 73-84 (2005)
-
(2005)
AI Magazine
, vol.26
, pp. 73-84
-
-
Gil, Y.1
-
4
-
-
0003727420
-
-
Baader, F, Calvanese, D, McGuinness, D.L, Nardi, D, Patel-Schneider, P.F, eds, Cambridge University Press, New York
-
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, New York (2003)
-
(2003)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
-
5
-
-
6344271958
-
OWL web ontology language guide
-
W3C Consortium
-
W3C Consortium: OWL web ontology language guide. W3C recommendation (2004), http://www.w3.org/tr/owl-guide/
-
(2004)
W3C recommendation
-
-
-
6
-
-
70350358703
-
-
Horridge, M., Knublauch, H., Rector, A., Stevens, R., Wroe, C.: A Practical Guide To Building OWL Ontologies Using The Protege-OWL Plugin and CO-ODE Tools Edition 1.0 (2004)
-
Horridge, M., Knublauch, H., Rector, A., Stevens, R., Wroe, C.: A Practical Guide To Building OWL Ontologies Using The Protege-OWL Plugin and CO-ODE Tools Edition 1.0 (2004)
-
-
-
-
8
-
-
2842560201
-
-
Fikes, R., Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artif. Intell. 2, 189-208 (1971)
-
Fikes, R., Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artif. Intell. 2, 189-208 (1971)
-
-
-
-
9
-
-
0009210299
-
-
PhD thesis, Stanford University, Stanford, CA, USA
-
Finger, J.J.: Exploiting Constraints in Design Synthesis. PhD thesis, Stanford University, Stanford, CA, USA (1987)
-
(1987)
Exploiting Constraints in Design Synthesis
-
-
Finger, J.J.1
-
10
-
-
79960039110
-
-
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating Description Logic ABoxes. In: KR, pp. 46-56 (2006)
-
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating Description Logic ABoxes. In: KR, pp. 46-56 (2006)
-
-
-
-
11
-
-
29344471510
-
-
AAAI, pp
-
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating Description Logics and Action Formalisms: First Results. In: AAAI, pp. 572-577 (2005)
-
(2005)
Integrating Description Logics and Action Formalisms: First Results
, pp. 572-577
-
-
Baader, F.1
Lutz, C.2
Milicic, M.3
Sattler, U.4
Wolter, F.5
-
12
-
-
0029393087
-
On Specifying Database Updates
-
Reiter, R.: On Specifying Database Updates. J. Log. Program. 25, 53-91 (1995)
-
(1995)
J. Log. Program
, vol.25
, pp. 53-91
-
-
Reiter, R.1
-
13
-
-
0001697333
-
Difference Between Updating a Knowledge Base and Revising it
-
On the, Ganderfors, P, ed, Cambridge University Press, Cambridge
-
Katsuno, H., Mendelzon, A.O.: On the Difference Between Updating a Knowledge Base and Revising it. In: Ganderfors, P. (ed.) Cambridge Tracts in Theoretical Computer Science, vol. 29, pp. 183-203. Cambridge University Press, Cambridge (1991)
-
(1991)
Cambridge Tracts in Theoretical Computer Science
, vol.29
, pp. 183-203
-
-
Katsuno, H.1
Mendelzon, A.O.2
-
14
-
-
0033356350
-
Propositional Belief Base Update and Minimal Change
-
Herzig, A., Rifi, O.: Propositional Belief Base Update and Minimal Change. Artif. Intell. 115, 107-138 (1999)
-
(1999)
Artif. Intell
, vol.115
, pp. 107-138
-
-
Herzig, A.1
Rifi, O.2
-
15
-
-
0024030356
-
Reasoning About Action I: A Possible Worlds Approach
-
Ginsberg, M.L., Smith, D.E.: Reasoning About Action I: A Possible Worlds Approach. Artif. Intell. 35, 165-195 (1988)
-
(1988)
Artif. Intell
, vol.35
, pp. 165-195
-
-
Ginsberg, M.L.1
Smith, D.E.2
-
16
-
-
84958683509
-
On the Role of Abstraction in Case-Based Reasoning
-
Smith, I.F.C, Faltings, B, eds, EWCBR 1996, Springer, Heidelberg
-
Bergmann, R., Wilke, W.: On the Role of Abstraction in Case-Based Reasoning. In: Smith, I.F.C., Faltings, B. (eds.) EWCBR 1996. LNCS, vol. 1168, pp. 28-43. Springer, Heidelberg (1996)
-
(1996)
LNCS
, vol.1168
, pp. 28-43
-
-
Bergmann, R.1
Wilke, W.2
-
17
-
-
84948162206
-
Integrating Conversational Case Retrieval with generative Planning
-
Blanzieri, E, Porti-nale, L, eds, EWCBR 2000, Springer, Heidelberg
-
Muñoz-Avila, H., Aha, D.W., Breslow, L., Nau, D.S., Weber-Lee, R.: Integrating Conversational Case Retrieval with generative Planning. In: Blanzieri, E., Porti-nale, L. (eds.) EWCBR 2000. LNCS, vol. 1898, pp. 210-221. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1898
, pp. 210-221
-
-
Muñoz-Avila, H.1
Aha, D.W.2
Breslow, L.3
Nau, D.S.4
Weber-Lee, R.5
-
18
-
-
84957803967
-
Using Guidelines to Constrain Interactive Case-Based HTN Planning
-
Althoff, K.D, Bergmann, R, Branting, K, eds, ICCBR 1999, Springer, Heidelberg
-
Muñoz-Avila, H., McFarlane, D.C., Aha, D.W., Breslow, L., Ballas, J.A., Nau, D.S.: Using Guidelines to Constrain Interactive Case-Based HTN Planning. In: Althoff, K.D., Bergmann, R., Branting, K. (eds.) ICCBR 1999. LNCS, vol. 1650, pp. 288-302. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1650
, pp. 288-302
-
-
Muñoz-Avila, H.1
McFarlane, D.C.2
Aha, D.W.3
Breslow, L.4
Ballas, J.A.5
Nau, D.S.6
-
19
-
-
35048851636
-
Case-Based, Decision-Theoretic, HTN Planning
-
Funk, P, González-Calero, P.A, eds, ECCBR 2004, Springer, Heidelberg
-
Macedo, L., Cardoso, A.: Case-Based, Decision-Theoretic, HTN Planning. In: Funk, P., González-Calero, P.A. (eds.) ECCBR 2004. LNCS, vol. 3155, pp. 257-271. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.3155
, pp. 257-271
-
-
Macedo, L.1
Cardoso, A.2
-
20
-
-
33845300087
-
Incremental Case-Based Plan Recognition Using State Indices
-
Aha, D.W, Watson, I, eds, ICCBR 2001, Springer, Heidelberg
-
Kerkez, B., Cox, M.T.: Incremental Case-Based Plan Recognition Using State Indices. In: Aha, D.W., Watson, I. (eds.) ICCBR 2001. LNCS, vol. 2080, pp. 291-305. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2080
, pp. 291-305
-
-
Kerkez, B.1
Cox, M.T.2
-
22
-
-
52149122286
-
Real-Time Plan Adaptation for Case-Based Planning in Real-Time Strategy Games
-
Althoff, K.D, Bergmann, R, Minor, M, Hanft, A, eds, ECCBR 2008, Springer, Heidelberg
-
Sugandh, N., Ontañón, S., Ram, A.: Real-Time Plan Adaptation for Case-Based Planning in Real-Time Strategy Games. In: Althoff, K.D., Bergmann, R., Minor, M., Hanft, A. (eds.) ECCBR 2008. LNCS, vol. 5239, pp. 533-547. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5239
, pp. 533-547
-
-
Sugandh, N.1
Ontañón, S.2
Ram, A.3
-
23
-
-
26944459247
-
Case Adaptation by Segment Replanning for Case-Based Planning Systems
-
Muñoz-Avila, H, Ricci, F, eds, ICCBR 2005, Springer, Heidelberg
-
Tonidandel, F., Rillo, M.: Case Adaptation by Segment Replanning for Case-Based Planning Systems. In: Muñoz-Avila, H., Ricci, F. (eds.) ICCBR 2005. LNCS, vol. 3620, pp. 579-594. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3620
, pp. 579-594
-
-
Tonidandel, F.1
Rillo, M.2
-
24
-
-
84956639648
-
An Accurate Adaptation-Guided Similarity Metric for Case-Based Planning
-
Aha, D.W, Watson, I, eds, ICCBR 2001, Springer, Heidelberg
-
Tonidandel, F., Rillo, M.: An Accurate Adaptation-Guided Similarity Metric for Case-Based Planning. In: Aha, D.W., Watson, I. (eds.) ICCBR 2001. LNCS, vol. 2080, pp. 531-545. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2080
, pp. 531-545
-
-
Tonidandel, F.1
Rillo, M.2
|