Sciweavers

IGPL
2010
120views more  IGPL 2010»
13 years 3 months ago
A complete axiom set for Hansson's deontic logic DSDL2
The main contribution of this paper is a (strong) completeness result for an axiomatization of Hansson [13]’s deontic system DSDL2, whose semantics involves a non-necessarily tr...
Xavier Parent
IGPL
2010
158views more  IGPL 2010»
13 years 3 months ago
Ontology-revision operators based on reinterpretation
Communication between natural or artificial agents relies on the use of a common vocabulary. Since sharing terms does not necessarily imply that the terms have exactly the same m...
Carola Eschenbach, Özgür L. Öz&cced...
IGPL
2010
92views more  IGPL 2010»
13 years 3 months ago
The weight of competence under a realistic loss function
In many scientific, economic and policy-related problems, pieces of information from different sources have to be aggregated. Typically, the sources are not equally competent. T...
Stephan Hartmann, Jan Sprenger
IGPL
2010
86views more  IGPL 2010»
13 years 3 months ago
Perspectives and challenges for recurrent neural network training
Marco Gori, Barbara Hammer, Pascal Hitzler, Guenth...
IGPL
2010
82views more  IGPL 2010»
13 years 3 months ago
Multimodal and intuitionistic logics in simple type theory
Christoph Benzmüller, Lawrence C. Paulson
IGPL
2010
97views more  IGPL 2010»
13 years 3 months ago
A symbolic/subsymbolic interface protocol for cognitive modeling
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
Patrick Simen, Thad A. Polk
IGPL
2010
109views more  IGPL 2010»
13 years 3 months ago
Deductive coherence and norm adoption
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
Sindhu Joseph, Carles Sierra, W. Marco Schorlemmer...
IGPL
2010
98views more  IGPL 2010»
13 years 3 months ago
Collective trust and normative agents
Clara Smith, Antonino Rotolo
IGPL
2010
111views more  IGPL 2010»
13 years 3 months ago
A logic of trust and reputation
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
Andreas Herzig, Emiliano Lorini, Jomi Fred Hü...