Agenti indipendenti nel tempo ramificato : verso un ambiente unificato per il ragionamento sui sistemi multi-agenti. |
|
Agents indépendants dans le temps ramifié : vers un cadre unifié de raisonnement sur les systèmes multi-agents. |
|
Belief change : theory and practice |
|
Belief revision and dynamic logic |
|
The bonds of society an interdisciplinary study of social rationality |
|
Le bonheur est dans l'ignorance : logiques épistémiques dynamiques basées sur l'observabilité et leurs applications |
|
The cognitive foundations of group attitudes and social interaction |
|
Conditionals : from philosophy to computer science |
|
Consequence finding in modal logic. |
|
Un démonstrateur automatique basé sur la méthode de tableaux pour les logiques modales : implémentation et études de stratégies |
|
E-market mechanism design for supply chain management |
|
Les émotions : des théories psychologiques à la formalisation logique et l'implémentation dans un agent BDI. |
|
Extension of ASP to cover treatable DL fragments : theorical study and implementation. |
|
Extension pondérée des logiques modales dans le cadre des croyances graduelles |
|
Extensions of equilibrium logic by modal concepts |
|
Une formalisation de l'intention communicative et des actes de langage expressifs |
|
Formalizing social attitudes in modal logic |
|
Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings |
|
La génération de conséquences en logique modale |
|
Knowledge compilation for nondeterministic action languages |
|
Kripke's worlds : an introduction to modal logics via tableaux |
|
L'évolution culturelle de la connaissance en logique épistémique dynamique |
|
Lightweight approaches to reasoning about knowledge and belief. |
|
Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings |
|
a logic for planning under partial observability. |
|
The logic of inconsistencies : a formal model for the analysis of human error. |
|
Logic of the rational agent. |
|
Logic, Rationality, and Interaction : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings |
|
Logical approaches to paraconsistency |
|
Logical modelling of reasoning and learning : a bio-inspired approach |
|
La logique des incohérences : un modèle formel pour l'analyse de l'erreur humaine |
|
Une logique pour la planification en environnement partiellement observable |
|
Mécanismes pour les enchères doubles dynamiques. |
|
Mechanism design for dynamic double auctions |
|
MFI' 03 : modèles formels de l'interaction : actes des Secondes journées francophones, Lille mai 2003 |
|
MFI'03 |
|
A modal approach to model computational trust |
|
Modal logic weighted extensions for a graded belief framework. |
|
Modèles de confiance logiques. |
|
Modélisation logique du raisonnement et de l’apprentissage : une approche bio-inspirée.. |
|
Optimal methods for reasoning about actions and plans in multi-agent systems |
|
Perspectives on belief and change |
|
Des perspectives sur les croyances et le changement . |
|
Practical resolution of satisfiability testing for modal logics |
|
Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques |
|
Proofs as games and games as proofs : dialogical semantics of logical and natural languages. |
|
Qu'est-ce qu'une bonne description de domaine ? |
|
Raisonnement automatique en logique modale et algorithmes d'unification |
|
Reasoning about concurrent actions and its applications to epistemic and temporal planning. |
|
Refinement of Intentions. |
|
Saripod : système multi-Agent de Recherche Intelligente POssibiliste de Documents Web |
|
Structures sémantiques et pragmatiques pour la modélisation de la cohérence dans des dialogues finalisés |
|
Symbolic representation for probabilistic dynamic epistemic logic. |
|
What is a good domain description? |
|