SCOPUS 정보 검색 플랫폼

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 1075-1080

Description logics and fuzzy probability

(2) Schröder, Lutz a Pattinson, Dirk b

a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI (Germany)

b IMPERIAL COLLEGE LONDON (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COALGEBRAIC LOGIC; DESCRIPTION LOGIC; FUZZY PROBABILITY; GENERIC FRAMEWORKS; NUMERICAL PROBABILITIES; PROPOSITIONAL LOGIC; TRUTH DEGREE;

ARTIFICIAL INTELLIGENCE; COMPUTABILITY AND DECIDABILITY; FORMAL LANGUAGES; PROBABILISTIC LOGICS; PROBABILITY; SEMANTICS;

DATA DESCRIPTION;

EID: 84864285581 PISSN: 10450823 EISSN: None Source Type: Conference Proceeding
DOI: 10.5591/978-1-57735-516-8/IJCAI11-184 Document Type: Conference Paper

Times cited : (19)

References (24)

1
- 78649809709
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic SROIQ
- Fernando Bobillo and Umberto Straccia. Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic SROIQ. Information Sci., 181:758-778, 2011.
- (2011) Information Sci. , vol.181 , pp. 758-778
- Bobillo, F.¹ Straccia, U.²

2
- 80053085879
- On the failure of the finite model property in some fuzzy description logics
- abs/1003.1588
- Fernando Bobillo, Félix Bou, and Umberto Straccia. On the failure of the finite model property in some fuzzy description logics. CoRR, abs/1003.1588, 2010.
- (2010) CoRR
- Bobillo, F.¹ Bou, F.² Straccia, U.³

3
- 1642458595
- Probability logic
- John Burgess. Probability logic. J. Symbolic Log., 34:264-274, 1969.
- (1969) J. Symbolic Log. , vol.34 , pp. 264-274
- Burgess, J.¹

4
- 84888229792
- Some algebraic and geometric computations in PSPACE
- ACM
- John Canny. Some algebraic and geometric computations in PSPACE. In Symposium on Theory of Computing, STOC 1988, pages 460-467. ACM, 1988.
- (1988) Symposium on Theory of Computing, STOC 1988 , pp. 460-467
- Canny, J.¹

5
- 84976774564
- Reasoning about knowledge and probability
- Ronald Fagin and Joseph Halpern. Reasoning about knowledge and probability. J. ACM, 41:340-367, 1994.
- (1994) J. ACM , vol.41 , pp. 340-367
- Fagin, R.¹ Halpern, J.²

6
- 19044382375
- Making fuzzy description logic more general
- Petr Hájek. Making fuzzy description logic more general. Fuzzy Sets and Systems, 154:1-15, 2005.
- (2005) Fuzzy Sets and Systems , vol.154 , pp. 1-15
- Hájek, P.¹

7
- 34548853969
- Complexity of fuzzy probability logics II
- Petr Hájek. Complexity of fuzzy probability logics II. Fuzzy Sets and Systems, 158:2605-2611, 2007.
- (2007) Fuzzy Sets and Systems , vol.158 , pp. 2605-2611
- Hájek, P.¹

8
- 0023385438
- A logic to reason about likelihood
- Joseph Halpern and Michael Rabin. A logic to reason about likelihood. Artif. Intell., 32:379-405, 1987.
- (1987) Artif. Intell. , vol.32 , pp. 379-405
- Halpern, J.¹ Rabin, M.²

9
- 0025535649
- An analysis of first-order logics of probability
- Joseph Halpern. An analysis of first-order logics of probability. Artif. Intell, 46:311-350, 1990.
- (1990) Artif. Intell , vol.46 , pp. 311-350
- Halpern, J.¹

10
- 1642540450
- The modal 'probably'
- C. Hamblin. The modal 'probably'. Mind, 68:234-240, 1959.
- (1959) Mind , vol.68 , pp. 234-240
- Hamblin, C.¹

11
- 1642485940
- Modal probability, belief, and actions
- Andreas Herzig. Modal probability, belief, and actions. Fund. Inf., 57:323-344, 2003.
- (2003) Fund. Inf. , vol.57 , pp. 323-344
- Herzig, A.¹

12
- 70350449422
- On improving the scalability of checking satisfiability in probabilistic description logics
- Scalable Uncertainty Management, SUM 2009, Springer
- Pavel Klinov and Bijan Parsia. On improving the scalability of checking satisfiability in probabilistic description logics. In Scalable Uncertainty Management, SUM 2009, volume 5785 of LNCS, pages 138-149. Springer, 2009.
- (2009) LNCS , vol.5785 , pp. 138-149
- Klinov, P.¹ Parsia, B.²

13
- 0010795235
- Fuzzy logic or Łukasiewicz logic: A clarification
- Sukhamay Kundu and Jianhua Chen. Fuzzy logic or Łukasiewicz logic: A clarification. Fuzzy Sets and Systems, 95:369-379, 1998.
- (1998) Fuzzy Sets and Systems , vol.95 , pp. 369-379
- Kundu, S.¹ Chen, J.²

14
- 38149007772
- Top-k retrieval in description logic programs under vagueness for the semantic web
- Scalable Uncertainty Management, SUM 2007, Springer
- Thomas Lukasiewicz and Umberto Straccia. Top-k retrieval in description logic programs under vagueness for the semantic web. In Scalable Uncertainty Management, SUM 2007, volume 4772 of LNCS, pages 16-30. Springer, 2007.
- (2007) LNCS , vol.4772 , pp. 16-30
- Lukasiewicz, T.¹ Straccia, U.²

15
- 56049128175
- Managing uncertainty and vagueness in description logics for the semantic web
- Thomas Lukasiewicz and Umberto Straccia. Managing uncertainty and vagueness in description logics for the semantic web. J. Web Sem., 6(4):291-308, 2008.
- (2008) J. Web Sem. , vol.6 , Issue.4 , pp. 291-308
- Lukasiewicz, T.¹ Straccia, U.²

16
- 38649122051
- Expressive probabilistic description logics
- Thomas Lukasiewicz. Expressive probabilistic description logics. Artif. Intell, 172:852-883, 2008.
- (2008) Artif. Intell , vol.172 , pp. 852-883
- Lukasiewicz, T.¹

17
- 84860577812
- Probabilistic description logics for subjective uncertainty
- AAAI
- Carsten Lutz and Lutz Schröder. Probabilistic description logics for subjective uncertainty. In Principles of Knowledge Representation and Reasoning, KR 2010. AAAI, 2010.
- (2010) Principles of Knowledge Representation and Reasoning, KR 2010
- Lutz, C.¹ Schröder, L.²

18
- 84886237914
- Complexity of terminological reasoning revisited
- Logic Programming and Automated Reasoning, LPAR 99, Springer
- Carsten Lutz. Complexity of terminological reasoning revisited. In Logic Programming and Automated Reasoning, LPAR 99, volume 1705 of LNCS, pages 181-200. Springer, 1999.
- (1999) LNCS , vol.1705 , pp. 181-200
- Lutz, C.¹

19
- 70350656392
- Coalgebraic hybrid logic
- Foundations of Software Science and Computation Structures, FoSSaCS 2009, Springer
- Rob Myers, Dirk Pattinson, and Lutz Schröder. Coalgebraic hybrid logic. In Foundations of Software Science and Computation Structures, FoSSaCS 2009, volume 5504 of LNCS, pages 137-151. Springer, 2009.
- (2009) LNCS , vol.5504 , pp. 137-151
- Myers, R.¹ Pattinson, D.² Schröder, L.³

20
- 70350447968
- Finite satisfiability in infinite-valued Łukasiewicz logic
- Scalable Uncertainty Management, SUM 2009, Springer
- Steven Schockaert, Jeroen Janssen, Dirk Vermeir, and Martine De Cock. Finite satisfiability in infinite-valued Łukasiewicz logic. In Scalable Uncertainty Management, SUM 2009, volume 5785 of LNCS, pages 240-254. Springer, 2009.
- (2009) LNCS , vol.5785 , pp. 240-254
- Schockaert, S.¹ Janssen, J.² Vermeir, D.³ De Cock, M.⁴

21
- 38349177832
- Reasoning with very expressive fuzzy description logics
- Giorgos Stoilos, Giorgos Stamou, Jeff Pan, Vassilis Tzouvaras, and Ian Horrocks. Reasoning with very expressive fuzzy description logics. JAIR, 30:273-320, 2007.
- (2007) JAIR , vol.30 , pp. 273-320
- Stoilos, G.¹ Stamou, G.² Pan, J.³ Tzouvaras, V.⁴ Horrocks, I.⁵

22
- 0036375983
- Reasoning within fuzzy description logics
- Umberto Straccia. Reasoning within fuzzy description logics. JAIR, 14:137-166, 2001.
- (2001) JAIR , vol.14 , pp. 137-166
- Straccia, U.¹

23
- 77956087942
- Description logics with fuzzy concrete domains
- AUAI Press
- Umberto Straccia. Description logics with fuzzy concrete domains. In Uncertainty in Artificial Intelligence, UAI 2005, pages 559-567. AUAI Press, 2005.
- (2005) Uncertainty in Artificial Intelligence, UAI 2005 , pp. 559-567
- Straccia, U.¹

24
- 49949126152
- Probability measures of fuzzy events
- Lotfi Zadeh. Probability measures of fuzzy events. J. Math. Anal. Appl., 23:421-427, 1968.
- (1968) J. Math. Anal. Appl. , vol.23 , pp. 421-427
- Zadeh, L.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.