Reasoning about Knowledge by SAT Solving

2006 International Conference on Computational Intelligence and Security ◽

10.1109/iccias.2006.294192 ◽

2006 ◽

Author(s):

Kaile Su ◽

Qingliang Chen ◽

Xizhong Zheng ◽

Weiya Yue

Keyword(s):

Sat Solving ◽

Reasoning About Knowledge

Download Full-text

Conference on Theoretical Aspects of Reasoning about Knowledge

10.21236/ada232657 ◽

1990 ◽

Author(s):

Moshe Y. Vardi

Keyword(s):

Reasoning About Knowledge

Download Full-text

Reasoning about knowledge of unawareness revisited

Mathematical Social Sciences ◽

10.1016/j.mathsocsci.2014.04.005 ◽

2014 ◽

Vol 70 ◽

pp. 10-22 ◽

Author(s):

Joseph Y. Halpern ◽

Leandro C. Rêgo

Keyword(s):

Reasoning About Knowledge

Download Full-text

Logic-based representation and reasoning about knowledge of constrained resources

Knowledge-Based Systems ◽

10.1016/s0950-7051(96)01057-x ◽

1997 ◽

Vol 10 (2) ◽

pp. 71-80

Author(s):

Young U. Ryu

Keyword(s):

Reasoning About Knowledge

Download Full-text

Cynthia Dwork and Yoram Moses. Knowledge and common knowledge in a Byzantine environment I: crash failures. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 149–169.

Journal of Symbolic Logic ◽

10.1017/s0022481200028723 ◽

1988 ◽

Vol 53 (2) ◽

pp. 666-666

Author(s):

William J. Rapaport

Keyword(s):

Common Knowledge ◽

Crash Failures ◽

Reasoning About Knowledge

Download Full-text

Improving SAT-solving with Machine Learning

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education - SIGCSE '17 ◽

10.1145/3017680.3022464 ◽

2017 ◽

Author(s):

Haoze Wu

Keyword(s):

Machine Learning ◽

Download Full-text

Joseph Y. Halpern. Reasoning about knowledge: an overview. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 1–17.

Journal of Symbolic Logic ◽

10.1017/s0022481200028644 ◽

1988 ◽

Vol 53 (2) ◽

pp. 660-661

Author(s):

William J. Rapaport

Keyword(s):

Reasoning About Knowledge

Download Full-text

Arithmetic reasoning in DPLL-based SAT solving

Proceedings Design, Automation and Test in Europe Conference and Exhibition ◽

10.1109/date.2004.1268823 ◽

2004 ◽

Author(s):

M. Wedler ◽

D. Stoffel ◽

W. Kunz

Keyword(s):

Download Full-text

A Belief Structure for Reasoning about Knowledge

Lecture Notes in Computer Science - Rough Set and Knowledge Technology ◽

10.1007/978-3-642-16248-0_43 ◽

2010 ◽

pp. 288-297 ◽

Author(s):

S. K. M. Wong ◽

Nasser Noroozi

Keyword(s):

Belief Structure ◽

Reasoning About Knowledge

Download Full-text

PaInleSS: A Framework for Parallel SAT Solving

Theory and Applications of Satisfiability Testing – SAT 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66263-3_15 ◽

2017 ◽

pp. 233-250 ◽

Author(s):

Ludovic Le Frioux ◽

Souheib Baarir ◽

Julien Sopena ◽

Fabrice Kordon

Keyword(s):

Download Full-text

SAT-solving in practice

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605923 ◽

2008 ◽

Author(s):

Koen Claessen ◽

Niklas Een ◽

Mary Sheeran ◽

Niklas Sorensson

Keyword(s):

Download Full-text