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
Parents
166
Acquisition of cognitive skill.
John R. Anderson · Psychological Review · 1982 · 3.5K citations
Social Sciences, Educational Psychology, Cognitive Development +15
Robert C. Roberts · The Philosophical Review · 1988 · 527 citations
Cognitive processes in propositional reasoning.
Lance J. Rips · Psychological Review · 1983 · 450 citations
1–5 of 166
352
3
h-index
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Portugal
3 publications · 109 citations
3
h-index
3
h-index
Massachusetts Institute of Technology, United States
3 publications · 77 citations
3
h-index
3
h-index
1–5 of 352
184

Centre National de la Recherche Scientifique
Paris, France
7 h-index
8 publications
242 citations
Institut de Recherche en Informatique de Toulouse
Toulouse, France
6 h-index
11 publications
324 citations
University of California, Los Angeles
Los Angeles, United States
5 h-index
7 publications
557 citations

Université Toulouse III - Paul Sabatier
Toulouse, France
5 h-index
10 publications
286 citations
Université Toulouse - Jean Jaurès
Toulouse, France
5 h-index
10 publications
286 citations
Institut Polytechnique de Bordeaux
Bordeaux, France
5 h-index
10 publications
286 citations

Université Toulouse-I-Capitole
Toulouse, France
5 h-index
10 publications
286 citations

University of Toronto
Toronto, Canada
4 h-index
6 publications
730 citations
1–8 of 184
Conference · 6 publications · 219 citations
6
h-index
6 publications · 295 citations
6
h-index
4 publications · 4.4K citations
4
h-index
Conference · 4 publications · 121 citations
4
h-index
Repository · 3 publications · 73 citations
3
h-index
1–5