Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.
Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente
Marek Sergot: A Memoir.- The Scientific Contribution of Marek Sergot.- Teleo-Reactive Abductive Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.- What Is Negation as Failure?.- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.- Argumentation and the Event Calculus.- Reactive Event Calculus for Monitoring Global Computing Applications.- Reasoning about the Intentions of Agents.- Symbolic Model Checking for Temporal-Epistemic Logic.- GOAL Agents Instantiate Intention Logic.- Open Texture and Argumentation: What Makes an Argument Persuasive?.- Irrationality in Persuasive Argumentation.- Some Reflections on Two Current Trends in Formal Argumentation.- On the Representation of Normative Sentences in FOL.- Why Be Afraid of Identity? Comments on Sergot and Prakken’s Views.- Deon+: Abduction and Constraints for Normative Reasoning.- Contrary-To-Duties in Games.- Logical Approaches to Authorization Policies.- Decentralized Governance of Distributed Systems via Interaction Control.- Managing User-Generated Content as a Knowledge Commons.
The Scientific Contribution of Marek Sergot.- Teleo-Reactive Abductive Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.- What Is Negation as Failure?.- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.- Argumentation and the Event Calculus.- Reactive Event Calculus for Monitoring Global Computing Applications.- Reasoning about the Intentions of Agents.- Symbolic Model Checking for Temporal-Epistemic Logic.- GOAL Agents Instantiate Intention Logic.- Open Texture and Argumentation: What Makes an Argument Persuasive?.- Irrationality in Persuasive Argumentation.- Some Reflections on Two Current Trends in Formal Argumentation.- On the Representation of Normative Sentences in FOL.- Why Be Afraid of Identity? Comments on Sergot and Prakken’s Views.- Deon+: Abduction and Constraints for Normative Reasoning.- Contrary-To-Duties in Games.- Logical Approaches to Authorization Policies.- Decentralized Governance of Distributed Systems via Interaction Control.- Managing User-Generated Content as a Knowledge Commons.Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.