Canciones
Cuentos ecologicos y mitológicos
On cumulative default logics
Extending Horn clause logic with implication goals
Specialization of Interaction Protocols in a Temporal Action Logic
Structuring logic programs: a modal approach
Conditional logic of actions and causation
Specifying and verifying interaction protocols in a temporal action logic
Combining negation as failure and embedded implications in logic programs
Iterated Belief Revision and Conditional Logic