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

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

4
(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

2012 ◽  
pp. 147-171 ◽  
Author(s):  
Justin Blount ◽  
Michael Gelfond

Argumentation and the Event Calculus

2012 ◽  
pp. 103-122 ◽  
Author(s):  
Evgenios Hadjisoteriou ◽  
Antonis Kakas
Keyword(s):  
Event Calculus

The Scientific Contribution of Marek Sergot

2012 ◽  
pp. 4-11
Author(s):  
Steve Barker ◽  
Andrew J. I. Jones ◽  
Antonis Kakas ◽  
Robert A. Kowalski ◽  
Alessio Lomuscio ◽  
...  
Keyword(s):  
Scientific Contribution

On the Representation of Normative Sentences in FOL

2012 ◽  
pp. 273-294
Author(s):  
Andrew J. I. Jones ◽  
Steven O. Kimbrough

Symbolic Model Checking for Temporal-Epistemic Logic

2012 ◽  
pp. 172-195 ◽  
Author(s):  
Alessio Lomuscio ◽  
Wojciech Penczek
Keyword(s):  
Model Checking ◽  
Epistemic Logic ◽  
Symbolic Model Checking ◽  
Symbolic Model

scholarly journals Teleo-Reactive Abductive Logic Programs

2012 ◽  
pp. 12-32 ◽  
Author(s):  
Robert A. Kowalski ◽  
Fariba Sadri
Keyword(s):  
Logic Programs ◽  
Abductive Logic

Reactive Event Calculus for Monitoring Global Computing Applications

2012 ◽  
pp. 123-146 ◽  
Author(s):  
Stefano Bragaglia ◽  
Federico Chesani ◽  
Paola Mello ◽  
Marco Montali ◽  
Paolo Torroni
Keyword(s):  
Event Calculus ◽  
Global Computing

Deon  + : Abduction and Constraints for Normative Reasoning

2012 ◽  
pp. 308-328 ◽  
Author(s):  
Marco Alberti ◽  
Marco Gavanelli ◽  
Evelina Lamma
Keyword(s):  
Normative Reasoning

Marek Sergot: A Memoir

2012 ◽  
pp. 1-3
Author(s):  
Trevor Bench-Capon
Load More ...
Sign in / Sign up

Export Citation Format

Share Document