The Carneades model of argument and burden of proof

Dilemmas in a general theory of planning

Horst W. J. Rittel, Melvin M. Webber · Policy Sciences · 1973 · 14.9K citations

Game Theory, Management, Planning Practice +4

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Phan Minh Dũng · Artificial Intelligence · 1995 · 4.2K citations

Non-classical Logic, Engineering, Reasoning System +12

The Encyclopedia of Philosophy.

Paul Edwards · The Philosophical Quarterly · 1968 · 2.1K citations

Philosophy Of Play, Humanities, Philosophy Of Reason +14

A truth maintenance system

Jon Doyle · Artificial Intelligence · 1979 · 1.8K citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +8

An assumption-based TMS

Johan de Kleer · Artificial Intelligence · 1986 · 1.7K citations

Engineering, Automated Reasoning, Probabilistic Verification +7