Silvio do Lago Pereira

According to our database, Silvio do Lago Pereira authored at least 9 papers between 2004 and 2012.

Collaborative distances:

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

2012

A planner agent that tries its best in presence of nondeterminism.

Silvio do Lago Pereira, Leliane Nunes de Barros

J. Appl. Log., 2012

2010

System Design Modification with Actions.

Maria Viviane de Menezes, Silvio do Lago Pereira, Leliane Nunes de Barros

Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

Lamarckian Evolution of Neural Networks Applied to Keystroke Dynamics.

Paulo Henrique Pisani, Silvio do Lago Pereira

Proceedings of the ICEC 2010 - Proceedings of the International Conference on Evolutionary Computation, [part of the International Joint Conference on Computational Intelligence IJCCI 2010], Valencia, Spain, October 24, 2010

2008

A logic-based agent that plans for extended reachability goals.

Silvio do Lago Pereira, Leliane Nunes de Barros

Auton. Agents Multi Agent Syst., 2008

Using alpha-ctl to Specify Complex Planning Goals.

Silvio do Lago Pereira, Leliane Nunes de Barros

Proceedings of the Logic, 2008

Strong Probabilistic Planning.

Silvio do Lago Pereira, Leliane Nunes de Barros, Fábio Gagliardi Cozman

Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008

2007

Planning under uncertainty for extended reachability goals.

Silvio do Lago Pereira

PhD thesis, 2007

2004

High-Level Robot Programming: An Abductive Approach Using Event Calculus.

Silvio do Lago Pereira, Leliane Nunes de Barros

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning.

Silvio do Lago Pereira, Leliane Nunes de Barros

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004