What is approximate reasoning?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5341 LNCS, Issue , 2008, Pages 150-164

  Rudolph, Sebastian ^a   Tserendorj, Tuvshintur ^b   Hitzler, Pascal ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

APPROXIMATE ALGORITHMS; APPROXIMATE REASONING; APPROXIMATE REASONING ALGORITHMS; SPEED UP; STATISTICAL COMPARISONS;

APPROXIMATION THEORY;

EID: 57049086399     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88737-9_12     Document Type: Conference Paper

References (19)

1. Fensel, D., Harmelen, F.V.: Unifying reasoning and search to web scale. IEEE Internet Computing 11, 94-96 (2007)
2. Dowling, W.P., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming 1, 267-284 (1984)
3. Horvitz, E.J.: Reasoning about beliefs and actions under computational resource constraints. In: Kanal, L.N., Levitt, T.S., Lemmer, J.F. (eds.) Uncertainty in Artificial Intelligence 3, pp. 301-324. Elsevier, Amsterdam (1987)
4. Selman, B., Kautz, H.A.: Knowledge compilation using Horn approximations. In: Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI 1991), pp. 904-909 (1991)
5. Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artificial Intelligence 74, 249-310 (1995)
6. Cadoli, M., Schaerf, M.: Approximate inference in default reasoning and circumscription. Fundamenta Informaticae 23, 123-143 (1995)
7. Dalal, M.: Anytime clausal reasoning. Annals of Mathematics and Artificial Intelligence 22(3-4), 297-318 (1998)
8. Cadoli, M., Scarcello, F.: Semantical and computational aspects of Horn approximations. Artificial Intelligence 119 (2000)
9. van Harmelen, F., ten Teije, A.: Describing problem solving methods using anytime performance profiles. In: Proceedings of ECAI 2000, Berlin, August 2000, pp. 181-186 (2000)
10. Groot, P., ten Teije, A., van Harmelen, F.: Towards a structured analysis of approximate problem solving: a case study in classification. In: Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Colorado (2004)
11. Stuckenschmidt, H., van Harmelen, F.: Approximating terminological queries. In: Larsen, H., et al. (eds.) FQAS 2002. LNCS (LNAI), vol. 2522. Springer, Heidelberg (2002)
12. Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: DL reasoning with large numbers of individuals. In: Proceedings of the International Workshop on Description Logics, DL 2004, Whistler, Canada, pp. 31-40 (2004)
13. Groot, P., Stuckenschmidt, H., Wache, H.: Approximating description logic classification for semantic web reasoning. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 318-332. Springer, Heidelberg (2005)
14. Groot, P., Stuckenschmidt, H., Wache, H.: Approximating description logic classification for semantic web reasoning. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532. Springer, Heidelberg (2005)
15. Hitzler, P., Vrandecic, D.: Resolution-based approximate reasoning for OWL DL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 383-397. Springer, Heidelberg (2005)
16. Pan, J.Z., Thomas, E.: Approximating OWL-DL ontologies. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, 2007, pp. 1434-1439. AAAI Press, Menlo Park (2007)
17. Wache, H., Groot, P., Stuckenschmidt, H.: Scalable instance retrieval for the semantic web by approximation. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE 2005 Workshops. LNCS, vol. 3807, pp. 245-254. Springer, Heidelberg (2005)
18. Stuckenschmidt, H.: Partial matchmaking using approximate subsumption. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, 2007, pp. 1459-1464. AAAI Press, Menlo Park (2007)
19. Tserendorj, T., Rudolph, S., Krötzsch, M., Hitzler, P.: Approximate OWL reasoning with Screech. In: Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems, RR 2008, October 2008, Karlsruhe, Germany (to appear, 2008)