Leite, Joao Alexandre.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
by:
Leite, Joao Alexandre.; International Workshop on Declarative Agent Languages and Technologies (2004 :); SpringerLink (Online service)
(Language materials, printed)
Declarative agent languages and technologies = first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers /
by:
Leite, Joao Alexandre.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Logics in artificial intelligence = 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /
by:
Leite, Joao Alexandre.; SpringerLink (Online service); Alferes, Jose Julio.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Declarative programming
Computer Communication Networks.
Computer Science.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Logic, Symbolic and mathematical
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.