SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Artificial Intelligence

Volumn 135, Issue 1-2, 2002, Pages 199-234

Consistency restoration and explanations in dynamic CSPs - Application to configuration

(3) Amilhastre, Jérôme a Fargier, Hélène b Marquis, Pierre c

a Access Commerce (France)

b IRIT (France)

c UNIVERSITÉ D'ARTOIS (France)

Author keywords

Assumptions; Compilation; CSPs; Explanations; Interactive configuration; Restorations

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; BOOLEAN ALGEBRA; COMPUTATIONAL METHODS; CONSTRAINT THEORY; DATA STRUCTURES; DECISION SUPPORT SYSTEMS;

CONSTRAINT SATISFACTION PROBLEM (CSP);

PROBLEM SOLVING;

EID: 0036467697 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/S0004-3702(01)00162-X Document Type: Article

Times cited : (180)

References (42)

1
- 0025558645
- Efficient implementation of a BDD package
- Orlando, FL
- (1990) Proc. 27th ACM/IEEE Design Automation Conference , pp. 40-45
- Brace, K.S.¹ Rudell, R.L.² Bryant, R.E.³

2
- 0022769976
- Graph based algorithms for boolean function manipulation
- (1986) IEEE Trans. Comput. , vol.35 , Issue.8 , pp. 677-692
- Bryant, R.E.¹

3
- 0008137807
- The satisfiability problem regarded as a constraint satisfaction problem
- Budapest, Hungary
- (1996) Proc. ECAI-96 , pp. 155-159
- Bennaceur, H.¹

4
- 77952492430
- Arc-consistency for dynamic constraint satisfaction problems
- Anaheim, CA
- (1991) Proc. AAAI-91 , pp. 221-227
- Bessière, C.¹

5
- 0008045793
- Arc-consistency for non-binary dynamic CSPs
- Vienna, Austria
- (1992) Proc. ECAI-92 , pp. 23-27
- Bessière, C.¹

6
- 0002685549
- Tractable cover compilations
- Nagoya, Japan
- (1997) Proc. IJCAI-97 , pp. 122-127
- Boufkhad, Y.¹ Grégoire, E.² Marquis, P.³ Mazure, B.⁴ Saïs, L.⁵

7
- 21344458901
- Solving over-constrained CSP using weighted OBDDs
- Proc. Over-Constrained Systems, Springer Berlin
- (1996) Lecture Notes in Computer Science , vol.1106 , pp. 293-308
- Bouquet, F.¹ Jégou, P.²

8
- 0031370389
- A survey on knowledge compilation
- (1997) AI Comm. , vol.10 , pp. 137-150
- Cadoli, M.¹ Donini, F.M.²

9
- 0030416710
- Computation of prime implicates and prime implicants by a variant of the Davis and Putnam procedure
- Toulouse, France
- (1996) Proc. ICTAI-96 , pp. 428-429
- Castell, T.¹

10
- 22044455836
- Nonmonotonic reasoning: From complexity to algorithms
- (1998) Ann. Math. Artificial Intelligence , vol.22 , Issue.3-4 , pp. 207-236
- Cayrol, C.¹ Lagasquie-Schiex, M.C.² Schiex, T.³

11
- 84990559458
- Probabilistic semantics for cost-based abduction
- Boston, MA
- (1990) Proc. AAAI-90 , pp. 106-111
- Charniak, E.¹ Shimony, S.E.²

12
- 0002285674
- A logically complete reasoning maintenance system based on a logical constraint solver
- Sydney, Australia
- (1991) Proc. IJCAI-91 , pp. 294-299
- Coudert, O.¹ Madre, J.-C.²

13
- 84880691247
- Compiling devices into decomposable negation normal form
- Stockholm, Sweden
- (1999) Proc. IJCAI-99 , pp. 284-289
- Darwiche, A.¹

14
- 85102188694
- Belief maintenance in dynamic constraint networks
- St. Paul, MN
- (1988) Proc. AAAI-88 , pp. 37-42
- Dechter, R.¹ Dechter, A.²

15
- 0030122830
- Structure-driven algorithms for truth maintenance
- (1996) Artificial Intelligence , vol.82 , pp. 1-20
- Dechter, R.¹ Dechter, A.²

16
- 0024640050
- Tree clustering schemes for constraint-processing
- (1989) Artificial Intelligence , vol.38 , Issue.3 , pp. 353-366
- Dechter, R.¹ Pearl, J.²

17
- 0022680851
- An assumption-based TMS
- (1986) Artificial Intelligence , vol.28 , pp. 127-167
- De Kleer, J.¹

18
- 0002059944
- Tractable databases: How to make propositional unit resolution complete through compilation
- Bonn, Germany
- (1994) Proc. KR-94 , pp. 551-561
- Del Val, A.¹

19
- 0030402382
- Arc-consistency in dynamic CSPs is no more prohibitive
- Toulouse, France
- (1996) Proc. ICTAI-96 , pp. 299-306
- Debruyne, R.¹

20
- 0029236521
- The complexity of logic-based abduction
- (1995) J. ACM , vol.42 , pp. 3-42
- Eiter, T.¹ Gottlob, G.²

21
- 0002129946
- Consistency-based diagnosis of configuration knowledge bases
- Berlin
- (2000) Proc. ECAI-2000 , pp. 146-150
- Falfernig, A.¹ Friedrich, G.² Jannach, D.³ Stumptner, M.⁴

22
- 85169589728
- Interactive configuration using constraint satisfaction techniques
- (1996) Proc. Artificial Intelligence and Manufacturing Research Planning Workshop, AAAI Technical Report , vol.FS-96-03 , pp. 37-44
- Gelle, E.¹ Weigel, R.²

23
- 0027683879
- Interpretation as abduction
- (1993) Artificial Intelligence , vol.63 , pp. 69-142
- Hobbs, J.R.¹ Stickel, M.E.² Appelt, D.E.³ Martin, P.⁴

24
- 0002461452
- Dynamic domain splitting for numeric CSP
- Brighton, UK
- (1998) Proc. ECAI-98 , pp. 224-228
- Jussien, N.¹ Lhomme, O.²

25
- 4243766414
- Problèmes incohérents: Expliquer l'incohérence, restaurer la cohérence
- (1999) Actes de JNPC-99 , pp. 111-120
- Lobjois, L.¹ Verfaillie, G.²

26
- 0002204969
- Knowledge compilation using theory prime implicates
- Montreal, Quebec
- (1995) Proc. IJCAI-95 , pp. 837-843
- Marquis, P.¹

27
- 85135997562
- Dynamic constraint satisfaction problems
- Boston, MA
- (1990) Proc. AAAI-90 , pp. 25-32
- Mittal, S.¹ Frayman, F.²

28
- 0008087793
- Ph.D. Dissertation, Technical University of Denmark
- (1995) On the technology of array based logic
- Moller, G.¹

29
- 0003897694
- Addison-Wesley, Reading, MA
- (1994) Computational Complexity
- Papadimitriou, C.H.¹

30
- 0027702434
- Probabilistic Horn abduction and Bayesian networks
- (1993) Artificial Intelligence , vol.64 , pp. 81-129
- Poole, D.¹

31
- 0002399445
- Foundations of assumption-based truth maintenance systems: Preliminary report
- Seattle, WA
- (1987) Proc. AAAI-87 , pp. 183-188
- Reiter, R.¹ De Kleer, J.²

32
- 85131947336
- Configuration as composite constraint satisfaction
- (1996) Proc. Artificial Intelligence and Manufacturing Research Planning Workshop, AAAI Technical Report , vol.FS-96-03 , pp. 28-36
- Sabin, D.¹ Freuder, E.C.²

33
- 21844494646
- A constraint-based approach to diagnosing software problems in computer networks
- Proc. CP-95
- (1995) Lecture Notes in Computer Science , vol.976 , pp. 463-480
- Sabin, D.¹ Sabin, M.² Russell, R.D.³ Freuder, E.C.⁴

34
- 0032114898
- Product configuration frameworks - A survey
- (1998) IEEE Intelligent Systems Appl. , vol.13 , Issue.4 , pp. 42-49
- Sabin, D.¹ Weigel, R.²

35
- 0012703727
- Detecting and resolving inconsistency in conditional constraint satisfaction problems
- Orlando, FL
- (1999) Proc. AAAI-99 Workshop on Configuration , pp. 90-94
- Sabin, M.¹ Freuder, E.C.²

36
- 0002582645
- Valuated constraint satisfaction problems: Hard and easy problems
- Montreal, Quebec
- (1995) Proc. IJCAI-95 , pp. 631-637
- Schiex, T.¹ Fargier, H.² Verfaillie, G.³

37
- 0030365398
- Compilation for critically constrained knowledge bases
- Portland, OR
- (1996) Proc. AAAI-96 , pp. 510-515
- Schrag, R.¹

38
- 0030102186
- Knowledge compilation and theory approximation
- (1996) J. ACM , vol.43 , pp. 193-224
- Selman, B.¹ Kautz, H.A.²

39
- 0008090988
- Dynamic constraint satisfaction in configuration
- Orlando, FL
- (1999) Proc. AAAI-99 Workshop on Configuration , pp. 95-100
- Soininen, T.¹ Gelle, E.²

40
- 0031175701
- An overview of knowledge-based configuration
- (1997) AI Comm. , vol.10 , pp. 111-125
- Stumptner, M.¹

41
- 0026961096
- Solving constraint satisfaction problems using finite state automata
- San Jose, CA
- (1992) Proc. AAAI-92 , pp. 453-458
- Vempaty, N.R.¹

42
- 0033325911
- Compiling constraint satisfaction problems
- (1999) Artificial Intelligence , vol.115 , pp. 257-287
- Weigel, R.¹

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