Embedding boolean expressions into logic programming

Wolfram Büttner; Helmut Simonis

doi:10.1016/s0747-7171(87)80065-2

ScienceGate Book Chapters

JOURNAL ARTICLE

Embedding boolean expressions into logic programming

Wolfram Büttner Helmut Simonis

Year: 1987 Journal: Journal of Symbolic Computation Vol: 4 (2)Pages: 191-205 Publisher: Elsevier BV

DOI: 10.1016/s0747-7171(87)80065-2

Get Full-Text PDF Get Analytical Report

Keywords:

Boolean expression Mathematics Product term Boolean circuit Two-element Boolean algebra Parity function Embedding Complete Boolean algebra Boolean function Theoretical computer science Algebra over a field Discrete mathematics Computer science Artificial intelligence Pure mathematics

Metrics

112

Cited By

9.68

FWCI (Field Weighted Citation Impact)

Refs

0.99

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

semigroups and automata theory

Physical Sciences → Computer Science → Computational Theory and Mathematics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Embedding boolean expressions into logic programming

Metrics

Citation History

Topics

Related Documents

Embedding defeasible logic into logic programming

Hardware verification, Boolean logic programming, Boolean functional programming

Boolean Expressions, Logic, and Proof

Programming Boolean expressions for testability

Boolean Expressions, Logic, and Proof