output
20042024
most citedSolving Linux Upgradeability Problems Using Boolean Optimization

46 citations

researchers with a paper here
collaborating institutions
Showing 2012Show all

2 papers · 1 filter

cs.AI2012

A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge

Carlos Chesnevar, Guillermo Simari, Teresa Alsinet +1

Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. D…

physics.chem-ph2012★ 27 cited

Ehrenfest dynamics is purity non-preserving: a necessary ingredient for decoherence

J. L. Alonso, J. Clemente-Gallardo, J. C. Cuchí +2

We discuss the evolution of purity in mixed quantum/classical approaches to electronic nonadiabatic dynamics in the context of the Ehrenfest model. As it is impossible to exactly d…