Formalization of argument accrual: Acceptability semantics and dialectical proof procedure.
- Published in:
- AI Communications, 2013, v. 26, n. 4, p. 413, doi. 10.3233/AIC-130569
- By:
- Publication type:
- Article
Works matching IS 09217126 AND DT 2013 AND VI 26 AND IP 4
Results: 8
1
2
A statistical simulation technique to develop and evaluate conversational agents.
- Published in:
- AI Communications, 2013, v. 26, n. 4, p. 355, doi. 10.3233/AIC-130573
- By:
- Publication type:
- Article
3
From diagnosis of active systems to incremental determinization of finite acyclic automata.
- Published in:
- AI Communications, 2013, v. 26, n. 4, p. 373, doi. 10.3233/AIC-130574
- By:
- Publication type:
- Article
4
Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems.
- Published in:
- AI Communications, 2013, v. 26, n. 4, p. 409, doi. 10.3233/AIC-130568
- By:
- Publication type:
- Article
5
Automating the evaluation of planning systems.
- Published in:
- AI Communications, 2013, v. 26, n. 4, p. 331, doi. 10.3233/AIC-130572
- By:
- Publication type:
- Article
6
Metaheuristic solutions to the 'Job shop scheduling problem with sequence-dependent setup times'.
- Published in:
- AI Communications, 2013, v. 26, n. 4, p. 419, doi. 10.3233/AIC-130571
- By:
- Publication type:
- Article
7
Extracting and validating biclusters from binary datasets.
- Published in:
- AI Communications, 2013, v. 26, n. 4, p. 417, doi. 10.3233/AIC-130570
- By:
- Publication type:
- Article
8
Combining approaches for solving satisfiability problems with qualitative preferences.
- Published in:
- AI Communications, 2013, v. 26, n. 4, p. 395, doi. 10.3233/AIC-130575
- By:
- Publication type:
- Article