참고문헌 (26)

1. J Symb Log CE Alchourròn 50 510 1985 10.2307/2274239 Alchourròn CE, Gärdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Log 50:510-530 

   상세보기

2. Commun ACM JF Allen 26 11 832 1983 10.1145/182.358434 Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832-843 

   상세보기

3. Artif Intell JF Allen 23 2 1984 10.1016/0004-3702(84)90008-0 Allen JF (1984) A general model of action and time. Artif Intell 23:2 

   상세보기

4. Appl Intell B Bennett 17 2 239 2002 10.1023/A:1020083231504 Bennett B, Cohn AG, Wolter F, Zakharyaschev M (2002) Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Appl Intell 17(2):239-251 

   

5. D Berry 2005 UK e-science programme all hands meeting (AHM-2005) Berry D, Usmani A, Torero J, Tate A, McLaughlin S, Potter S, Trew A, Baxter R, Bull M, Atkinson M (2005) FireGrid: integrated emergency response and fire safety engineering for the future built environment. In: UK e-science programme all hands meeting (AHM-2005) 

6. Artif Intell G Bonanno 171 2-3 144 2007 10.1016/j.artint.2006.12.001 Bonanno G (2007) Axiomatic characterization of the AGM theory of belief revision in a temporal logic. Artif Intell 171(2-3):144-160 

   상세보기

7. ACM SIGART Bull TSC Chou 2 3 28 1991 10.1145/122296.122301 Chou TSC, Winslett M (1991) The implementation of a model-based belief revision system. ACM SIGART Bull 2(3):28-34. Special issue on implemented knowledge representation and reasoning systems 

   상세보기

8. Artif Intell J Kleer de 28 127 1986 10.1016/0004-3702(86)90080-9 de Kleer J (1986) An assumption-based TMS. Artif Intell 28:127-162 

   상세보기

9. Appl Intell M Santos dos 31 2 161 2009 10.1007/s10489-008-0120-4 dos Santos M, de Brito R, Park H-H, Santos P (2009) Logic-based interpretation of geometrically observable changes occurring in dynamic scenes. Appl Intell 31(2):161-179 

   상세보기

10. Artif Intell J Doyle 12 231 1979 10.1016/0004-3702(79)90008-0 Doyle J (1979) A truth maintenance system. Artif Intell 12:231-272 

    상세보기

11. The FireGrid Consortium, http://www.firegrid.org/ , last accessed: 19th September 2011 

12. Artif Intell C Forgy 19 17 1982 10.1016/0004-3702(82)90020-0 Forgy C (1982) Rete: a fast algorithm for the many pattern/many object pattern match problem. Artif Intell 19:17-37 

    상세보기

13. A Gangemi 166 2002 10.1007/3-540-45810-7_18 Knowledge engineering and knowledge management. Ontologies and the semantic web, 13th international conference, EKAW 2002 Gangemi A, Guarino N, Masolo C, Oltramari A, Schneider L (2002) Sweetening ontologies with DOLCE. In: Gómez-Pérez A, Benjamins VR (eds) Knowledge engineering and knowledge management. Ontologies and the semantic web, 13th international conference, EKAW 2002. Springer, Berlin, pp 166-181 

    

14. J Parallel Distrib Comput L Han 70 1128 2010 10.1016/j.jpdc.2010.06.005 Han L, Potter S, Beckett G, Pringle G, Welch S, Koo S-H, Wickler G, Usmani A, Torero J, Tate A (2010) FireGrid: an e-infrastructure for next-generation emergency response support. J Parallel Distrib Comput 70:1128-1141 

    상세보기

15. HM Fire Service Inspectorate 2002 HM fire services inspectorate publications Fire service manual, volume 2: fire service operations, incident command HM Fire Service Inspectorate (2002) In: Fire service manual, volume 2: fire service operations, incident command. HM fire services inspectorate publications. The Stationary Office, London 

16. H Katsuno 387 1991 Proc 2nd int conf on the principles of knowledge representation and reasoning (KR’91) Katsuno H, Mendelzon AO (1991) On the difference between updating a knowledge base and revising it. In: Proc 2nd int conf on the principles of knowledge representation and reasoning (KR’91). Morgan Kaufmann, San Mateo, pp 387-394 

17. Artif Intell H Katsuno 52 263 1991 10.1016/0004-3702(91)90069-V Katsuno H, Mendelzon AO (1991) Propositional knowledge base revision and minimal change. Artif Intell 52:263-294 

    상세보기

18. D Berre Le 2001 Proc 2nd Australasian workshop on computational logic (AWCL01) Le Berre D (2001) ADS: a unified computational framework for some consistency and abductive-based propsositional reasoning. In: Proc 2nd Australasian workshop on computational logic (AWCL01), Gold Coast, Australia, 31 Jan-1 Feb 2001 

19. P Liberatore 145 2000 Proc 7th int conf on principles of knowledge representation and reasoning (KR 2000) Liberatore P, Schaerf M (2000) BReLS: A system for the integration of knowledge bases. In: Proc 7th int conf on principles of knowledge representation and reasoning (KR 2000). Morgan Kaufmann, San Mateo, pp 145-152 

20. S Potter 2008 Proc 5th int conf on information systems for crisis response and management (ISCRAM) Potter S, Wickler G (2008) Model-based query systems for emergency response. In: Fiedrich F, Van de Walle B (eds) Proc 5th int conf on information systems for crisis response and management (ISCRAM), Washington DC, USA, May 2008 

21. AS Rao 966 1989 Proc 11th int joint conf on artificial intelligence (IJCAI-89) Rao AS, Foo NY (1989) Minimal change and maximal coherence: a basis for belief revision and reasoning about actions. In: Proc 11th int joint conf on artificial intelligence (IJCAI-89), pp 966-971 

22. SM Sripada 1993 Proc 9th IEEE conf on artificial intelligence for applications (CAIA’93) Sripada SM (1993) A temporal approach to belief revision in knowledge bases. In: Proc 9th IEEE conf on artificial intelligence for applications (CAIA’93), Orlando, Florida, March 1993 

23. A Tate 3 2000 Proceedings of ES2000, 20th BCS special group on expert systems international conference on knowledge based systems and applied artificial intelligence Tate A (2000) Intelligible AI planning. In: Proceedings of ES2000, 20th BCS special group on expert systems international conference on knowledge based systems and applied artificial intelligence. Springer, Berlin, pp 3-16 

24. A Tate 2003 Proceedings of the workshop on mixed-initiative intelligent systems (MIIS) at the international joint conference on artificial intelligence (IJCAI-03) Tate A (2003) <I-N-C-A>: an ontology for mixed-initiative synthesis tasks. In: Proceedings of the workshop on mixed-initiative intelligent systems (MIIS) at the international joint conference on artificial intelligence (IJCAI-03), Acapulco, Mexico, August 2003 

25. R Upadhyay 2008 Proc 9th IAFSS international symposium on fire safety science Upadhyay R, Pringle G, Beckett G, Potter S, Han L, Welch S, Usmani A, Torero J (2008) An architecture for an integrated fire emergency response system for the built environment. In: Proc 9th IAFSS international symposium on fire safety science, Karlsruhe, Germany, September 2008 

26. Intell Decis Technol G Wickler 3 3 2009 10.3233/IDT-2009-0043 Wickler G, Potter S (2009) Information-gathering: from sensor data to decision support in three simple steps. Intell Decis Technol 3:3-17 

    상세보기