TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 29 records were found in 2.312 seconds
Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem
IJCAI, 1372-1373, 2003
Efficient Consequence Finding
IJCAI, 359-370, 2001
Qualitative Reasoning about Perception and Belief
IJCAI (1), 508-513, 1997
An Analysis of Approximate Knowledge Compilation
IJCAI (1), 830-836, 1995
Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation
KR, 551-561, 1994
Syntactic Characterizations of Belief Change Operators
IJCAI, 540-547, 1993
Deriving Properties of Belief Update from Theories of Action (II)
IJCAI, 732-737, 1993
Computing Knowledge Base Updates
KR, 740-750, 1992