("desires" "andrewdo" ("have-software" "andrewdo" "EA NLU"))
("desires" "andrewdo" ("have-software" "andrewdo" "Parmenides"))
("desires" "andrewdo" ("have-software-having-capability" "paraphrase generation"))
("desires" "andrewdo" ("know-more-about" "andrewdo" "Dung semantics"))
("desires" "andrewdo" ("know-more-about" "andrewdo" "axiomatic approaches to BDI agents"))
("desires" "andrewdo" ("know-more-about" "andrewdo" "belief argumentation protocols"))
("desires" "andrewdo" ("know-more-about" "andrewdo" "deductive databases"))
("desires" "andrewdo" ("know-more-about" "andrewdo" "fixed-point definition"))
("desires" "andrewdo" ("know-more-about" "andrewdo" "monotonic propositional modal logics"))
("desires" "andrewdo" ("know-more-about" "andrewdo" "operational semantics"))
("desires" "andrewdo" ("know-more-about" "andrewdo" "progression and regression planning"))
("desires" "andrewdo" ("know-more-about" "andrewdo" "propositional literal"))
("desires" "andrewdo" ("read-document" "andrewdo" "Argumentation schemes for presumptive reasoning"))
("desires" "andrewdo" ("read-document" "andrewdo" "Cohen, P. and Levesque, H. (1990). Intention is choice with commitment. Artificial Intelligence, 42, 213-261."))
("desires" "andrewdo" ("read-document" "andrewdo" "R.J. Wieringa and J.-J.Ch. Meyer. Applications of deontic logic in computer science: A concise overview. In J.-J. Meyer and R. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, pages 17-40. John Wiey & Sons, Chichester, England, 1993"))
("desires" "andrewdo" ("read-document" "andrewdo" "The Encyclopedia of Artificial Intelligence, D. Shapiro (Ed.), John Wiley and Sons Inc., New York, N.Y., January, 1992"))
("desires" "andrewdo" ("read-document" "andrewdo" "Torre, van der L. and Tan, Y.-H. (1999). Contrary-To-Duty Reasoning with Preference-based Dyadic Obligations. Annals of Mathematics and AI, 27, 49-78."))
("desires-to-collaborate-with" "andrewdo" "Douglas Miles")
("desires-to-collaborate-with" "andrewdo" "Jaime Carbonell")
("desires-to-collaborate-with" "andrewdo" "Manu Konchady")
("done" ("read" "andrewdo" ("publication-fn" "An Argumentation-based Approach for Practical Reasoning")))
("done" ("read" "andrewdo" ("publication-fn" "The SPARK Agent Framework")))
("has-academic-research-interest" "andrewdo" "Argumentation Systems")
("has-academic-research-interest" "andrewdo" "BDI Agent theory")
("has-academic-research-interest" "andrewdo" "Deontic Action Logic")
("has-academic-research-interest" "andrewdo" "Multi-criteria optimization")
("has-academic-research-interest" "andrewdo" "Practical Language Understanding")
("has-academic-research-interest" "andrewdo" "practical reasoning")
("isa" "2APL" "BDI-based agent programming language")
("isa" "3APL" "BDI-based agent programming language")
("isa" "B-DOING agent" "Software")
("isa" "CLAIM" "BDI-based agent programming language")
("isa" "EA NLU" "natural language understanding system")
("isa" "IMPACT" "BDI-based agent programming language")
("isa" "Jack" "BDI-based agent programming language")
("isa" "Jadex" "BDI-based agent programming language")
("isa" "Jason" "BDI-based agent programming language")
("isa" "MedEthEx" "moral decision making system")
("isa" "ParaCite Tools" "Software")
("pse2-has-property" ("unilang-entry-fn" "278911") "important")
("requires-definition-of" "andrewdo" "AASTM")
("requires-definition-of" "andrewdo" "Information Society")
("requires-definition-of" "andrewdo" "KD45 axiomatization")
("requires-definition-of" "andrewdo" "modal action logic")
("requires-definition-of" "andrewdo" "monadic modal preference logic")
("requires-definition-of" "andrewdo" "weak S5")