Event Calculus for Reasoning about Erlang Systems

́ndez, Manuel Hern

doi:10.1109/micai.2011.19

Search citation statements

Order By: Relevance

Paper Sections

Select...

Conclusiones1

Citation Types

Supporting

Mentioning

Contrasting

Unclassified

Year Published

2015

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…En un trabajo a futuro, dotaremos con mayores capacidades sensoriales y de razonamiento a los CAs (tales como el razonamiento temporal [2,9]). Para ello, será necesario implementar algunos algoritmos de bases de datos y tratamiento de tiempo, sin menoscabo en los tiempos de reacción.…”

Section: Conclusionesunclassified

Una propuesta de sistemas distribuidos con componentes autónomos distribuidos en SCEL e implementados en Erlang

García

Cedillo-Hernandez²,

Ruiz

et al. 2015

RCS

View full text Add to dashboard Cite

Resumen. SCEL es un formalismo para diseñar sistemas distribuidos con componentes autónomos. Erlang es un lenguaje de programación especializado en el tratamiento de problemas de cómputo distribuido. En este artículo, afirmamos que los programas escritos en Erlang son adecuados para proveer el soporte de software de componentes autónomos tal como están descritos por el formalismo SCEL. Damos una instancia mediante la descripción del núcleo de programación de un componente autónomo típico en un escenario robótico.

show abstract

Section: Conclusionesunclassified