Logic Programs, Norms and Action - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642294136, 9783642294143

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reasoning about the Intentions of Agents

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_9 ◽

2012 ◽

pp. 147-171 ◽

Cited By ~ 1

Author(s):

Justin Blount ◽

Michael Gelfond

Download Full-text

Argumentation and the Event Calculus

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_7 ◽

2012 ◽

pp. 103-122 ◽

Cited By ~ 1

Author(s):

Evgenios Hadjisoteriou ◽

Antonis Kakas

Keyword(s):

Event Calculus

Download Full-text

The Scientific Contribution of Marek Sergot

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_2 ◽

2012 ◽

pp. 4-11

Author(s):

Steve Barker ◽

Andrew J. I. Jones ◽

Antonis Kakas ◽

Robert A. Kowalski ◽

Alessio Lomuscio ◽

...

Keyword(s):

Scientific Contribution

Download Full-text

On the Representation of Normative Sentences in FOL

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_15 ◽

2012 ◽

pp. 273-294

Author(s):

Andrew J. I. Jones ◽

Steven O. Kimbrough

Download Full-text

Some Reflections on Two Current Trends in Formal Argumentation

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_14 ◽

2012 ◽

pp. 249-272 ◽

Cited By ~ 7

Author(s):

Henry Prakken

Keyword(s):

Current Trends

Download Full-text

Symbolic Model Checking for Temporal-Epistemic Logic

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_10 ◽

2012 ◽

pp. 172-195 ◽

Cited By ~ 2

Author(s):

Alessio Lomuscio ◽

Wojciech Penczek

Keyword(s):

Model Checking ◽

Epistemic Logic ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Teleo-Reactive Abductive Logic Programs

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_3 ◽

2012 ◽

pp. 12-32 ◽

Cited By ~ 6

Author(s):

Robert A. Kowalski ◽

Fariba Sadri

Keyword(s):

Logic Programs ◽

Abductive Logic

Download Full-text

Reactive Event Calculus for Monitoring Global Computing Applications

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_8 ◽

2012 ◽

pp. 123-146 ◽

Cited By ~ 12

Author(s):

Stefano Bragaglia ◽

Federico Chesani ◽

Paola Mello ◽

Marco Montali ◽

Paolo Torroni

Keyword(s):

Event Calculus ◽

Global Computing

Download Full-text

Deon + : Abduction and Constraints for Normative Reasoning

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_17 ◽

2012 ◽

pp. 308-328 ◽

Cited By ~ 3

Author(s):

Marco Alberti ◽

Marco Gavanelli ◽

Evelina Lamma

Keyword(s):

Normative Reasoning

Download Full-text

Marek Sergot: A Memoir

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_1 ◽

2012 ◽

pp. 1-3

Author(s):

Trevor Bench-Capon

Download Full-text

Logic Programs, Norms and Action - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Reasoning about the Intentions of Agents

Argumentation and the Event Calculus

The Scientific Contribution of Marek Sergot

On the Representation of Normative Sentences in FOL

Some Reflections on Two Current Trends in Formal Argumentation

Symbolic Model Checking for Temporal-Epistemic Logic

Teleo-Reactive Abductive Logic Programs

Reactive Event Calculus for Monitoring Global Computing Applications

Deon + : Abduction and Constraints for Normative Reasoning

Marek Sergot: A Memoir

Logic Programs, Norms and Action - Lecture Notes in Computer Science
Latest Publications