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

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642406232, 9783642406249

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Sequent-Based Representation of Logical Argumentation

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

10.1007/978-3-642-40624-9_5 ◽

2013 ◽

pp. 69-85 ◽

Author(s):

Ofer Arieli

Download Full-text

Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL

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

10.1007/978-3-642-40624-9_18 ◽

2013 ◽

pp. 290-306 ◽

Author(s):

Chitta Baral ◽

Gregory Gelfond ◽

Enrico Pontelli ◽

Tran Cao Son

Keyword(s):

State Constraints ◽

Action Language ◽

Download Full-text

From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences

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

10.1007/978-3-642-40624-9_1 ◽

2013 ◽

pp. 1-17 ◽

Author(s):

Elena Cabrio ◽

Sara Tonelli ◽

Serena Villata

Keyword(s):

Discourse Analysis ◽

Argumentation Schemes

Download Full-text

External Transaction Logic with Automatic Compensations

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

10.1007/978-3-642-40624-9_15 ◽

2013 ◽

pp. 239-255 ◽

Author(s):

Ana Sofia Gomes ◽

José Júlio Alferes

Keyword(s):

Transaction Logic

Download Full-text

Using Agent JPF to Build Models for Other Model Checkers

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

10.1007/978-3-642-40624-9_17 ◽

2013 ◽

pp. 273-289 ◽

Author(s):

Louise A. Dennis ◽

Michael Fisher ◽

Matt Webster

Download Full-text

Computing the Grounded Semantics in all the Subgraphs of an Argumentation Framework: An Empirical Evaluation

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

10.1007/978-3-642-40624-9_8 ◽

2013 ◽

pp. 119-137 ◽

Author(s):

Pierpaolo Dondio

Keyword(s):

Empirical Evaluation ◽

Argumentation Framework ◽

Grounded Semantics

Download Full-text

Instantiating Knowledge Bases in Abstract Dialectical Frameworks

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

10.1007/978-3-642-40624-9_6 ◽

2013 ◽

pp. 86-101 ◽

Author(s):

Hannes Strass

Keyword(s):

Knowledge Bases

Download Full-text

On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks

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

10.1007/978-3-642-40624-9_3 ◽

2013 ◽

pp. 34-50 ◽

Author(s):

Adam Wyner ◽

Trevor Bench-Capon ◽

Paul Dunne

Keyword(s):

Knowledge Bases ◽

Abstract Argumentation

Download Full-text

Perceiving Rules under Incomplete and Inconsistent Information

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

10.1007/978-3-642-40624-9_16 ◽

2013 ◽

pp. 256-272 ◽

Author(s):

Barbara Dunin-Kęplicz ◽

Alina Strachocka

Keyword(s):

Inconsistent Information

Download Full-text

Time Is Up! – Norms with Deadlines in Action Languages

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

10.1007/978-3-642-40624-9_14 ◽

2013 ◽

pp. 223-238 ◽

Author(s):

Matthias Knorr ◽

Alfredo Gabaldon ◽

Ricardo Gonçalves ◽

João Leite ◽

Martin Slota

Keyword(s):

Action Languages

Download Full-text