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 |
| | Integration of ASP and CLP: EZCSP |
| | Planning, Scheduling, Diagnostics, Learning |
| | Representation of and reasoning about complex physical systems |
Past Research Activities
| | 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 |
| | 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 |
| | Member of the GULP board of experts for best Ph.D. dissertation award (2009 and 2012) |
| | Area editor for KR and Non-Monotonic Reasoning, ALP Newsletter. |
| | Chair/co-chair: Architectures for Intelligent Theory-based Agents (2008 AAAI Spring Symposium Series),
ICLP09 Doctoral Consortium, ICLP10 Doctoral Consortium,
Answer Set Programming and Other Computing Paradigms workshop 2010 (ASPOCP10) and 2011 (ASPOCP11),
LPNMR13 Workshop Chair |
| | Member of the Program Committee of: LPNMR'05 Systems and Application Session, PREFS 2006, ASP07, DPPS@NMR08, ICLP08 (publicity), SEA'09, LOG-IC09, DP@NMR10, CILC2010, KR-10 DC, LPNMR-11, Commonsense-11, IJCAI'11 (Senior PC), ICLP11, Log-IC 2011, SEA'11, INAP11, PADL'12, KR-2012, NMR 2012, PPDP 2012, ICLP12, ASPOCP12 |
| | Reviewer for TPLP, AIJ, ACM TOCL, ACM TOPLAS, JAAMAS, JLC, Fundamenta Informaticae 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
| | EZCSP, an inference engine that integrates ASP and constraint programming |
| | 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
|
