SCOPUS 정보 검색 플랫폼

Artificial Intelligence

Volumn 139, Issue 2, 2002, Pages 175-211

Abstracting soft constraints: Framework, properties, examples

(3) Bistarelli, Stefano a Codognet, Philippe b Rossi, Francesca c

a CNR (Italy)

b SORBONNE UNIVERSITÉ (France)

c UNIVERSITY OF PADOVA (Italy)

Author keywords

Abstraction; Constraint propagation; Constraint solving; Fuzzy reasoning; Soft constraints

Indexed keywords

ABSTRACTING; ALGORITHMS; CONSTRAINT THEORY; FUZZY SETS;

CONSTRAINT PROPAGATION;

ARTIFICIAL INTELLIGENCE;

EID: 0036680316 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/S0004-3702(02)00208-4 Document Type: Article

Times cited : (39)

References (33)

1
- 0004243695
- MacMillan, New York
- (1965) A Survey of Modern Algebra
- Birkhoff, G.¹ MacLane, S.²

2
- 0003587462
- Ph.D. Thesis, Dipartimento di Informatica, Università di Pisa, Italy, TD-2/01
- (2001) Soft constraint solving programming: A general framework
- Bistarelli, S.¹

3
- 35048889882
- Abstracting soft constraints
- K. Apt, E. Monfroy, T. Kakas, F. Rossi (Eds.), New Trends in Constraints, Joint ERCIM/Compulog Net Workshop on Constraints, Paphos, Greece, Springer Berlin
- (1999) Lecture Notes in Artficial Intelligence , vol.1865 , pp. 108-133
- Bistarelli, S.¹ Codognet, P.² Georget, Y.³ Rossi, F.⁴

4
- 84942889171
- An abstraction framework for soft constraints, and its relationship with constraint propagation
- B.Y. Chouery, T. Walsh (Eds.), Proc. SARA 2000 (Symposium on Abstraction, Reformulation, and Approximation), Springer, Berlin
- (2000) Lecture Notes in Artficial Intelligence , vol.1864 , pp. 71-86
- Bistarelli, S.¹ Codognet, P.² Rossi, F.³

5
- 84947772501
- Semiring-based CSPs and valued CSPs: Basic properties and comparison
- Over-Constrained Systems, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1106 , pp. 111-150
- Bistarelli, S.¹ Fargier, H.² Montanari, U.³ Rossi, F.⁴ Schiex, T.⁵ Verfaillie, G.⁶

6
- 0002439512
- Constraint solving over semirings
- Montreal, Quebec, Morgan Kaufmann, San Mateo, CA
- (1995) Proc. IJCAI-95 , pp. 624-630
- Bistarelli, S.¹ Montanari, U.² Rossi, F.³

7
- 0031095278
- Semiring-based constraint solving and optimization
- (1997) J. ACM , vol.44 , Issue.2 , pp. 201-236
- Bistarelli, S.¹ Montanari, U.² Rossi, F.³

8
- 0026274881
- Abstract interpretation of constraints on order-sorted domains
- San Diego, CA, MIT Press, Cambridge, MA
- (1991) Proc. ISLP-91 , pp. 435-452
- Caseau, Y.¹

9
- 85050550846
- Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
- (1977) Fourth ACM Symposium Principles of Programming Languages , pp. 238-252
- Cousot, P.¹ Cousot, R.²

10
- 0018294932
- Systematic design of program analysis
- (1979) Proc. Sixth ACM Symposium Principles of Programming Languages , pp. 269-282
- Cousot, P.¹ Cousot, R.²

11
- 0027206949
- The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction
- IEEE
- (1993) Proc. IEEE International Conference on Fuzzy Systems , pp. 1131-1136
- Dubois, D.¹ Fargier, H.² Prade, H.³

12
- 0005844163
- Synthesis of abstraction hierarchies for constraint satisfaction by clustering approximately equivalent objects
- Amherst, MA
- (1993) Proc. International Conference on Machine Learning , pp. 104-111
- Ellman, T.¹

13
- 85029518573
- Uncertainty in constraint satisfaction problems: A probabilistic approach
- Proc. European Conference on Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU), Springer, Berlin
- (1993) Lecture Notes in Computer Science , vol.747 , pp. 97-104
- Fargier, H.¹ Lang, J.²

14
- 84958062112
- Eliminating interchangeable values in constraint satisfaction subproblems
- Anaheim, CA
- (1991) Proc. AAAI-91 , pp. 227-233
- Freuder, E.C.¹

