PLINI: A probabilistic logic program framework for inconsistent news information

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

Volumn 6565 LNAI, Issue , 2011, Pages 347-376

  Albanese, Massimiliano ^a   Broecheler, Matthias ^a   Grant, John ^a,b   Martinez, Maria Vanina ^a   Subrahmanian, V S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

^b TOWSON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANNOTATED PROGRAM; EVENT DESCRIPTION; FIX-POINT SEMANTICS; FORMAL SEMANTICS; INCONSISTENCY MANAGEMENT; LINGUISTIC TERMS; MODEL-THEORETIC SEMANTICS; NEWS INFORMATION; NEWS SOURCES; PARACONSISTENT LOGIC; PROBABILISTIC LOGIC PROGRAMS; STANDARD MACHINES; TRAINING DATA;

COMPUTATION THEORY; FORMAL METHODS; KNOWLEDGE REPRESENTATION; LEARNING ALGORITHMS; LINGUISTICS; LOGIC PROGRAMMING; SEMANTICS; COMPUTER CIRCUITS; LEARNING SYSTEMS;

PROBABILISTIC LOGICS;

EID: 79956308350     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-20832-4_23     Document Type: Article

References (25)

1. Belnap, N.: A useful four valued logic. Modern Uses of Many Valued Logic, 8-37 (1977)
2. Benferhat, S., Dubois, D., Prade, H.: Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study part 1: The flat case. Studia Logica 58, 17-45 (1997)
3. Besnard, P., Schaub, T.: Signed systems for paraconsistent reasoning. Journal of Automated Reasoning 20 (1-2), 191-213 (1998) (Pubitemid 128510951)
4. Blair, H. A., Subrahmanian, V. S.: Paraconsistent logic programming. Theoretical Computer Science 68 (2), 135-154 (1989) (Pubitemid 20675597)
5. da Costa, N.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15 (4), 497-510 (1974)
6. Fitting, M.: Bilattices and the semantics of logic programming. Journal of Logic Programming 11 (2), 91-116 (1991)
7. Flesca, S., Furfaro, F., Parisi, F.: Consistent query answers on numerical databases under aggregate constraints. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol. 3774, pp. 279-294. Springer, Heidelberg (2005) (Pubitemid 43943743)
8. Flesca, S., Furfaro, F., Parisi, F.: Preferred database repairs under aggregate constraints. In: Prade, H., Subrahmanian, V. S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 215-229. Springer, Heidelberg (2007)
9. Kifer, M., Subrahmanian, V. S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12 (3 & 4), 335-367 (1992)
10. Albanese, M., Subrahmanian, V. S.: T-REX: A domain-independent system for automated cultural information extraction. In: Proceedings of the First International Conference on Computational Cultural Dynamics, pp. 2-8. AAAI Press, Menlo Park (2007)
11. Cohn, A. G.: A many sorted logic with possibly empty sorts. In: Proceedings of the 11th International Conference on Automated Deduction, pp. 633-647 (1992)
12. Munkres, J.: Topology: A First Course. Prentice Hall, Englewood Cliffs (1974)
13. Ng, R., Subrahmanian, V. S.: Probabilistic logic programming. Information and Computation 101 (2), 150-201 (1992)
14. Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1987)
15. Ozcan, F., Subrahmanian, V. S.: Partitioning activities for agents. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence, pp. 1218-1228 (2001)
16. Bansal, N., Blum, A., Chawla, S.: Correlation clustering. Machine Learning 56 (1), 89-113 (2004)
17. Demaine, E. D., Immorlica, N.: Correlation clustering with partial information. In: Arora, S., Jansen, K., Rolim, J. D. P., Sahai, A. (eds.) RANDOM 2003 and APPROX 2003. LNCS, vol. 2764, pp. 71-80. Springer, Heidelberg (2003)
18. Bhattacharya, I., Getoor, L.: Collective entity resolution in relational data. ACM Transactions on Knowledge Discovery from Data (TKDD) 1 (1) (2007)
19. Heckerman, D.: A tutorial on learning with bayesian networks. Proceedings of the NATO Advanced Study Institute on Learning in Graphical Models 89, 301-354 (1998)
20. Cristianini, N., Shawe-Taylor, J.: An introduction to support vector machines. Cambridge University Press, Cambridge (2000)
21. Ng, A. Y., Jordan, M. I.: On discriminative vs. generative classifiers: A comparison of logistic regression and naive bayes. Advances in Neural Information Processing Systems 2, 841-848 (2002)
22. Getoor, L., Diehl, C. P.: Link mining: a survey. ACM SIGKDD Explorations Newsletter 7 (2), 3-12 (2005)
23. Sen, P., Namata, G., Bilgic, M., Getoor, L., Gallagher, B., Eliassi-Rad, T.: Collective classification in network data. AI Magazine 29 (3), 93 (2008)
24. Murphy, K., Weiss, Y., Jordan, M. I.: Loopy belief propagation for approximate inference: An empirical study. In: Foo, N. Y. (ed.) AI 1999. LNCS, vol. 1747, pp. 467-475. Springer, Heidelberg (1999)
25. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming, pp. 1070-1080 (1988)