Determination of Topological Equivalence Classes of Atoms and Bonds in C20-C60 Fullerenes Using a New Prolog Coding Program.
Thierry LaidboeurDaniel Cabrol-BassOvidiu IvanciucPublished in: J. Chem. Inf. Comput. Sci. (1996)
Keyphrases
- equivalence classes
- prolog programs
- equivalence class
- logic programs
- logic programming
- bayesian network structures
- coding scheme
- linear combination
- directed acyclic graph
- coding method
- computer programs
- answer sets
- semantics of logic programs
- probability distribution
- bayesian networks
- information processing
- programming language
- knowledge representation
- programs written
- expert systems