OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Cholvy, Laurence"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 26.

Article

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. (2010) Revue d'intelligence artificielle, vol. 24 (n° 3). pp. 267-290. ISSN 0992-499X

Cholvy, Laurence and Garion, Christophe Answering queries addressed to several databases according to a majority approach. (2004) Journal of Intelligent Information Systems, vol. 2 (n° 2). pp. 175-201. ISSN 0925-9902

Cholvy, Laurence and Garion, Christophe Querying several conflicting databases. (2004) Journal of applied non-classical logics, vol. 1 (n° 3). pp. 295-327. ISSN 1166-3081

Cholvy, Laurence and Garion, Christophe Allocation de buts affectés à un groupe d'agents. (2002) Information interaction intelligence (specia). pp. 1-24. ISSN 1630-649X

Cholvy, Laurence and Garion, Christophe An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties. (2001) Fundamenta Informaticae, vol. 4 (n° 2-3). pp. 183-204. ISSN 0169-2968

Conference or Workshop Item

Cholvy, Laurence and Garion, Christophe and Roussel, Stéphanie Cohérence et complétude des réglementations en présence de contraintes. (2012) In: Sixièmes Journées d'Intelligence Artificielle Fondamentale (JIAF), 22-24 may 2012, Toulouse, France .

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. (2009) In: Cinquièmes journées francophones des Modèles Formels de l'Interaction (MFI'09), 03-05 June 2009, Lannion, France .

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence A modal logic for reasoning on consistency and completeness of regulations. (2009) In: Normative Multi-Agent Systems, 15-20 Mars 2009, Dagstuhl, Allemagne .

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence How to Complete Regulations in Multi-agent Systems. (2009) In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009, 15-18 Sep 2009, Milan, Italy .

Cholvy, Laurence and Garion, Christophe Deriving individual obligations from collective obligations. (2007) In: Normative Multi-agent Systems, 18-23 Mars 2007, Dagstuhl, Germany .

Cholvy, Laurence and Garion, Christophe and Saurel, Claire Modeling regulation for information sharing in a MAS: a case study. (2007) In: Actes des quatrièmes journées francophones sur les modèles formels de l'interaction - MFI'07, 30 May - 01 June 2007, Paris, France . (Unpublished)

Jousselme, Anne-Claire and Maupin, Patrick and Cholvy, Laurence and Garion, Christophe and Saurel, Claire Situation awareness and ability in coalitions. (2007) In: 10th International Conference on Information Fusion (FUSION 2007), 09-12 Jul 2007, Québec, Canada .

Cholvy, Laurence and Garion, Christophe and Saurel, Claire Ability in a multi-agent context: a model in the situation calculus. (2006) In: Sixth International Workshop on Computational Logic In Multi-Agent Systems (CLIMA VI), 27-29 June 2005, London, United Kingdom .

Cholvy, Laurence and Garion, Christophe and Saurel, Claire Notion de capacité dans un contexte multi-agents : une modélisation dans le calcul des situations. (2005) In: Troisième Conférence Francophone sur les Modèles Formels de l'Interaction - MFI'05, 25-27 May 2005, Caen, France . (Unpublished)

Cholvy, Laurence and Garion, Christophe Strategies for distributing goals in a team of cooperative agents. (2005) In: ESAW 2004 : Engineering Societies in the Agents World V - 5th International Workshop, 20-22 Oct. 2004, Toulouse, France .

Cholvy, Laurence and Garion, Christophe Desires, norms and constraints. (2004) In: Proceedings of the Third International Conference on Autonomous Agents and Multi Agent Systems (AAMAS'04), 19-23 Jul 2004, New York, United States .

Cholvy, Laurence and Garion, Christophe Deriving individual obligations from collective obligations. (2003) In: AAMAS'03 : Second International Joint Conference on Autonomous Agents and Multiagent Systems, 14-18 Jul 2003, Melbourne, Australia .

Cholvy, Laurence and Garion, Christophe Distribution of goals addressed to a group of agents. (2003) In: AAMAS'03 : Second International Joint Conference on Autonomous Agents and Multiagent Systems, 14-18 Jui 2003, Melbourne, Australia .

Cholvy, Laurence and Garion, Christophe Exigences, réglementations et contraintes. (2003) In: Actes des Troisièmes Journées Nationales sur les Modèles de Raisonnement (JNMR-2003), 27-28 Nov 2003, Paris, France .

Cholvy, Laurence and Garion, Christophe Merging conflictual requirements with a majority approach. (2002) In: International Workshop for High Assurance Systems (RHAS'02), 30 May 2002, Essen, Germany . (Unpublished)

Cholvy, Laurence and Garion, Christophe Collective obligations, commitments and individual obligations: a preliminary study. (2002) In: Proceedings of the 6th International Workshop on Deontic Logic In Computer Science - DEON'02, 22--24 May 2002, London, UK .

Cholvy, Laurence and Garion, Christophe Allocation des buts affectés à un groupe d'agents. (2001) In: MFI'01 : Premières Journées Francophones Modèles, 21-23 mai 2001, Toulouse, France . (Unpublished)

Cholvy, Laurence and Garion, Christophe A logic to reason on contradictory beliefs with a majority approach. (2001) In: IJCAI'01 Workshop on Inconsistency in Data and Knowledge, 6 août 2001, Seattle, USA .

Cholvy, Laurence and Garion, Christophe Utilisation d'une logique de préférences conditionnelles pour raisonner avec des normes contrary-to-duties. (2001) In: JNMR 2001 : Secondes Journées Nationales sur les Modèles de Raisonnement, 03-04 Mai 2001, Arras, France . (Unpublished)

Cholvy, Laurence and Garion, Christophe An attempt to adapt a logic for conditional preferences for reasoning with Contrary-To-Duties. (2000) In: Fifth International Workshop on Deontic Logic In Computer Science, 20-22 Jan 2000, Toulouse, France .

Book Section

Cholvy, Laurence and Garion, Christophe Apports de la logique mathématique dans la modélisation formelle des informations et des systèmes. (2009) In: Gestion de la complexité et de l'information dans les grands systèmes critiques. SEE & CNRS Editions , France, pp. 105-118. ISBN 9782271068286

This list was generated on Tue Sep 2 04:24:03 2014 CEST.