The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Han Reichgelt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Jackson, Han Reichgelt
    A General Proof Method for Modal Predicate Logic without the Barcan Formula. [Citation Graph (0, 0)][DBLP]
    AAAI, 1988, pp:177-181 [Conf]
  2. Joseph Downs, Han Reichgelt, Nigel Shadbolt
    Automatic Derivation of World Update Schemes. [Citation Graph (0, 0)][DBLP]
    AIPS, 1994, pp:237-242 [Conf]
  3. Bernie Elfrink, Han Reichgelt
    The Use of Assertion-Time Inference in Logic-Based Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:232-237 [Conf]
  4. Peter Jackson, Han Reichgelt
    A Modal Proof Method for Doxastic Reasoning in Incomplete Theories. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:480-485 [Conf]
  5. Han Reichgelt, Nigel Shadbolt
    A Specification Tool for Planning Systems. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:541-546 [Conf]
  6. Joseph Downs, Han Reichgelt
    Integrating Classical and Reactive Planning within an Architecture for Autonomous Agents. [Citation Graph (0, 0)][DBLP]
    EWSP, 1991, pp:13-26 [Conf]
  7. Ioannis Hatzilygeroudis, Han Reichgelt
    The Inheritance Mechanism of a System Integrating Logic in Objects. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1994, pp:724-727 [Conf]
  8. Peter Jackson, Han Reichgelt
    A General Proof Method for First-Order Modal Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1987, pp:942-944 [Conf]
  9. Jacob R. Miller, Sandra Gorka, Barry M. Lunt, Joseph J. Ekstrom, Eydie Lawson, Han Reichgelt, Reza Kamali
    Hiring the IT Graduate: What's in the Box? [Citation Graph (0, 0)][DBLP]
    ITNG, 2006, pp:6-10 [Conf]
  10. Nigel Major, Han Reichgelt
    COCA: A Shell for Intelligent Tutoring Systems. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 1992, pp:523-530 [Conf]
  11. Stu Zweben, Han Reichgelt, Gayle J. Yaverbaum
    Computing accreditation: a new criteria structure and new flexibility. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:560-561 [Conf]
  12. Gayle J. Yaverbaum, Doris K. Lidtke, Han Reichgelt, Stuart H. Zweben
    Outcomes-based computing accreditation: program assessment. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2007, pp:281-282 [Conf]
  13. Stuart H. Zweben, Han Reichgelt, Gayle J. Yaverbaum
    Outcomes-based computing accreditation criteria. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2006, pp:129-130 [Conf]
  14. Cheryl Aasheim, Choong Kwon Lee, Han Reichgelt
    Implementing the IT fundamentals knowledge area. [Citation Graph (0, 0)][DBLP]
    SIGITE Conference, 2005, pp:1-5 [Conf]
  15. Ken Abernethy, Kevin Treu, George Piegari, Han Reichgelt
    A learning object repository in support of introductory IT courses. [Citation Graph (0, 0)][DBLP]
    SIGITE Conference, 2005, pp:223-227 [Conf]
  16. Han Reichgelt
    Towards a research agenda for information technology. [Citation Graph (0, 0)][DBLP]
    SIGITE Conference, 2004, pp:248-254 [Conf]
  17. Adrian Gardiner, Vladan M. Jovanovic, Han Reichgelt
    Second thoughts about a career in IT? [Citation Graph (0, 0)][DBLP]
    SIGITE Conference, 2004, pp:194-201 [Conf]
  18. Choong Kwon Lee, Han Reichgelt
    Skill requirements for IT managers and the IT model curriculum: a critical reflection. [Citation Graph (0, 0)][DBLP]
    SIGITE Conference, 2005, pp:381-382 [Conf]
  19. Joseph Barjis, Han Reichgelt
    A Petri Net Based Methodology for Business Process Modeling and Simulation. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:3-15 [Conf]
  20. Ken Abernethy, Paula Gabbert, Han Reichgelt
    Information Technology Training in Developing Countries. [Citation Graph (0, 0)][DBLP]
    WCCE, 2001, pp:787-794 [Conf]
  21. Lluís Vila, Han Reichgelt
    The Token Reification Approach to Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:83, n:1, pp:59-74 [Journal]
  22. Ioannis Hatzilygeroudis, Han Reichgelt
    ACT-P: A Configurable Theorem-Power. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 1994, v:12, n:3, pp:277-296 [Journal]
  23. Ioannis Hatzilygeroudis, Han Reichgelt
    Handling Inheritance in a System Integrating Logic in Objects. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 1997, v:21, n:3, pp:253-280 [Journal]
  24. Lila Rao, Han Reichgelt
    STIRDAT: A system tightly integrating relational databases and a theorem prover. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2000, v:34, n:1, pp:1-20 [Journal]
  25. Gunjan Mansingh, Han Reichgelt, Kweku-Muata Osei-Bryson
    CPEST: An expert system for the management of pests and diseases in the Jamaican coffee industry. [Citation Graph (0, 0)][DBLP]
    Expert Syst. Appl., 2007, v:32, n:1, pp:184-192 [Journal]
  26. J. Stuart Aitken, Han Reichgelt, Nigel Shadbolt
    Resolution Theorem Proving in Reified Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:12, n:1, pp:103-130 [Journal]
  27. Kieron O'Hara, Han Reichgelt, Nigel Shadbolt
    Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:475-495 [Journal]

  28. Knowledge Elicitation Techniques for Deriving Competency Questions for Ontologies. [Citation Graph (, )][DBLP]


  29. An IT program assessment process. [Citation Graph (, )][DBLP]


  30. A configurable assessment information system. [Citation Graph (, )][DBLP]


  31. A research agenda for information technology: does research literature already exist? [Citation Graph (, )][DBLP]


  32. The Georgia WebBSIT: an innovative collaborative online baccalaureate degree in information technology. [Citation Graph (, )][DBLP]


  33. Creating a 2+2 information technology degree program: the bachelor of applied science in information technology. [Citation Graph (, )][DBLP]


  34. Emergence of the Information Technology Discipline. [Citation Graph (, )][DBLP]


Search in 0.707secs, Finished in 0.709secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002