×

zbMATH — the first resource for mathematics

Found 26 Documents (Results 1–26)

100
MathJax
Iyoda, Juliano (ed.) et al., Formal methods: foundations and applications. 16th Brazilian symposium, SBMF 2013, Brasilia, Brazil, September 29 – October 4, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8195, 163-178 (2013).
MSC:  68T42 03B44
PDF BibTeX XML Cite
Full Text: DOI
Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 339-361 (2001).
MSC:  68T01
PDF BibTeX XML Cite
Jennings, Nicholas R. (ed.) et al., Intelligent agents VI. Agent theories, architectures, and languages. 6th international workshop, ATAL ’99. Orlando, FL, USA, July 15-17, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1757, 277-289 (2000).
MSC:  68U99 68T99
PDF BibTeX XML Cite
Meyer, John-Jules Ch. (ed.) et al., Formal models of agents. ESPRIT project model age final workshop. Certosa di Pertignano, Italy, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1760, 8-19 (1999).
PDF BibTeX XML Cite

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification
all top 3
Software