- Brazier , F.M.T. , Dunin-Keplicz , B. , Jennings , N.R. and Treur , J. Formal specification of multi-agent systems: a real-world case . Proc. of the First International Conference on Multi-Agent Systems, ICMAS'95 . Cambridge, MA. Edited by: Lesser , V. pp. 25 – 32 . MIT Press .
- Huhns , M. and Singh , M. , eds. 1997 . International Journal of Cooperative Information Systems Vol. 6 , 67 – 94 . Extended version in, special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems
- Brazier , F.M.T. , Treur , J. and Wijngaards , N.J.E . The acquisition of a shared task model . Advances in Knowledge Acquisition. Proc. 9th European Knowledge Acquisition Workshop. EKAW'96 . Edited by: Shadbolt , N. , O'Hara , K. and Schreiber , G. Vol. 1076 , pp. 278 – 289 . Lecture notes in Artificial Intelligence
- Brazier , F.M.T. , Treur , J. and Wijngaards , N.J.E . Modelling interaction with experts: the role of a shared task model . Proc. European Conference on AI. ECAI'96 . Edited by: Wahlster , W. pp. 241 – 245 . John Wiley and Sons .
- Brazier , F.M.T. , Treur , J. , Wijngaards , N.J. E and Willems , M. Formal specification of hierarchically (de)composed tasks . Proc. of the 9th Banff Knowledge Acquisition for Knowledge-based Systems Workshop, KAW'95 . Calgary. Edited by: Gaines , B.R. and Musen , M.A. SRDG Publications, Department of Computer Science, University of Calgary . 25/1-15/20
- Besnard , P. 1989 . An Introduction of Default Logic , Springer-Verlag .
- Brewka , G. Logics in Artificial Intelligence. Proceedings of the JELIA-94 . Lecture Notes in Artificial Intelligence . Adding priorities and specificity to default logic , Edited by: MacNish , C. , Pearce , D. and Pereira , L.M. Vol. 838 , pp. 247 – 260 .
- Brewka , G. Reasoning about priorities in default logic . Proceedings of the AAAI-94.
- Engelfriet , J. , Herre , H. and Treur , J. Practical Reasoning, Proceedings FAPR'96 . Lecture Notes in Artificial Intelligence . Nonmonotonic reasoning with multiple belief sets , Edited by: Gabbay , D.M. and Ohlbach , H.J. Vol. 1085 , pp. 331 – 344 .
- 1998 . Extended version in Annals of Mathematics and Artificial Intelligence Vol. 24 , 225 – 248 .
- Engelfriet , J. , Marek , V. W. , Treur , J. and Truszczynski , M. Logics in Artificial Intelligence, Proceedings of the Fourth European Workshop on Logics in AI, JELIA'96 . Lecture Notes in Artificial Intelligence . Infinitary default logic for specification of nonmonotonic reasoning , Edited by: Alferes , J.J. , Pereira , L.M. and Orlowska , E. Vol. 1126 , pp. 224 – 236 .
- 2001 . Extended version appeared as "Default logic and specification of nonmonotonic reasoning" . Journal of Experimental and Theoretical Artificial Intelligence , 13 : 99 – 112 .
- Makinson , D. “ General patterns in nonmonotonic reasoning ” . In Handbook of Logic in Artificial Intelligence and Logic Programming , Edited by: Gabbay , D.M. , Hogger , C.J. and Robinson , J.A. Vol. 3 , 35 – 110 . Oxford Science Publications .
- Marek , V.W. and Truszczynski , M. 1993 . Nonmonotonic logics; context-dependent reasoning , Springer-Verlag .
- Marek , V.W. , Treur , J. and Truszczynski , M. 1997 . Representation theory for default logic . Annals of Mathematics and Artificial Intelligence , 21 : 343 – 358 .
- Reiter , R. 1980 . A logic for default reasoning . Artificial Intelligence , 13 : 81 – 132 .
- Tan , Y.-H. and Treur , J. Constructive default logic and the control of defeasible reasoning . Proc. of the European Conference on Artificial Intelligence, ECAI'92 . Edited by: Neumana , B. pp. 299 – 303 . New York : John Wiley and Sons .
- Choose new content alerts to be informed about new research of interest to you
- Easy remote access to your institution's subscriptions on any device, from any location
- Save your searches and schedule alerts to send you new results
- Export your search results into a .csv file to support your research