Propositional clausal defeasible logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5293 LNAI, Issue , 2008, Pages 34-47

  Billington, David ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

Artificial intelligence; Defeasible logic; Knowledge representation and reasoning; Non monotonic reasoning

Indexed keywords

BIONICS; INFORMATION THEORY; KNOWLEDGE REPRESENTATION;

APPLICATIONS.; DEFEASIBLE LOGIC; DEFEASIBLE LOGICS; DESIRABLE PROPERTIES; EFFICIENT IMPLEMENTATIONS; KNOWLEDGE REPRESENTATION AND REASONING; NON-MONOTONIC REASONING; REASONING SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 56649084931     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87803-2_5     Document Type: Conference Paper

References (25)

1. Antoniou, G.: Nonmonotonic rule system on top of ontology layer. In: Bergmann, R. (ed.) Experience Management. LNCS (LNAI), vol. 2432, pp. 394-398. Springer, Heidelberg (2002)
2. Antoniou, G., Billington, D., Governatori, G., Malier, M.J.: A Flexible Framework for Defeasible Logics. In: Proc AAAI 2000, pp. 405-410 (2000)
3. Antoniou, G., Billington, D., Malier, M.J.: On the analysis of regulations using defeasible rules. In: Proc. 32nd Hawaii Intl. Conf. on Syst. Sci (HICSS). IEEE Press, Los Alamitos (1999)
4. Bassiliades, N., Antoniou, G., Vlahavas, I.: DR-DEVICE: A defeasible logic system for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134-148. Springer, Heidelberg (2004)
5. Billington, D.: Defeasible Logic is Stable. J Logic Computation 3(4), 379-400 (1993)
6. Billington, D.: A Plausible Logic which Detects Loops. In: Proc 10th International Workshop on Nonmonotonic Reasoning, pp. 65-71 (2004) ISBN 92-990021-0-X
7. Billington, D.: The Proof Algorithms of Plausible Logic Form a Hierarchy. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), vol. 3809, pp. 796-799. Springer, Heidelberg (2005)
8. Billington, D., Rock, A.: Propositional Plausible Logic: Introduction and Implementation. Studia Logica 67(2), 243-269 (2001)
9. Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Non-monotonic Reasoning for Localisation in RoboCup. In: Proc. 2005 Australasian Conference on Robotics and Automation (2005) http://www.cse.unsw.edu.au/∼acra2005/ proceedings/papers/billington.pdf
10. Billington, D., Estivill-Castro, V., Hexel. R., Rock, A.: Using Temporal Consistency to Improve Robot Localisation. In: Lakemeyer, G., Sklar, E., Sorrenti, D.G., Takahashi, T. (eds.) RoboCup 2006: Robot Soccer World Cup X. LNCS (LNAI), vol. 4434, pp. 232-244. Springer, Heidelberg (2007)
11. Darcy, P., Stantic, B., Derakhshan, R.: Correcting Stored RFID Data with Non-Monotonic Reasoning. Int. J. of Principles and Apps. of Info. Sci. and Tech (PAIST) 1(1), 65-77 (2007)
12. Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181-216 (2005)
13. Governatori, G., Dumas, M., ter Hofstede, A.H., Oaks, P.: A formal approach to protocols and strategies for (legal) negotiation. In: Proc. 8th International Conference on Artificial Intelligence and Law (ICAIL 2001), pp. 168-177. ACM Press, New York (2001)
14. Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising Deadlines in Temporal Modal Defeasible Logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 486-496. Springer, Heidelberg (2007)
15. Governatori, G., Padmanabhan, V.: A defeasible logic of policy-based intention. In: Gedeon, T.D., Fung, L.C.C. (eds.) AI 2003. LNCS (LNAI), vol. 2903, pp. 414-426. Springer, Heidelberg (2003)
16. Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 114-128. Springer, Heidelberg (2004)
17. Governatori, G., Rotolo, A., Sadiq, S.: A model of dynamic resource allocation in workflow systems. Research & Practice of IT Database Technology 2004 27, 197-206 (2004)
18. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: 10th Intl. Conf. on AI and Law (ICAIL 2005), pp. 25-34. ACM Press, New York (2005)
19. Johnston, B., Governatori, G.: An algorithm for the induction of defeasible logic theories from databases. Research & Practice of IT Database Technology 2003 17, 75-83 (2003)
20. Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient Defeasible Reasoning Systems. Intl. J. of Artificial Intelligence Tools 10(4), 483-501 (2001)
21. Maier, F., Nute, D.: Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 306-318. Springer, Heidelberg (2006)
22. Nute, D.: Defeasible reasoning. In: 20th Hawaii Intl. Conf. on Syst. Sci., pp. 470-477 (1987)
23. Nute, D.: Defeasible Logic. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS (LNAI), vol. 2543, pp. 151-169. Springer, Heidelberg (2003)
24. Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence 13, 81-132 (1980)
25. Thakur, S., Governatori, G., Padmanabhan, V., Lundstrom, J.E.: Dialogue Games in Defeasible Logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 497-506. Springer, Heidelberg (2007)