Sfoglia per Autore
On the Axiomatization of Elgesem’s Logic of Agency
2004 G. Governatori; A. Rotolo
Defeasible Logic: Agency, Intention and Obligation
2004 G. Governatori; A. Rotolo
On the Axiomatization of Elgesem's Logic of Ability and Agency
2004 G Governatori; A. Rotolo
Modelling Contracts in RuleML
2004 G. Governatori; A. Rotolo
A Model of Dynamic Resource Allocation in Workflow Systems
2004 G. Governatori; A. Rotolo; S. Sadiq
Normative Autonomy and Normative Co-ordination: Declarative Power, Representation, and Mandate
2004 J. Gelati; G. Governatori; A. Rotolo; G. Sartor
Norm Modifications in Defeasible Logic.
2005 G. Governatori; M. Palmirani; R. Riveret; A. Rotolo; G. Sartor
On the Axiomatisation of Elgesem’s Logic of Agency and Ability
2005 G. Governatori; A. Rotolo
Programming Cognitive Agents in Defeasible Logic
2005 M. Dastani; G. Governatori; A. Rotolo; L. van der Torre
Preferences of Agents in Defeasible Logic
2005 M. Dastani; G. Governatori; A. Rotolo; L. van der Torre
Temporalised Normative Positions in Defeasible Logic
2005 G. Governatori; A. Rotolo; G. Sartor
Process Modelling: The Deontic Way
2006 V. Padmanabhan; G. Governatori; S. Sadiq; R. M. Colomb; A. Rotolo
Argumentation Semantics for Temporal Defeasible Logic
2006 R. Riveret; G. Governatori; A. Rotolo
Logic of Violations: A Gentzen System for Reasoning with Contrary-to-Duty Obligations
2006 G. Governatori; A. Rotolo
Rule-Based Agents in Temporalised Defeasible Logic
2006 G. Governatori; V. Padmanabhan; A. Rotolo
The Cost of Social Agents
2006 G. Governatori; A. Rotolo; V. Padmanabhan
On the Representation of Deadlines in a Rental Agreement
2007 G. Governatori; J. Hulstijn; R. Riveret; A. Rotolo
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic
2007 R. Riveret; A. Rotolo; G. Governatori
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic
2007 G. Governatori; A. Rotolo
Characterising Deadlines in Temporal Modal Defeasible Logic
2007 G. Governatori; J. Hulstijn; R. Riveret; A. Rotolo
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
On the Axiomatization of Elgesem’s Logic of Agency | G. Governatori; A. Rotolo | 2004-01-01 | - | University of Manchester | 4.01 Contributo in Atti di convegno | - |
Defeasible Logic: Agency, Intention and Obligation | G. Governatori; A. Rotolo | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
On the Axiomatization of Elgesem's Logic of Ability and Agency | G Governatori; A. Rotolo | 2004-01-01 | THE BULLETIN OF SYMBOLIC LOGIC | - | 4.02 Riassunto (Abstract) | - |
Modelling Contracts in RuleML | G. Governatori; A. Rotolo | 2004-01-01 | - | IOS Press | 4.01 Contributo in Atti di convegno | - |
A Model of Dynamic Resource Allocation in Workflow Systems | G. Governatori; A. Rotolo; S. Sadiq | 2004-01-01 | - | Australian Computer Society | 4.01 Contributo in Atti di convegno | - |
Normative Autonomy and Normative Co-ordination: Declarative Power, Representation, and Mandate | J. Gelati; G. Governatori; A. Rotolo; G. Sartor | 2004-01-01 | ARTIFICIAL INTELLIGENCE AND LAW | - | 1.01 Articolo in rivista | - |
Norm Modifications in Defeasible Logic. | G. Governatori; M. Palmirani; R. Riveret; A. Rotolo; G. Sartor | 2005-01-01 | - | IOS Press | 4.01 Contributo in Atti di convegno | - |
On the Axiomatisation of Elgesem’s Logic of Agency and Ability | G. Governatori; A. Rotolo | 2005-01-01 | JOURNAL OF PHILOSOPHICAL LOGIC | - | 1.01 Articolo in rivista | - |
Programming Cognitive Agents in Defeasible Logic | M. Dastani; G. Governatori; A. Rotolo; L. van der Torre | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Preferences of Agents in Defeasible Logic | M. Dastani; G. Governatori; A. Rotolo; L. van der Torre | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Temporalised Normative Positions in Defeasible Logic | G. Governatori; A. Rotolo; G. Sartor | 2005-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |
Process Modelling: The Deontic Way | V. Padmanabhan; G. Governatori; S. Sadiq; R. M. Colomb; A. Rotolo | 2006-01-01 | - | Australian Computer Science Communications | 4.01 Contributo in Atti di convegno | - |
Argumentation Semantics for Temporal Defeasible Logic | R. Riveret; G. Governatori; A. Rotolo | 2006-01-01 | - | IOS Press | 4.02 Riassunto (Abstract) | - |
Logic of Violations: A Gentzen System for Reasoning with Contrary-to-Duty Obligations | G. Governatori; A. Rotolo | 2006-01-01 | THE AUSTRALASIAN JOURNAL OF LOGIC | - | 1.01 Articolo in rivista | - |
Rule-Based Agents in Temporalised Defeasible Logic | G. Governatori; V. Padmanabhan; A. Rotolo | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
The Cost of Social Agents | G. Governatori; A. Rotolo; V. Padmanabhan | 2006-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
On the Representation of Deadlines in a Rental Agreement | G. Governatori; J. Hulstijn; R. Riveret; A. Rotolo | 2007-01-01 | - | IOS Press | 4.01 Contributo in Atti di convegno | - |
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic | R. Riveret; A. Rotolo; G. Governatori | 2007-01-01 | - | IBFI | 4.01 Contributo in Atti di convegno | - |
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic | G. Governatori; A. Rotolo | 2007-01-01 | - | IBFI | 4.01 Contributo in Atti di convegno | - |
Characterising Deadlines in Temporal Modal Defeasible Logic | G. Governatori; J. Hulstijn; R. Riveret; A. Rotolo | 2007-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile