Works matching IS 02182130 AND DT 2001 AND VI 10 AND IP 4
Results: 13
Multiresolution for SAT Checking.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 451, doi. 10.1142/S0218213001000611
- By:
- Publication type:
- Article
Efficient Defeasible Reasoning Systems.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 483, doi. 10.1142/S0218213001000623
- By:
- Publication type:
- Article
Heuristics for a Default Logic Reasoning System.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 503, doi. 10.1142/S0218213001000635
- By:
- Publication type:
- Article
Model Selection Via Meta-Learning: A Comparative Study.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 525, doi. 10.1142/S0218213001000647
- By:
- Publication type:
- Article
Improving Performance of Inductive Models Through an Algorithm and Sample Combination Strategy.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 555, doi. 10.1142/S0218213001000659
- By:
- Publication type:
- Article
An Assumptive Logic Programming Methodology for Parsing.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 573, doi. 10.1142/S0218213001000660
- By:
- Publication type:
- Article
Cognitive Modeling of Spatial Reference for Human-Robot Interaction.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 589, doi. 10.1142/S0218213001000672
- By:
- Publication type:
- Article
The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 613, doi. 10.1142/S0218213001000684
- By:
- Publication type:
- Article
Maintaining Spatial Constraints Using A Dimension Graph Approach.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 639, doi. 10.1142/S0218213001000696
- By:
- Publication type:
- Article
Transforming Supervised Classifiers for Feature Extraction (Extended Version).
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 663, doi. 10.1142/S0218213001000702
- By:
- Publication type:
- Article
Interactive Generalization of a Translation Example Using Queries Based on a Semantic Hierarchy.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 675, doi. 10.1142/S0218213001000714
- By:
- Publication type:
- Article
Visualization Support for User-Centered Model Selection in Knowledge Discovery and Data Mining.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 691, doi. 10.1142/S0218213001000726
- By:
- Publication type:
- Article
Identifying Overlapped Objects for Video Indexing and Modeling in Multimedia Database Systems.
- Published in:
- International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 715, doi. 10.1142/S0218213001000738
- By:
- Publication type:
- Article