| A general account of argumentation with preferences | 2013/02/01 | English | 103 |
| Nonmonotonic causal theories | 2004/03/01 | English | 103 |
| Counterfactuals | 1986/10/01 | English | 103 |
| Domain-independent planning Representation and plan generation | 1984/04/01 | English | 102 |
| Conflict-driven answer set solving: From theory to practice | 2012/08/01 | English | 102 |
| Prolegomena to a theory of mechanized formal reasoning | 1980/04/01 | English | 102 |
| On the relation between default and autoepistemic logic | 1988/07/01 | English | 101 |
| ASSAT: computing answer sets of a logic program by SAT solvers | 2004/08/01 | English | 100 |
| Foundations of a functional approach to knowledge representation | 1984/07/01 | English | 98 |
| Meta-rules: Reasoning about control | 1980/12/01 | English | 98 |
| Controlling cooperative problem solving in industrial multi-agent systems using joint intentions | 1995/06/01 | English | 97 |
| Linear resolution with selection function | 1971/12/01 | English | 96 |
| GUS, a frame-driven dialog system | 1977/04/01 | English | 95 |
| Online Transfer Learning | 2014/11/01 | English | 95 |
| Finding MAPs for belief networks is NP-hard | 1994/08/01 | English | 94 |
| Two views of belief: belief as generalized probability and belief as evidence | 1992/04/01 | English | 94 |
| A preferential, pattern-seeking, Semantics for natural language inference | 1975/01/01 | English | 94 |
| Artificial Paranoia | 1971/01/01 | English | 93 |
| Parameter nets | 1984/04/01 | English | 93 |
| Weighted argument systems: Basic definitions, algorithms, and complexity results | 2011/02/01 | English | 93 |
| All I know: A study in autoepistemic logic | 1990/03/01 | English | 92 |
| Prototypical knowledge for expert systems | 1983/02/01 | English | 92 |
| Problem-solving with diagrammatic representations | 1980/05/01 | English | 92 |
| Interactive transfer of expertise: Acquisition of new inference rules | 1979/08/01 | English | 91 |
| Making preferences more active | 1978/12/01 | English | 91 |
| Information-geometric approach to inferring causal directions | 2012/05/01 | English | 90 |
| Semantic linking through spaces for cyber-physical-socio intelligence: A methodology | 2011/04/01 | English | 90 |
| On principle-based evaluation of extension-based argumentation semantics | 2007/07/01 | English | 90 |
| Neural network ensembles: evaluation of aggregation algorithms | 2005/04/01 | English | 89 |
| On understanding computers and cognition: A new foundation for design | 1987/02/01 | English | 89 |