 |
|
What people are saying - Write a reviewWe haven't found any reviews in the usual places. Related books
Contents
9 other sections not shown Common terms and phrasesA-Hohfeld aaqa action descriptions agent analysis antecedent applications of deontic Artificial Intelligence assertions assume authority axiom behavior borrower choice function Computer Science computer system consequence consider context contract counterfactual counterfactual conditionals database defeasible conditionals defeasible reasoning defined definition denote deontic integrity constraints deontic logic deontic operators deontic reasoning dynamic logic event example expert system express fact first-order logic formal formula G.H. von Wright given Hence Hilpinen interpretation intuitive language legal relation-lr Library Regulations Logic in Computer logic programming means modal logic modus ponens normative positions normative propositions normative scenario normative systems notion object obligatory paradox performed permission and obligation permission to know permitted possible postconditions practitions predicate problem properties R.J. Wieringa relation requirements role rules safe(Nurse's-station security policy semantics structure symbols System Specification telephone temporal logic theory time-t2 variables violation References to this bookFrom Google ScholarHeterogeneous Active Agents, I: SemanticsThomas Eiter, VS Subrahmanian, George Pick Organizing Multiagent SystemsJavier Vázquez-Salceda, Virginia Dignum, Frank Dignum - 2005 - Autonomous Agents and Multi-Agent Systems Formal aspects of a generic model of trust for electronic commerceYao-Hua Tan, Walter Thoen - 2002 - Decision Support Systems Dialogue Models For Inquiry And TransactionJoris Hulstijn References from web pagesDEON'91 Applications of Deontic Logic in Computer Science: A Concise ... Deontic logic in computer science Deontic Logic in Computer Science 2006 Departamento de Matemática e Engenharias Logic and Computation Group Logics for AI - publications Eric Dubois - University of Namur, Computer Science Dept. @book{normativesystems, author = "J. Meyer and R. Wieringa", title ... Cancelling and Overshadowing Two Types of Defeasibility in ... Bibliographic information
|
