Propositional Encoding

Propositional Encoding is a formal method in propositional logic that represents logical statements or constraints as propositional formulas by mapping problem-specific variables and relationships into a syntactically distinct set of propositions and connectives.

166

Publications

15.3K

Citations

352

Authors

184

Institutions

Publications per year

2017–2026

26

Authors

352

  1. PF
    Peter F. Lovibond

    UNSW Sydney, Australia

    3 publications · 1.6K citations

    3

    h-index

  2. JM
    João Marques‐Silva

    Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Portugal

    3 publications · 109 citations

    3

    h-index

  3. BG
    Bertram Gawronski

    Western University, Canada

    3 publications · 364 citations

    3

    h-index

  4. LP
    Leslie Pack Kaelbling

    Massachusetts Institute of Technology, United States

    3 publications · 77 citations

    3

    h-index

  5. YI
    Yacine Izza

    Université Fédérale de Toulouse Midi-Pyrénées, France

    3 publications · 109 citations

    3

    h-index

1–5 of 352

Venues

  1. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 6 publications · 219 citations

    6

    h-index

  2. 6

    h-index

  3. Psychological Review

    4 publications · 4.4K citations

    4

    h-index

  4. National Conference on Artificial Intelligence

    Conference · 4 publications · 121 citations

    4

    h-index

  5. arXiv (Cornell University)

    Repository · 3 publications · 73 citations

    3

    h-index

1–5