Research Interests
| Knowledge Representation |
| Commonsense Reasoning |
| Intelligent Agents |
| Robotics |
Current Research Activities
| Design of answer set based autonomous, rational agents |
| Extensions of A-Prolog: CR-Prolog |
| Planning, Diagnostics, Learning with A-Prolog and CR-Prolog |
| Representation of and reasoning about complex flight systems, e.g. the Reaction Control System of the Space Shuttle |
| Deep reasoning for natural language processing systems |
Past Research Activities
| Parallelization of the smodels algorithm using traditional parallel processing techniques |
| Computation of the answer sets of logic programs using neural networks |
| Extensions of A-Prolog: Epistemic Specification |
| Investigation of techniques for the integration of learning, planning, and action execution |
| Construction of a deliberative agent employing propositional learning and planning to interact with an initially unknown environment |
| Development of a module for SWI-Prolog supporting parallel processing |
Academic Activities
| Instructor for CS3361 Concepts of Programming Languages (Fall 2006, Spring 2007) |
| Instructor for CS4000 Java Applications (Summer 2002) |
| Instructor for Introductory Computer Science (Fall 1999) |
| Instructor for Algorithms and Data Structures (Fall 1999) |
Invited Talks
|
Publications
Click here for a list of my publications
Membership and Service
| Member of the Knowledge Representation Lab |
| Member of the Texas Action Group |
| Member of AAAI, AIAA |
| Member of the Program Committee of: LPNMR'05 Systems and Application Session, PREFS 2006, ASP07 |
| Reviewer for TPLP, AIJ, ACM TOCL journals |
| Reviewer for various conferences and workshops, including: AAAI, ICLP, JELIA, LPNMR, PADL |
| Webmaster of the KRLab site |
| Administrator of the KRLab Forum |
Software Development
| RSig, extension of lparse allowing the specification of modules and signatures |
| APLAgent Manager, Java-based interface for A-Prolog intelligent agents |
| crmodels, an inference engine for CR-Prolog (by L.Kolvekal and M.Balduccini) |
| Java interface for the A-Circuit system (by M.Balduccini, M.Gelfond, M.Nogueira) |
| RCS/USA-Advisor, Java interface for the USA-Advisor reasoning system (by M.Nogueira, M.Balduccini, M.Gelfond, R.Watson, M.Barry) |
| JInstall, Java-based abstract class for software installers -- used in the installers for the USA-Advisor and A-Circuit |
| crmodels3, prototype of an inference engine for CR-Prolog - OBSOLETE: use crmodels instead |
| Romeo, parallel implementation of the smodels algorithm |
| NNEngine, engine for the computation of the answer sets of logic programs based neural networks |
| MKAtoms, postprocessor for smodels |
| BibPHP, web site for the management of BibTeX bibliographies using PHP and MySQL |
| sismodels, frontend to smodels for Strong Introspection |
Spare-Time Activities and Interests
|