Computational Logic in Multi-agent Systems
... International Workshop, CLIMA ... : Revised Selected and Invited Papers
- ISBN 10 : UOM:39015064352316
- Judul : Computational Logic in Multi-agent Systems
- Sub Judul : ... International Workshop, CLIMA ... : Revised Selected and Invited Papers
- Pengarang : ,
- Kategori : Computer logic
- Bahasa : en
- Tahun : 2005
- Google Book : http://books.google.co.id/books?id=K99QAAAAMAAJ&dq=intitle:Logic+and+Legal+Reasoning&hl=&source=gbs_api
-
Ketersediaan :
we can prove agı and ag2 interoperability , that is they will produce a legal conversation , when interacting with ... by performing reasoning steps that are analogous to the previous proof , it is possible to prove that a common legal ...