| ||Declarative Programming: Answer Set Programming/A-Prolog, Constraint Programming, Boolean Satisfiability|
| ||Knowledge Representation, Non-monotonic Reasoning, Commonsense|
| ||Intelligent Agents|
Current Research Activities
| ||Design of answer set based autonomous, rational agents|
| ||Extensions of A-Prolog: CR-Prolog|
| ||Integration of ASP, CP, and other computing paradigms|
| ||Non-Herbrand ASP|
| ||Planning, scheduling, diagnostics, learning|
| ||Unmanned vehicle collaboration in communication-constrained scenarios|
| ||Representation of and reasoning about cyber and cyber-physical systems|
| ||Data semantics discovery|
| ||Cybersecurity and automated threat mitigation|
| ||Modeling of and reasoning about brain functions|
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|
| ||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)|
| ||From Tweety-the-Penguin to Cybersecurity:Knowledge Representation and its Practical Uses,
GE Global Research, September 2015.
| ||Declarative Programming and Knowledge Representation: Overview and Practical Aspects,
Cigna, September 2015.
| ||Theoretical and Practical Aspects of Knowledge Representation and Reasoning,
IBM's Cognitive Systems Institute Group (CSIG), August 2015.
| ||Knowledge Representation for Situation-Aware Operations Support,
U.S. Army Communications-Electronics RD&E Center (CERDEC), August 2014.
| ||Challenges in Knowledge Representation and Reasoning,
Agent Technology Center, Czech Technical University, July 2014.
| ||Some Recent Advances in Answer Set Programming (from the Perspective of NLP),
1st Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2013).
| ||Intelligent Systems, Rational Behavior, and Rapid Development,
Drexel University, Apr 2013.
| ||Model-Based Development of Intelligent Systems: the Answer Set Programming Approach,
Eastman Kodak Company, Jun, 2007.
| ||Model-Based Development of Intelligent Systems,
Loyola College, Mar, 2007.
| ||Answer Set Based Design of Autonomous, Rational Agents,
New Mexico State University, Nov 18, 2005.
| ||Progress Report on Logic Form Translator,
University of Texas at Dallas, Feb 4, 2005.
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,
2nd Workshop on Natural Language Processing and Automated Reasoning (NLPAR2015),
ICLP16 Workshop Chair,
14th International Conference on Logic Programming and Nonmonotonic Reasoning 2017 (LPNMR17)
| ||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, RR2013, NLPAR2013, LNMR2013, ASPOCP13,
KR&Robotics13, GTTV13, KR 2014, AAAI14, ICLP14, RR 2014, NMR14, ECAI14, ASPOCP14, AAAI15, LPNMR15, IJCAI15, RR2015, GTTV2015,
PADL15, ASPOCP15, ALPP15, RCRA15, AAAI16, AAAI16 (student-program), IJCAI16, KnowProS@IJCAI 2016, ICLP16, GCCR16, ECAI16, ASPOCP16|
| ||Reviewer for TPLP, AIJ, ACM TIST, ACM TOCL, ACM TOPLAS, JAAMAS, JLC, Fundamenta Informaticae, Science of Computer Programming, JANCL journals|
| ||Reviewer for various conferences and workshops, including: AAAI, ICLP, JELIA, KR, LPNMR, PADL|
| ||Webmaster of the KRLab site|
| ||Administrator of the KRLab Forum|
| ||clingof, an inference engine that efficiently computes the answer sets of ASP programs with non-Herbrand functions|
| ||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|
| ||crmodels2, an inference engine for CR-Prolog|
| ||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