Sciweavers

Share
IGPL
2010
91views more  IGPL 2010»
8 years 6 months ago
A reason maintenance perspective on relevant Ramsey conditionals
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive...
Haythem O. Ismail
IGPL
2010
142views more  IGPL 2010»
8 years 9 months ago
Logics of Kripke meta-models
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
Sergey Babenyshev, Vladimir V. Rybakov
IGPL
2010
126views more  IGPL 2010»
8 years 9 months ago
The role of goals in belief selection
In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditi...
Guido Boella, Célia da Costa Pereira, Gabri...
IGPL
2010
117views more  IGPL 2010»
8 years 9 months ago
Executable specification of open multi-agent systems
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
Alexander Artikis, Marek J. Sergot
IGPL
2010
101views more  IGPL 2010»
8 years 10 months ago
Does collective rationality entail efficiency?
Collective rationality in its ordinary sense is rationality’s extension to groups. It does not entail efficiency by definition. Showing that it entails efficiency requires a nor...
Paul Weirich
IGPL
2010
156views more  IGPL 2010»
8 years 10 months ago
Fusion of sequent modal logic systems labelled with truth values
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
João Rasga, Karina Roggia, Cristina Sernada...
IGPL
2010
161views more  IGPL 2010»
8 years 10 months ago
Extending the Hegselmann-Krause Model I
Hegselmann and Krause have developed a simple yet powerful computational model for studying the opinion dynamics in societies of epistemically interacting truth-seeking agents. We...
Igor Douven, Alexander Riegler
IGPL
2010
110views more  IGPL 2010»
8 years 10 months ago
Capturing dynamic conceptual frames
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
Rafal Urbaniak
books