15
- 0041729345
- Interchangeability supports abstraction and reformulation for constraint satisfaction
- (1995) Proc. Symposium on Abstraction, Reformulation and Approximation (SARA-95)
- Freuder, E.C.¹ Sabin, D.²

16
- 44049114350
- Partial constraint satisfaction
- (1992) Artificial Intelligence , vol.58 , pp. 21-70
- Freuder, E.C.¹ Wallace, R.J.²

17
- 4243680605
- Ph.D. Thesis, Ecole Polytechnique, France, September (in French)
- (1999) Reactive extensios of constraint logic programming
- Georget, Y.¹

18
- 84957628788
- Compiling semiring-based constraints with clp(FD,S)
- M. Maher, J.-F. Puget (Eds.), Proc. CP-98, Pisa, Italy, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1520 , pp. 205-219
- Georget, Y.¹ Codognet, P.²

19
- 84886020812
- Search lessons learned from crossword puzzles
- Boston, MA
- (1990) Proc. AAAI-90 , pp. 210-215
- Ginsberg, M.L.¹ Frank, M.² Halpin, M.P.³ Torrance, M.C.⁴

20
- 0031385378
- Theories of abstraction
- (1997) AI Comm. , vol.10 , Issue.3-4 , pp. 167-176
- Giunchiglia, F.¹ Villafiorita, A.² Walsh, T.³

21
- 0026940563
- A theory of abstraction
- (1992) Artificial Intelligence , vol.56 , Issue.2-3 , pp. 323-390
- Giunchiglia, F.¹ Walsh, T.²

22
- 84948984086
- Bounding the optimum of constraint optimization problems
- G. Smolka (Ed.), Proc. CP-97, Springer Berlin
- (1997) Lecture Notes in Computer Science , vol.1330 , pp. 405-419
- De Givry, S.¹ Verfaillie, G.² Schiex, T.³

23
- 0005864977
- JFSolver: A tool for solving fuzzy constraint satisfaction
- H. Yan (Ed.), Melbourne, Australia, IEEE Press, Piscataway, NJ
- (2001) Proc. FUZZ-IEEE 2001 (10th IEEE International Conference on Fuzzy Systems)
- Kowalczyk, R.¹ Van Anh Bui²

24
- 84942923666
- A CSP abstraction framework
- B.Y. Chouery, T. Walsh (Eds.), Proc. SARA 2000 (Symposium on Abstraction, Reformulation, and Approximation), Springer, Berlin
- (2000) Lecture Notes in Artficial Intelligence , vol.1864 , pp. 164-184
- Lecoutre, C.¹ Merchez, S.² Boussemart, F.³ Gregoire, E.⁴

25
- 49449120803
- Consistency in networks of relations
- (1977) Artificial Intelligence , vol.8 , Issue.1 , pp. 99-118
- Mackworth, A.K.¹

26
- 0000959937
- Constraint satisfaction
- S.C. Shapiro (Ed.), 2nd edition, Wiley, New York
- (1992) Encyclopedia of AI , vol.1 , pp. 285-293
- Mackworth, A.K.¹

27
- 84947905816
- AbsCon: A prototype to solve CSPs with abstraction
- Proc. CP-2001, Springer, Berlin
- (2001) Lecture Notes in Computer Science , vol.2239 , pp. 730-744
- Merchez, S.¹ Lecoutre, C.² Boussemart, F.³

28
- 0028746964
- Fuzzy constraint satisfaction
- (1994) Proc. 3rd IEEE International Conference on Fuzzy Systems , pp. 1263-1268
- Ruttkay, Zs.¹

29
- 0001553684
- Possibilistic constraint satisfaction problems, or "how to handle soft constraints?"
- (1992) Proc. 8th Conference of Uncertainty in AI , pp. 269-275
- Schiex, T.¹

30
- 0002582645
- Valued constraint satisfaction problems: Hard and easy problems
- Montreal, Quebec, Morgan Kaufmann, San Mateo, CA
- (1995) Proc. IJCAI-95 , pp. 631-637
- Schiex, T.¹ Fargier, H.² Verfaille, G.³

31
- 0005837201
- An evaluation of domain reduction: Abstraction for unstructured CSPs
- (1992) Proc. Symposium on Abstraction, Reformulation, and Approximation , pp. 126-133
- Schrag, R.¹ Miranker, D.²

32
- 0003880654
- Academic Press, New York
- (1993) Foundations of Constraint Satisfaction
- Tsang, E.P.K.¹

33
- 0001737878
- Practical applications of constraint programming
- (1996) Constraints , vol.1 , pp. 139-168
- Wallace, M.¹

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