An implementation of propositional plausible logic

Proceedings - 23rd Australasian Computer Science Conference, ACSC 2000

Volumn , Issue , 2000, Pages 204-210

  Rock, A ^a   Billington, D ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

RECONFIGURABLE HARDWARE;

DEFEASIBLE LOGIC; HASKELL; IMPLEMENTATION LANGUAGES; WEB INTERFACE;

COMPUTER CIRCUITS;

EID: 38149098905     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSC.2000.824404     Document Type: Conference Paper

References (16)

1. Antoniou, G., Nonmonotonic Reasoning, MIT Press, Cambridge, Mass., (1997).
2. Gotlob, G., "Complexity Results for Nonmonotonic Logics", Journal of Logic and Computation, vol. 2, pp. 397-425, (1992).
3. Antoniou, G., "On the Role of Nonmonotonic Representations in Requirements Engineering", International Journal of Software Engineering and Knowledge Engineering, vol. 8, pp. 385-399, (1998).
4. Luqi, and D.E. Cooke, "How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software", International Journal on Software Engineering and Knowledge Engineering, vol. 5, pp. 89-118, (1995).
5. Zowghi, D., A.K. Ghose, and P. Peppas, "A Framework for Reasoning about Requirements Evolution", Proceedings of the Fourth Pacific Rim International Conference on Artificial Intelligence, Springer, LNAI 1114, pp. 157-168, (1996).
6. Cholewinski, P, V.W. Marek, A. Mikitiuk, and M. Truszczynski, "Experimenting with Nonmonotonic Reasoning", Proceedings of the 12th International Conference on Logic Programming, MIT Press, (1995).
7. Nute, D., "Defeasible Reasoning: A Philosophical Analysis in Prolog", Aspects of Artificial Intelligence, J.H. Fetzer (ed.), Kluwer Academic, pp. 251-288, (1988).
8. Billington, D., K. De Coster, and D. Nute, "A Modular Translation from Defeasible Nets to Defeasible Logics", Journal of Experimental and Theoretical Artificial Intelligence, vol. 2, pp. 151-177, (1990).
9. Billington, D., "Defeasible Logic is Stable", Journal of Logic and Computation, vol. 3, pp. 379-400, (1993).
10. Nute, D., "A Decidable Quantified Defeasible Logic", Logic, Methodology and Philosophy of Science IX, D. Prawitz, B. Skyrms, and D. Weasterstahl (Eds.), Elsevier Science B.V., pp. 263-284, (1994).
11. Antoniou, G., D. Billington, and M. J. Maher, "Normal Forms for Defeasible Logic", Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, pp. 160-174, (1998).
12. Covington, M.A., D. Nute, and A. Vellino, Prolog Programming in Depth, Prentice Hall, (1997).
13. Covington, M.A., "Defeasible Logic on an Embedded Microcontroller", Proceedings of the Tenth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (1997). Also to appear in Applied Intelligence.
14. Covington, M.A., "Logical Control of an Elevator with Defeasible Logic", IEEE Transactions on Automatic Control, to appear, (2000).
15. Antoniou, G., D. Billington, and M. J. Maher, "On the Analysis of Regulations using Defeasible Rules", Proceedings of the 32nd Hawaii International Conference on Systems Science, IEEE Press, (1999).
16. Hutton, G., "Higher-Order Functions for Parsing", Journal of Functional Programming, vol. 2, pp. 323-343, (1992).