( en | de | ru )

 

Disambiguation of "Coelho, Helder"

Author of the publication

copydeleteadd this publication to your clipboard
Automated Reasoning in Geometry Theorem Proving with Prolog.

, and . J. Autom. Reason., 2 (4): 329-390 (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Helder Alves

Thomas Helder

Helder Marchetto

Helder Schnittker

Julio Coelho

 

Other publications of authors with the same name

Bilateral Negotiation in a Multi-agent Supply Chain System., and . EC-Web, volume 61 of Lecture Notes in Business Information Processing, page 195-206. Springer, (2010)Bilateral Negotiation in a Multi-Agent Energy Market., , and . ICIC (1), volume 5754 of Lecture Notes in Computer Science, page 655-664. Springer, (2009)Meta-agency and individual power., and . Web Intell. Agent Syst., 7 (4): 333-346 (2009)AMPLIA: A Probabilistic Learning Environment., , , , and . Int. J. Artif. Intell. Educ., 18 (4): 347-373 (2008)An Analysis of the Insertion of Virtual Players in GMABS Methodology Using the Vip-JogoMan Prototype., , and . J. Artif. Soc. Soc. Simul., (2009)From Mental States and Architectures to Agents' Programming., and . IBERAMIA, volume 1484 of Lecture Notes in Computer Science, page 64-75. Springer, (1998)Choice and Institutions in Agent Societies., and . EPIA, volume 1695 of Lecture Notes in Computer Science, page 267-281. Springer, (1999)The Meta Sketch Editor., , and . CADUI, page 201-214. Springer, (2006)Decisions Based upon Multiple Values: The BVG Agent Architecture., and . EPIA, volume 1695 of Lecture Notes in Computer Science, page 297-311. Springer, (1999)Legal Implications of Autonomous Vehicles: What We Know So Far and What's Left to Work On., , , and . EPIA (1), volume 11804 of Lecture Notes in Computer Science, page 287-298. Springer, (2019)