default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Marek J. Sergot 2012
- Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis:
Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7360, Springer 2012, ISBN 978-3-642-29413-6
Marek Sergot: A Memoir
- Trevor J. M. Bench-Capon
:
Marek Sergot: A Memoir. 1-3 - Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen H. Muggleton, Giovanni Sartor:
The Scientific Contribution of Marek Sergot. 4-11
Part I: Logic Programming
- Robert A. Kowalski, Fariba Sadri:
Teleo-Reactive Abductive Logic Programs. 12-32 - Paolo Mancarella, Francesca Toni:
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties. 33-51 - Dov M. Gabbay:
What Is Negation as Failure? 52-78
Part II: Temporal Reasoning and Action Languages
- Dario Della Monica, Angelo Montanari, Pietro Sala:
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. 79-102 - Evgenios Hadjisoteriou, Antonis C. Kakas:
Argumentation and the Event Calculus. 103-122 - Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Reactive Event Calculus for Monitoring Global Computing Applications. 123-146 - Justin Blount, Michael Gelfond:
Reasoning about the Intentions of Agents. 147-171 - Alessio Lomuscio, Wojciech Penczek:
Symbolic Model Checking for Temporal-Epistemic Logic. 172-195 - Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
GOAL Agents Instantiate Intention Logic. 196-219
Part III: AI and Law
- Trevor J. M. Bench-Capon:
Open Texture and Argumentation: What Makes an Argument Persuasive? 220-233 - Paul E. Dunne:
Irrationality in Persuasive Argumentation. 234-248 - Henry Prakken:
Some Reflections on Two Current Trends in Formal Argumentation. 249-272
Part IV: Deontic Logic and Norm-Governed Systems
- Andrew J. I. Jones, Steven O. Kimbrough:
On the Representation of Normative Sentences in FOL. 273-294 - Xavier Parent:
Why Be Afraid of Identity? - Comments on Sergot and Prakken's Views. 295-307 - Marco Alberti, Marco Gavanelli, Evelina Lamma:
Deon + : Abduction and Constraints for Normative Reasoning. 308-328 - Paolo Turrini, Xavier Parent, Leendert W. N. van der Torre, Silvano Colombo Tosatto:
Contrary-To-Duties in Games. 329-348
Part V: Logical Approaches to Policies and Authorization
- Steve Barker:
Logical Approaches to Authorization Policies. 349-373 - Naftaly H. Minsky:
Decentralized Governance of Distributed Systems via Interaction Control. 374-400 - Jeremy Pitt:
Managing User-Generated Content as a Knowledge Commons. 401-424
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
