Searching for "Specification of nonmonotonic reasoning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

Specification of Nonmonotonic Reasoning
by Joeri Engelfriet, Jan Treur, De Boelelaan A — Journal of Applied Non-Classical Logics
…Specification of Nonmonotonic Reasoning * Joeri Engelfriet and Jan Treur Free University Amsterdam…
Cited by 13 (10 self) – Add To MetaCart

Default Logic and Specification of Nonmonotonic Reasoning
by Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
…Default Logic and Specication of Nonmonotonic Reasoning Joeri Engelfriet 1 , V. Wiktor Marek 2…
Cited by 6 (5 self) – Add To MetaCart

Infinitary Default Logic for Specification of Nonmonotonic Reasoning
by Joeri Engelfriet Wiktor, V. Wiktor Marek — 1996
…Infinitary Default Logic for Specification of Nonmonotonic Reasoning a Joeri Engelfriet 1 , V…
Cited by 2 (2 self) – Add To MetaCart

On the Dynamics of Default Reasoning
by Grigoris Antoniou, Aditya Ghose, Randy Goebel, Y Goebel
… information. Default logic [14] is a specific nonmonotonic reasoning method which is based on the use…
Cited by 1 (0 self) – Add To MetaCart

Nonmonotonic Belief State Frames and Reasoning Frames (Extended Abstract)
by Joeri Engelfriet, Heinrich Herre, Jan Treur — 1995 — In C. Froidevaux, J. Kohlas (eds), Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Artificial Intelligence
….informatik.uni-leipzig.de Abstract In this paper five levels of specification of nonmonotonic reasoning…
Cited by 6 (6 self) – Add To MetaCart

Extending Prolog with Nonmonotonic Reasoning
by Weidong Chen — 1995 — J. Logic Programming
… proposed to enhance the expressive power of specifications of nonmonotonic reasoning. They include general…
Cited by 4 (0 self) – Add To MetaCart

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning
by J. Engelfriet, J. Treur — 1997 — Qualitative and Quantitative Practical Reasoning, Proc. ECSQARU/FAPR-97, Lecture Notes in Artificial Intelligence
… that covers different types of nonmonotonic reasoning (as opposed to implementations for one specific…
Cited by 2 (2 self) – Add To MetaCart

unknown title
by unknown authors
… Specification of nonmonotonic reasoning* Joeri Engelfriet -- Jan Treur Vrije Universiteit…
Add To MetaCart

Nonmonotonic Reasoning with Multiple Belief Sets
by Joeri Engelfriet, Heinrich Herre, Jan Treur — 1996 — Annals of Mathematics and Artificial Intelligence
… for the specification of nonmonotonic reasoning. 1. Specification of a set of intended models Specification…
Cited by 8 (7 self) – Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB