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.
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Programming languages (Electronic computers)
Computer Science.
Declarative programming
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical