An approach to abstract argumentation with recursive attack and support | 2015/12/01 | English | 11 |
A domain specific language for describing diverse systems of dialogue | 2012/12/01 | English | 10 |
Conflicting imperatives and dyadic deontic logic | 2005/09/01 | English | 10 |
Agent strands in the action language nC+ | 2008/06/01 | English | 10 |
On the complexity of bribery and manipulation in tournaments with uncertain information | 2015/12/01 | English | 10 |
Learning discrete Bayesian network parameters from continuous data streams: What is the best strategy? | 2015/12/01 | English | 10 |
Hypothesizing about signaling networks | 2009/09/01 | English | 10 |
Flexible software architectures for ontology-based information systems | 2009/03/01 | English | 10 |
Computer supported mathematics with Ωmega | 2006/12/01 | English | 10 |
A procedural criterion for final derivability in inconsistency-adaptive logics | 2005/03/01 | English | 10 |
Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack | 2009/12/01 | English | 10 |
The many faces of counts-as: A formal analysis of constitutive rules | 2008/06/01 | English | 10 |
Are there degrees of belief? | 2003/06/01 | English | 10 |
The eco-cognitive model of abduction II | 2016/05/01 | English | 9 |
Possibilistic reasoning with partially ordered beliefs | 2015/12/01 | English | 9 |
Integrating external deduction tools with ACL2 | 2009/03/01 | English | 9 |
Conventional controller design based on Takagi–Sugeno fuzzy models | 2015/06/01 | English | 9 |
On classifying abduction | 2015/09/01 | English | 9 |
Inversive meadows and divisive meadows | 2011/09/01 | English | 9 |
Praise, blame, obligation, and DWE: Toward a framework for classical supererogation and kin | 2011/06/01 | English | 9 |
From Bayesian epistemology to inductive logic | 2013/12/01 | English | 9 |
Can logic be combined with probability? Probably | 2009/06/01 | English | 9 |
Statistics between inductive logic and empirical science | 2009/06/01 | English | 9 |
Relational semantics for full linear logic | 2014/03/01 | English | 9 |
Automatic non-linear analysis of non-invasive writing signals, applied to essential tremor | 2016/07/01 | English | 9 |
TopologicalFLew-algebras | 2015/09/01 | English | 9 |
Ordered domain algebras | 2013/09/01 | English | 9 |
A logical calculus for controlled monotonicity | 2014/12/01 | English | 8 |
Agential obligation as non-agential personal obligation plus agency | 2004/03/01 | English | 8 |
Some comments on history based structures | 2007/12/01 | English | 8 |