( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.

, , и . J. Symb. Log., 50 (2): 510-530 (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Wahyudi David

Florian Bodo David

Jens-Ulrich Davids

Joachim David

Heinz David

 

Другие публикации лиц с тем же именем

Display Conventions for Octagons of Opposition.. Axioms, 13 (5): 287 (мая 2024)Cumulative inference relations for JTMS and logic programming, , и . Lecture Notes in Computer Science - Nonmonotonic and Inductive Logic, (1991)On the logic of theory change: Contraction functions and their associated revision functions, , и . Theoria, (1982)Propositional Relevance through Letter-Sharing: Review and Contribution.. Formal Models of Belief Change in Rational Agents, том 07351 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)What is Input/Output Logic? Input/Output Logic, Constraints, Permissions., и . Normative Multi-agent Systems, том 07122 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Permission from an Input/Output Perspective., и . J. Philos. Log., 32 (4): 391-416 (2003)Revisions of Knowledge Systems Using Epistemic Entrenchment., и . TARK, стр. 83-95. Morgan Kaufmann, (1988)Floating Conclusions and Zombie Paths: Two Deep Difficulties in the `Directly Skeptical' Approach to Defeasible Inheritance Networks, и . Artificial Intelligence, 48 (2): 199--209 (1991)There are Infinitely many Diodorean Modal Functions.. J. Symb. Log., 31 (3): 406-408 (1966)Relations between the logic of theory change and nonmonotonic logic., и . The Logic of Theory Change, том 465 из Lecture Notes in Computer Science, стр. 185-205. Springer, (1989)