Inference with relational theories over infinite domains

Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22

Volumn , Issue , 2009, Pages 21-26

  Cassimatis, Nicholas L ^a   Murugesan, Arthi ^a   Bignoli, Perrin G ^a  

^a RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFINITE DOMAINS; LANGUAGE UNDERSTANDING; MACHINE VISION; RELATIONAL THEORIES; SATISFIABILITY; SATISFIABILITY PROBLEMS; UNKNOWN OBJECTS;

COMPUTER VISION;

ARTIFICIAL INTELLIGENCE;

EID: 70350463548     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Borchers, B., & Furman, J. (1999). A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems. Journal of Combinatorial Optimization, 2, 299-306.
2. Domingos, P., & Richardson, M. (2006). Markov Logic Networks. Machine Learning, 62, 107-136.
3. Een, N., & Sorensson, N. (2005). MiniSat-A SAT solver with conflict-clause minimization. In SAT 2005 Competition.
4. Heras, F., Larrosa, J., & Oliveras, A. (2008). MiniMaxSAT: An Efficient Weighted Max-SAT Solve. Journal of Artificial Intelligence Research 31, 1-32.
5. Jackson, D. (2000). Automating first-order relational logic. Paper presented at the ACM SIGSOFT Symposium on Foundations of Software Engineering.
6. Kersting, K., & De Raedt, L. (2001). Towards combining inductive logic programming with Bayesian networks. Paper presented at the ILP-01.
7. Milch, B., Marthi, B., Sontag, D., Russell, S., & Ong, D. L. (2005). Approximate inference for infinite contingent Bayesian networks. Paper presented at the AISTATS-05.
8. Muggleton, S. (1996). Stochastic logic programs. In L. D. Raedt (Ed.), Advances in inductive logic programming (pp. 254-264): IOS Press.
9. Selman, B., Levesque, H., & Mitchell, D. (1992). A new method for solving hard satisfiability problems. Paper presented at the Tenth National Conference on Artificial Intelligence.
10. Singla, P., & Domingos, P. (2006). Memory-Efficient Inference in Relational Domains. Paper presented at AAAI-06.