Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642027338, 9783642027345

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Contracts Violation: Justification via Argumentation

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-02734-5_9 ◽

2009 ◽

pp. 132-153

Author(s):

Stefania Costantini ◽

Arianna Tocchio ◽

Panagiota Tsintza

Download Full-text

Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-02734-5_5 ◽

2009 ◽

pp. 57-76 ◽

Cited By ~ 7

Author(s):

Norihiro Kamide

Keyword(s):

Temporal Logic ◽

Linear Time ◽

Cut Elimination ◽

Infinitary Logic ◽

Multi Agent ◽

Linear Time Temporal Logic

Download Full-text

Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-02734-5_8 ◽

2009 ◽

pp. 117-131 ◽

Cited By ~ 1

Author(s):

Cătălin Dima

Keyword(s):

Model Checking ◽

Perfect Recall

Download Full-text

Bounded-Resource Reasoning as (Strong or Classical) Planning

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-02734-5_6 ◽

2009 ◽

pp. 77-96

Author(s):

Alexandre Albore ◽

Natasha Alechina ◽

Piergiorgio Bertoli ◽

Chiara Ghidini ◽

Brian Logan

Keyword(s):

Resource Reasoning

Download Full-text

Easy Yet Hard: Model Checking Strategies of Agents

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-02734-5_1 ◽

2009 ◽

pp. 1-12 ◽

Cited By ~ 4

Author(s):

Wojciech Jamroga

Keyword(s):

Model Checking

Download Full-text

Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-02734-5_10 ◽

2009 ◽

pp. 154-172 ◽

Cited By ~ 7

Author(s):

Phan Minh Dung ◽

Phan Minh Thang ◽

Nguyen Duy Hung

Keyword(s):

Decision Making ◽

Assembly Plant

Download Full-text

Run-Time Semantics of a Language for Programming Social Processes

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-02734-5_4 ◽

2009 ◽

pp. 37-56 ◽

Cited By ~ 3

Author(s):

Juan M. Serrano ◽

Sergio Saugar

Keyword(s):

Social Processes ◽

Time Semantics ◽

Run Time

Download Full-text

Programming Multi-agent Systems

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-02734-5_2 ◽

2009 ◽

pp. 13-16

Author(s):

Mehdi Dastani

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

Verifying Agents’ Conformance with Multiparty Protocols

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-02734-5_3 ◽

2009 ◽

pp. 17-36 ◽

Cited By ~ 3

Author(s):

Laura Giordano ◽

Alberto Martelli

Keyword(s):

Multiparty Protocols

Download Full-text

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-02734-5_7 ◽

2009 ◽

pp. 97-116 ◽

Cited By ~ 6

Author(s):

Marius C. Bujorianu ◽

Manuela L. Bujorianu ◽

Howard Barringer

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Formal Framework ◽

Multi Agent ◽

User Centric

Download Full-text

Lecture Notes in Computer Science - Computational Logic in Multi-Agent SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Contracts Violation: Justification via Argumentation

Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall

Bounded-Resource Reasoning as (Strong or Classical) Planning

Easy Yet Hard: Model Checking Strategies of Agents

Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant

Run-Time Semantics of a Language for Programming Social Processes

Programming Multi-agent Systems

Verifying Agents’ Conformance with Multiparty Protocols

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems
Latest Publications