Ruben Duarte Viegas

According to our database, Ruben Duarte Viegas authored at least 5 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

GRASPER: constraint reasoning with graphs.

Ruben Duarte Viegas, Francisco Azevedo

Int. J. Reason. based Intell. Syst., 2010

2009

Lazy Constraint Imposing for Improving the Path Constraint.

Ruben Duarte Viegas, Francisco Azevedo

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

2008

Using Indexed Finite Set Variables for Set Bounds Propagation.

Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo

Proceedings of the Advances in Artificial Intelligence, 2008

2007

Architectural Design via Declarative Programming.

Luís Moniz Pereira, Ruben Duarte Viegas

Proceedings of the ICEIS 2007, 2007

GRASPER.

Ruben Duarte Viegas, Francisco Azevedo

Proceedings of the Progress in Artificial Intelligence, 2007