Result 1 to 20 of 896 total
On the algebra of regular sets. (English)
Ann. Math. Artif. Intell. 65, No. 1, 25-60 (2012).
1
A connection between the Cantor-bendixson derivative and the well-founded semantics of finite logic programs. (English)
Ann. Math. Artif. Intell. 65, No. 1, 1-24 (2012).
2
Foreword on the relationship of computer algebra with mathematics and physics. (English)
Ann. Math. Artif. Intell. 64, No. 4, 337-342 (2012).
3
Abstracting symbolic matrices. (English)
Ann. Math. Artif. Intell. 64, No. 4, 343-368 (2012).
4
Homological spanning forest framework for 2D image analysis. (English)
Ann. Math. Artif. Intell. 64, No. 4, 385-409 (2012).
5
Symmetries of knowledge bases. (English)
Ann. Math. Artif. Intell. 64, No. 4, 369-383 (2012).
6
Betti numbers of polynomial hierarchical models for experimental designs. (English)
Ann. Math. Artif. Intell. 64, No. 4, 411-426 (2012).
7
Formalization of a normalization theorem in simplicial topology. (English)
Ann. Math. Artif. Intell. 64, No. 1, 1-37 (2012).
8
Exception diagnosis in multiagent contract executions. (English)
Ann. Math. Artif. Intell. 64, No. 1, 73-107 (2012).
9
A general method for deciding about logically constrained issues. (English)
Ann. Math. Artif. Intell. 64, No. 1, 39-72 (2012).
10
Producing and verifying extremely large propositional refutations. (English)
Ann. Math. Artif. Intell. 65, No. 4, 329-372 (2012).
11
An alternative representation of fractal gene regulatory networks facilitating analysis and interpretation. (English)
Ann. Math. Artif. Intell. 65, No. 4, 285-316 (2012).
12
Qualitative and quantitative conditions for the transitivity of perceived causation: theoretical and experimental results. (English)
Ann. Math. Artif. Intell. 64, No. 2-3, 311-333 (2012).
13
Focused most probable world computations in probabilistic logic programs. (English)
Ann. Math. Artif. Intell. 64, No. 2-3, 113-143 (2012).
14
Probabilistic query answering over inconsistent databases. (English)
Ann. Math. Artif. Intell. 64, No. 2-3, 185-207 (2012).
15
Prioritized repairing and consistent query answering in relational databases. (English)
Ann. Math. Artif. Intell. 64, No. 2-3, 209-246 (2012).
16
Evaluating trustworthiness from past performances: interval-based approaches. (English)
Ann. Math. Artif. Intell. 64, No. 2-3, 247-268 (2012).
17
Inference in possibilistic network classifiers under uncertain observations. (English)
Ann. Math. Artif. Intell. 64, No. 2-3, 269-309 (2012).
18
Special issue: Revised and selected papers based on the presentations at the 2nd international conference on scalable uncertainty management (SUM 2008), Naples, Italy, October 1‒3, 2008. (English)
Ann. Math. Artif. Intell. 64, No. 2-3, 109-333 (2012).
19
Numerical treatment of nonlinear Emden-Fowler equation using stochastic technique. (English)
Ann. Math. Artif. Intell. 63, No. 2, 185-207 (2011).
20
Result 1 to 20 of 896 total
Start
Contact
Print
General Help
