2008 |
26 | EE | Sébastien Konieczny,
Ramón Pino Pérez:
Confluence Operators.
JELIA 2008: 272-284 |
25 | | Sébastien Konieczny,
Ramón Pino Pérez:
Improvement Operators.
KR 2008: 177-187 |
2006 |
24 | | Isabelle Bloch,
Ramón Pino Pérez,
Carlos Uzcátegui:
Mediation in the Framework of Morpho-Logic.
ECAI 2006: 190-194 |
23 | EE | José Luis Chacón,
Ramón Pino Pérez:
Merging operators: Beyond the finite case.
Information Fusion 7(1): 41-60 (2006) |
2005 |
22 | EE | Sébastien Konieczny,
Ramón Pino Pérez:
Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory.
European Journal of Operational Research 160(3): 785-802 (2005) |
2004 |
21 | | Isabelle Bloch,
Ramón Pino Pérez,
Carlos Uzcátegui:
A Unified Treatment for Knowledge Dynamics.
KR 2004: 329-337 |
20 | EE | José Luis Chacón,
Ramón Pino Pérez:
Logic-based merging: the infinite case.
NMR 2004: 100-108 |
2003 |
19 | EE | Ramón Pino Pérez,
Carlos Uzcátegui:
Preferences and explanations.
Artif. Intell. 149(1): 1-30 (2003) |
2002 |
18 | | Sébastien Konieczny,
Ramón Pino Pérez:
On the Frontier between Arbitration and Majority.
KR 2002: 109-120 |
17 | | Sébastien Konieczny,
Ramón Pino Pérez:
Dynamical revision operators with memory.
NMR 2002: 171-182 |
16 | EE | Sébastien Konieczny,
Ramón Pino Pérez:
Merging Information Under Constraints: A Logical Framework.
J. Log. Comput. 12(5): 773-808 (2002) |
2001 |
15 | EE | Sébastien Konieczny,
Ramón Pino Pérez:
Some Operators for Iterated Revision.
ECSQARU 2001: 498-509 |
14 | EE | Isabelle Bloch,
Ramón Pino Pérez,
Carlos Uzcátegui:
Explanatory Relations Based on Mathematical Morphology.
ECSQARU 2001: 736-747 |
2000 |
13 | | Salem Benferhat,
Sébastien Konieczny,
Odile Papini,
Ramón Pino Pérez:
Iterated Revision by Epistemic States: Axioms, Semantics and Syntax.
ECAI 2000: 13-17 |
12 | | Ramón Pino Pérez,
Carlos Uzcátegui:
Ordering explanations and the structural rules for abduction.
KR 2000: 637-646 |
11 | | Ramón Pino Pérez,
Carlos Uzcátegui:
On Representation Theorems for Nonmonotonic Consequence Relations.
J. Symb. Log. 65(3): 1321-1337 (2000) |
10 | | Sébastien Konieczny,
Ramón Pino Pérez:
A framework for iterated revision.
Journal of Applied Non-Classical Logics 10(3-4): (2000) |
1999 |
9 | EE | Sébastien Konieczny,
Ramón Pino Pérez:
Merging with Integrity Constraints.
ESCQARU 1999: 233-244 |
8 | EE | Ramón Pino Pérez,
Carlos Uzcátegui:
Jumping to Explanations versus Jumping to Conclusions.
Artif. Intell. 111(1-2): 131-169 (1999) |
1998 |
7 | | Sébastien Konieczny,
Ramón Pino Pérez:
On the Logic of Merging.
KR 1998: 488-498 |
6 | EE | Hassan Bezzazi,
Stéphane Janot,
Sébastien Konieczny,
Ramón Pino Pérez:
Analysing Rational Properties of Change Operators Based on Forward Chaining.
Transactions and Change in Logic Databases 1998: 317-339 |
1997 |
5 | | Hassan Bezzazi,
David Makinson,
Ramón Pino Pérez:
Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations.
J. Log. Comput. 7(5): 605-631 (1997) |
1996 |
4 | EE | Hassan Bezzazi,
Ramón Pino Pérez:
Rational Transitivity and its Models.
ISMVL 1996: 160-165 |
1994 |
3 | | Ramón Pino Pérez,
Christian Even:
An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus.
LFCS 1994: 278-290 |
1991 |
2 | | Ramón Pino Pérez:
An Extensional Partial Combinatory Algebra Based on Lamda-Terms.
MFCS 1991: 387-396 |
1989 |
1 | | Ramón Pino Pérez:
Decidability of the Restriction Equational Theory in the Partial Lambda Calculus.
Theor. Comput. Sci. 67(1): 129-139 (1989) |