158 search results - page 3 / 32 » Space Efficiency of Propositional Knowledge Representation F... |
LOGCOM
2007
13 years 6 months ago
2007
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...
AAAI
2006
13 years 7 months ago
2006
We present tractable, exact algorithms for learning actions' effects and preconditions in partially observable domains. Our algorithms maintain a propositional logical repres...
ER
2003
Springer
13 years 11 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
C3S2E
2010
ACM
13 years 7 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
ICFCA
2010
Springer
13 years 11 months ago
2010
Springer
A feature of Formal Concept Analysis is the use of the line diagram of the concept lattice to visualize a conceptual space. The line diagram is a specialized form of Hasse diagram ...