Engineering Societies in the Agents World VI - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540344513, 9783540344520
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Developing Multi Agent Systems on Semantic Web Environment Using SEAGENT Platform

2006 ◽  
pp. 1-13 ◽  
Author(s):  
Oguz Dikenelli ◽  
Riza Cenk Erdur ◽  
Geylani Kardas ◽  
Özgür Gümüs ◽  
Inanç Seylan ◽  
...  
Keyword(s):  
Semantic Web ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Web Environment ◽  
Multi Agent

Security Protocols Verification in Abductive Logic Programming: A Case Study

2006 ◽  
pp. 106-124 ◽  
Author(s):  
Marco Alberti ◽  
Federico Chesani ◽  
Marco Gavanelli ◽  
Evelina Lamma ◽  
Paola Mello ◽  
...  
Keyword(s):  
Logic Programming ◽  
Security Protocols ◽  
Abductive Logic ◽  
Abductive Logic Programming

SODA: A Roadmap to Artefacts

2006 ◽  
pp. 49-62 ◽  
Author(s):  
Ambra Molesini ◽  
Andrea Omicini ◽  
Enrico Denti ◽  
Alessandro Ricci
Load More ...
Sign in / Sign up

Export Citation Format

Share Document