58 search results - page 8 / 12 » A Formal Concept View of Abstract Argumentation |
143
click to vote
AGI
2011
14 years 2 months ago
2011
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...
ICCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...
107
click to vote
IFIPTCS
2010
14 years 8 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
AAAI
2008
15 years 21 days ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
SELMAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...