Εμφανίζονται 1 - 20 Αποτελέσματα από 37 για την αναζήτηση '"deontic logic"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1
    Deontic Logic in Computer Science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Cycle -- Designing a Deontic Logic of Deadlines -- Obligation Change in Dependence Logic and Situation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Formalization -- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Challenges from natural language for deontic logic -- The relationship between deontic and other…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Deontic Logic -- A Dyadic Operator for the Gradation of Desirability -- Deontics = Betterness + Priority…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
    ανά Governatori, Guido
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 7
    Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…, with an Application to Chisholm’s Scenario -- Acting with an End in Sight -- A State/Event Temporal Deontic Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Logical Tools for Handling Change in Agent-Based Systems
    ανά Gabbay, Dov M., Schlechta, Karl
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Deontic Logic and Hierarchical Conditionals -- Theory Update and Theory Revision -- An Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
    ανά Schlechta, Karl, Schlechta, Karl
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Semantics and Deontic Logic -- Abstract Independence -- Various Aspects of Nonmonotonic and Other Logics.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Handbook of Philosophical Logic Volume 18 /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Chapter 1. Deontic Logic and Changing Preferences (Johan van Benthem and Fenrong Liu) -- Chapter 2…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Reactive Kripke Semantics
    ανά Gabbay, Dov M.
    Έκδοση 2013
    Πίνακας περιεχομένων: “… - Reactive Standard Deontic Logic -- Chap.12 - Reactive Preferential Structures and Nonmonotonic Consequence…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Adaptive Logics for Defeasible Reasoning Applications in Argumentation, Normative Reasoning and Default Reasoning /
    ανά Straßer, Christian
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Attacks -- Part IV. Deontic Logics -- Chapter 10. Avoiding Deontic Explosion by Contextually Restricting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Krister Segerberg on Logic of Actions
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- 5. "Deontic Logics based on Boolean Algebra"; Pablo Castro and Piotr Kulicki -- 6. "Dynamic Deontic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    A New Perspective on Nonmonotonic Logics
    ανά Gabbay, Dov M., Schlechta, Karl
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Concepts -- Deontic Logic, Contrary-to-Duty Obligations -- Theory Revision, Theory Contraction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Practical Normative Reasoning with Defeasible Deontic Logic -- Efficient SPARQL Queries on Very…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Conditionals and Modularity in General Logics
    ανά Gabbay, Dov M., Schlechta, Karl
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Reasoning -- Contextual Deontic Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Methods of legal reasoning
    ανά Stelmach, Jerzy, Brozek, Bartosz
    Έκδοση 2006
    Πίνακας περιεχομένων: “…. Introduction. 2. Classical logic: propositional logic and first order predicate logic. 3. Deontic logic. 4…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Freedom and Enforcement in Action A Study in Formal Action Theory /
    ανά Czelakowski, Janusz
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email