×

zbMATH — the first resource for mathematics

Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. (English) Zbl 1241.68007
Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). xx, 425 p. (2012).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Bench-Capon, Trevor, Marek Sergot: a memoir, 1-3 [Zbl 1356.01010]
Barker, Steve; Jones, Andrew J. I.; Kakas, Antonis; Kowalski, Robert A.; Lomuscio, Alessio; Miller, Rob; Muggleton, Stephen; Sartor, Giovanni, The scientific contribution of Marek Sergot, 4-11 [Zbl 1356.01008]
Kowalski, Robert A.; Sadri, Fariba, Teleo-reactive abductive logic programs, 12-32 [Zbl 1356.68033]
Mancarella, Paolo; Toni, Francesca, Semi-negative abductive logic programs with implicative integrity constraints: semantics and properties, 33-51 [Zbl 1356.68034]
Gabbay, Dov M., What is negation as failure?, 52-78 [Zbl 1356.68031]
Della Monica, Dario; Montanari, Angelo; Sala, Pietro, The importance of the past in interval temporal logics: the case of propositional neighborhood logic, 79-102 [Zbl 1356.03061]
Hadjisoteriou, Evgenios; Kakas, Antonis, Argumentation and the event calculus, 103-122 [Zbl 1356.68217]
Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo, Reactive event calculus for monitoring global computing applications, 123-146 [Zbl 1356.68214]
Blount, Justin; Gelfond, Michael, Reasoning about the intentions of agents, 147-171 [Zbl 1356.68213]
Lomuscio, Alessio; Penczek, Wojciech, Symbolic model checking for temporal-epistemic logic, 172-195 [Zbl 1356.68144]
Hindriks, Koen V.; van der Hoek, Wiebe; Meyer, John-Jules Ch., GOAL agents instantiate intention logic, 196-219 [Zbl 1356.68219]
Bench-Capon, Trevor, Open texture and argumentation: what makes an argument persuasive?, 220-233 [Zbl 1356.68212]
Dunne, Paul E., Irrationality in persuasive argumentation, 234-248 [Zbl 1356.68215]
Prakken, Henry, Some reflections on two current trends in formal argumentation, 249-272 [Zbl 1356.68222]
Jones, Andrew J. I.; Kimbrough, Steven O., On the representation of normative sentences in FOL, 273-294 [Zbl 1356.68032]
Parent, Xavier, Why be afraid of identity? Comments on Sergot and Prakken’s views, 295-307 [Zbl 1356.03021]
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina, \(\mathit{Deon}^{ + }\): abduction and constraints for normative reasoning, 308-328 [Zbl 1356.68211]
Turrini, Paolo; Parent, Xavier; van der Torre, Leendert; Colombo Tosatto, Silvano, Contrary-to-duties in games, 329-348 [Zbl 1356.03066]
Barker, Steve, Logical approaches to authorization policies, 349-373 [Zbl 1356.94088]
Minsky, Naftaly H., Decentralized governance of distributed systems via interaction control, 374-400 [Zbl 1356.68019]
Pitt, Jeremy, Managing user-generated content as a knowledge commons, 401-424 [Zbl 1356.68230]
MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N17 Logic programming
68T27 Logic in artificial intelligence
00B30 Festschriften
Biographic References:
Sergot, Marek J.
PDF BibTeX XML Cite
Full Text: DOI