Treffer 1 - 20 von 34 für Suche 'Demolombe, Robert', Suchdauer: 0,83s Treffer weiter einschränken
  1. 1
    Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic

    Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic von Demolombe, Robert


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    From Binary Trust to Graded Trust in Information Sources: A Logical Perspective

    From Binary Trust to Graded Trust in Information Sources: A Logical Perspective von Lorini, Emiliano, Demolombe, Robert


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Modéliser les interactions entre agents : un prérequis pour analyser l’éthique des systèmes complexes

    Modéliser les interactions entre agents : un prérequis pour analyser l’éthique des systèmes complexes von DEMOLOMBE, Robert


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Reasoning About Trust: A Formal Logical Framework

    Reasoning About Trust: A Formal Logical Framework von Demolombe, Robert


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    An argumentation-based approach for reasoning about trust in information sources

    An argumentation-based approach for reasoning about trust in information sources von Amgoud, Leila, Demolombe, Robert

    Veröffentlicht in Argument & computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Obligations with deadlines: a formalization in Dynamic Deontic Logic

    Obligations with deadlines: a formalization in Dynamic Deontic Logic von Demolombe, R.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Modéliser les interactions entre agents : un prérequis pour analyser l’éthique des systèmes complexes

    Modéliser les interactions entre agents : un prérequis pour analyser l’éthique des systèmes complexes von DEMOLOMBE, Robert


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Norms, Institutional Power and Roles: Towards a Logical Framework

    Norms, Institutional Power and Roles: Towards a Logical Framework von Demolombe, Robert, Louis, Vincent


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Speech Acts with Institutional Effects in Agent Societies

    Speech Acts with Institutional Effects in Agent Societies von Demolombe, Robert, Louis, Vincent


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Translation of first order formulas into ground formulas via a completion theory

    Translation of first order formulas into ground formulas via a completion theory von Demolombe, Robert, Fariñas del Cerro, Luis, Obeid, Naji

    Veröffentlicht in Journal of applied logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Integrating State Constraints and Obligations in Situation Calculus

    Integrating State Constraints and Obligations in Situation Calculus von Demolombe, Robert, Pozos Parra, Pilar

    Veröffentlicht in Inteligencia artificial

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents

    Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents von Demolombe, Robert


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Information About a Given Entity: From Semantics Towards Automated Deduction

    Information About a Given Entity: From Semantics Towards Automated Deduction von Demolombe, Robert, Fariñas del Cerro, Luis


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Answers about validity and completeness of data: Formal definitions, usefulness and computation technique

    Answers about validity and completeness of data: Formal definitions, usefulness and computation technique von Demolombe, Robert


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Theories of Intentions in the Framework of Situation Calculus

    Theories of Intentions in the Framework of Situation Calculus von Parra, Pilar Pozos, Nayak, Abhaya, Demolombe, Robert


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Trust and Norms in the Context of Computer Security: A Logical Formalization

    Trust and Norms in the Context of Computer Security: A Logical Formalization von Lorini, Emiliano, Demolombe, Robert


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Validity queries and completeness queries

    Validity queries and completeness queries von Demolombe, Robert


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    A uniform framework for Deductive Database derivation strategies

    A uniform framework for Deductive Database derivation strategies von Demolombe, Robert


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A framework for modelling Molecular Interaction Maps

    A framework for modelling Molecular Interaction Maps von Alliot, Jean-Marc, Mayer, Marta Cialdea, Demolombe, Robert, Diéguez, Martín, del Cerro, Luis Fariñas

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Syntactical characterization of a subset of domain-independent formulas

    Syntactical characterization of a subset of domain-independent formulas von DEMOLOMBE, R

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: