SCOPUS 정보 검색 플랫폼

Volumn 2, Issue , 2005, Pages 596-601

Prioritized component systems

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; OPTIMIZATION; PROBLEM SOLVING;

ANSWER-SET OPTIMIZATION (ASO); COMPONENT SYSTEMS; CP-NET TECHNIQUES; PROBLEM DOMAIN;

ARTIFICIAL INTELLIGENCE;

EID: 29344445052 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (7)

References (10)

1
- 0002657285
- Reasoning with conditional ceteris paribus preference statements
- Boutilier, C.; Brafman, R.; Hoos, H.; and Poole, D. 1999. Reasoning with conditional ceteris paribus preference statements. In Proceedings of UAI-99.
- (1999) Proceedings of UAI-99
- Boutilier, C.¹ Brafman, R.² Hoos, H.³ Poole, D.⁴

2
- 4344559610
- CP-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements
- Boutilier, C.; Brafman, R.; Domshlak, C.; Hoos, H.; and Poole, D. 2004a. CP-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. JAIR 21:135-191.
- (2004) JAIR , vol.21 , pp. 135-191
- Boutilier, C.¹ Brafman, R.² Domshlak, C.³ Hoos, H.⁴ Poole, D.⁵

3
- 2442668142
- Preference-based constrained optimization with CP-nets
- Boutilier, C.; Brafman, R.; Domshlak, C.; Hoos, H.; and Poole, D. 2004b. Preference-based constrained optimization with CP-nets. Comp. Intelligence 20(2): 137-157.
- (2004) Comp. Intelligence , vol.20 , Issue.2 , pp. 137-157
- Boutilier, C.¹ Brafman, R.² Domshlak, C.³ Hoos, H.⁴ Poole, D.⁵

4
- 2442589725
- Extended semantics and optimization algorithms for CP-networks
- Brafman, R., and Dimopoulos, Y. 2004. Extended semantics and optimization algorithms for CP-networks. Comp. Intelligence 20(2):218-245.
- (2004) Comp. Intelligence , vol.20 , Issue.2 , pp. 218-245
- Brafman, R.¹ Dimopoulos, Y.²

5
- 84880801065
- Answer set optimization
- Brewka, G.; Niemelä, I.; and Truszczyński, M. 2003. Answer set optimization. In Proceedings of IJCAI-03,
- (2003) Proceedings of IJCAI-03
- Brewka, G.¹ Niemelä, I.² Truszczyński, M.³

6
- 77951505493
- Classical negation in logic programs and disjunctive databases
- Gelfond, M., and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9:365-385.
- (1991) New Generation Computing , vol.9 , pp. 365-385
- Gelfond, M.¹ Lifschitz, V.²

7
- 84880740195
- The computational complexity of dominance and consistency in CP-nets
- Lang, J.; Goldsmith, J.; Truszczyński, M.; and Wilson, N. 2005. The computational complexity of dominance and consistency in CP-nets. Proceedings of IJCAI-05.
- (2005) Proceedings of IJCAI-05
- Lang, J.¹ Goldsmith, J.² Truszczyński, M.³ Wilson, N.⁴

8
- 0003897694
- Addison-Wesley
- Papadimitriou, C. 1994. Computational Complexity. Addison-Wesley.
- (1994) Computational Complexity
- Papadimitriou, C.¹

9
- 29344433038
- Constrained CP-nets
- Prestwich, S.; Rossi, F.; Venable, K.; and Walsh, T. 2004. Constrained CP-nets. In Proc. of the Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming.
- (2004) Proc. of the Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming
- Prestwich, S.¹ Rossi, F.² Venable, K.³ Walsh, T.⁴

10
- 0010122418
- Extending and implementing the stable model semantics
- Simons, P.; Niemelä, I.; and Soininen, T. 2002. Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2): 181-234.
- (2002) Artificial Intelligence , vol.138 , Issue.1-2 , pp. 181-234
- Simons, P.¹ Niemelä, I.² Soininen, T.³

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