Vivek Nigam


AuthID: R-006-E1M

Publicações a aguardarem confirmação

1
TITLE: Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
AUTHORS: Vivek Nigam; Tajana Ban Kirigin; Carolyn L Talcott; Joshua D Guttman; Stepan Kuznetsov; Boon Thau Loo; Mitsuhiro Okada;
PUBLISHED: 2020, SOURCE: Logic, Language, and Security, VOLUME: 12300
INDEXED IN: DBLP
2
3
TITLE: Preface
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2016, SOURCE: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016, VOLUME: 332
INDEXED IN: DBLP
4
TITLE: Adding knowledge updates to 3APL
AUTHORS: Vivek Nigam; Joao Leite ;
PUBLISHED: 2007, SOURCE: 4th International Workshop on Programming Multi-Agent Systems in PROGRAMMING MULTI-AGENT SYSTEMS, VOLUME: 4411
INDEXED IN: Scopus WOS
5
TITLE: A Dynamic Logic Programming based system for agents with declarative goals
AUTHORS: Vivek Nigam; Joao Leite ;
PUBLISHED: 2006, SOURCE: Conference on Precision Electromagnetic Measurements (CPEM 06) in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, VOLUME: 4237
INDEXED IN: WOS

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service