Texas Tech University, Department of Computer Science
TTU Home Whitacre College of Engineering Computer Science Research Knowledge Representation Lab

Knowledge Representation Lab: Papers

KR Lab papers
  1. Justin Blount, Michael Gelfond, and Marcello Balduccini
    Towards a Theory of Intentional Agents
    AAAI Stanford Spring Symposium on Knowledge Representation and Reasoning in Robotics, 2014.
    (PDF)
  2. Shiqi Zhang, Mohan Sridharan, Michael Gelfond, and Jeremy Wyatt
    Integrating Probabilistic Graphical Models and Declarative Programming for Knowledge Representation and Reasoning in Robotics
    In the Planning and Robotics (PlanRob) Workshop at the International Conference on Automated Planning and Scheduling (ICAPS), June 22-23, 2014.
    (PDF)
  3. Michael Gelfond and Yuanlin Zhang
    Vicious Circle Principle and Logic Programs with Aggregates
    In Proceedings of ICLP-2014
    (PDF)
  4. Justin Blount
    An Architecture for Intentional Agents
    Ph.D. Dissertation, Texas Tech University, December 2013
    (PDF)
  5. Evgenii Balai, Michael Gelfond, Yuanlin Zhang
    Towards Answer Set Programming with Sorts. In Proceedings of LPNMR-2013
    (PDF)
  6. Qian Liu, Zhiqiang Gao, Bing Liu, and Yuanlin Zhang
    A Logic Programming Approach to Aspect Extraction in Opinion Mining. In Proceedings of International Conference on Web Intelligence (WI), 2013
    (PDF)
  7. Wei Li, Yuanlin Zhang and George Fitzmaurice.
    TutorialPlan: Automated Tutorial Generation from CAD Drawings. In Proceedings of IJCAI, 2013.
    (PDF)
  8. Marcello Balduccini and Michael Gelfond.
    Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules. 2012
    (PDF)
  9. Michael Gelfond and Daniela Inclezan.
    Some Properties of System Descriptions of ALd. 2012
    (PDF)
  10. Yana Todorova and Michael Gelfond.
    Toward Question Answering in Travel Domains: locations of participants and cardinalites of groups. February 12, 2012
    (PDF)
  11. Daniela Inclezan.
    Modeling a Theory of Second Language Acquisition in ASP
    14th International Workshop on Non-Monotonic Reasoning, 2012
    (PDF)
  12. Daniela Inclezan.
    Modular Action Language ALM for Dynamic Domain Representation
    Ph.D. Dissertation, Texas Tech University, August 2012
    (PDF)
  13. Evgenii Balai, Michael Gelfond, and Yuanlin Zhang.
    SPARC – Sorted ASP with Consistency Restoring
    5th Workshop on Answer Set Programming and Other Computing Paradigms, 2012
    (PDF, Long version with proof PDF )
  14. Weijun Zhu.
    PLOG: its Algorithms and Applications
    Ph.D. Dissertation, Texas Tech University, May 2012
    (PDF)
  15. Justin Blount and Michael Gelfond.
    Reasoning about the Intentions of Agents. 2012
    (PDF)
  16. Michael Gelfond and Vladimir Lifschitz.
    The Common Core of Action Languages B and C. 2012
    (PDF)
  17. Michael Gelfond.
    New Semantics for Epistemic Specifications. In Proceedings of LPNMR 2011
    (PDF)
  18. Michael Gelfond.
    Personal Perspective on the Development of Logic Programming Based KR Languages. 2011
    (PDF)
  19. Daniela Inclezan and Michael Gelfond.
    Representing Biological Processes in Modular Action Language ALM. 2011
    (PDF)
  20. Michael Gelfond and Nelson Rushton.
    Chapter 19. Causal and Probabilistic Reasoning in P-log. 2011
    (PDF)
  21. Richard Scherl, Daniela Inclezan, and Michael Gelfond.
    Automated Inference of Socio-Cultural Information From Natural Language Conversations.
    In SIN--The Second International Symposium on Social Intelligence and Networking, 2010
    (PDF)
  22. Daniela Inclezan.
    Computing Trajectories of Dynamic Systems Using ASP and Flora-2.
    In NonMon@30: Thirty Years of Nomonotonic Reasoning, 2010.
    (PDF)
  23. Michael Gelfond and Daniela Inclezan.
    Reasoning about Dynamic Domains in Modular Action Language ALM.
    Technical report, Texas Tech University, 2010.
    (PDF)
  24. Sandeep Chintabathina.
    Towards Answer Set Programming Based Architectures for Intelligent Agents.
    PhD thesis, Texas Tech University, Dec 2010.
    (PDF)
  25. Ricardo Morales.
    Improving Efficiency of Solving Computational Problems with ASP.
    PhD thesis, Texas Tech University, Dec 2010.
    (PDF)
  26. Marcello Balduccini and Tran Cao Son, editors.
    Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond, Nov 2010.
  27. Michael Gelfond and Daniela Inclezan.
    Yet Another Modular Action Language.
    (draft), 2009.
    (PDF)
  28. Chitta Baral, Michael Gelfond, and Nelson Rushton.
    Probabilistic reasoning with answer sets.
    Theory and Practice of Logic Programming, 2008.
    (PDF)
  29. Michael Gelfond and Jorge Lobo.
    Authorization and Obligation Policies in Dynamic Systems.
    In 24th International Conference on Logic Programming (ICLP08), 2008.
    (PDF)
  30. Veena S. Mellarkod and Michael Gelfond.
    Integrating Answer Set Reasoning with Constraint Solving Techniques.
    In Ninth International Symposium on Functional and Logic Programming (FLOPS08), 2008.
    (PDF)
  31. Veena S. Mellarkod, Michael Gelfond, and Yuanlin Zhang.
    Integrating Answer Set Programming and Constraint Logic Programming.
    Annals of Mathematics and Artificial Intelligence, 2008.
    (PDF)
  32. Ricardo Morales, Michael Gelfond, Tran Cao Son, and Phan Huy Tu.
    Approximation of Action Theories and Its Application to Conformant Planning.
    Artificial Intelligence, 2008.
    (PDF)
  33. Marcello Balduccini and Michael Gelfond.
    The AAA Architecture: An Overview.
    In AAAI Spring Symposium 2008 on Architectures for Intelligent Theory-Based Agents (AITA08), Mar 2008.
    (PDF)
  34. Marcello Balduccini.
    Learning Action Descriptions with A-Prolog: Action Language C.
    In CommonSense'07, 2007.
    (PDF)
  35. Marcello Balduccini, Chitta Baral, and Yuliya Lierler.
    Handbook of Knowledge Representation, chapter 20. Knowledge Representation and Question Answering.
    Elsevier, 2007.
    (PDF)
  36. Sandeep Chintabathina, Michael Gelfond, and Richard Watson.
    Defeasible laws, parallel actions, and reasoning about resources.
    In CommonSense'07, 2007.
    (PDF)
  37. Eugene C. Freuder, James Bowen, Scott Shannon, Yuanlin Zhang, and Chavalit Likitvivatanavong.
    Arc Consistency during Search.
    In Proceedings of IJCAI-07, 2007.
    (PDF)
  38. Michael Gelfond.
    Handbook of Knowledge Representation, chapter 7. Answer Sets.
    Elsevier, 2007.
    (PDF)
  39. Christophe Lecoutre, Chavalit Likitvivatanavong, Scott Shannon, Roland H. C. Yap, and Yuanlin Zhang.
    Maintaining Arc Consistency with Multiple Residues.
    Constraint Programming Letters, 2007.
    (PDF)
  40. Veena S. Mellarkod.
    Integrating ASP and CLP Systems: Computing Answer Sets from Partially Ground Programs.
    PhD thesis, Texas Tech University, 2007.
    (PDF)
  41. Yuanlin Zhang.
    Fast Algorithm for Connected Row Convex Constraints.
    In Proceedings of IJCAI-07, 2007.
    (PDF)
  42. Yuanlin Zhang and Eugene C. Freuder.
    Properties of Tree Convex Constraints.
    Artificial Intelligence, 2007.
    (PDF)
  43. Zhijun Lin.
    Efficient SAT-based Answer Set Solver.
    PhD thesis, Texas Tech University, Dec 2007.
    (PDF)
  44. Gregory Gelfond and Richard Watson.
    Modeling Cooperative Multi-Agent Systems.
    In Proceedings of ASP'07, pages 67-81, Sep 2007.
    (PDF)
  45. Marcello Balduccini.
    CR-MODELS: An Inference Engine for CR-Prolog.
    In LPNMR 2007, May 2007.
    (PDF)
  46. Marcello Balduccini.
    Modules and Signature Declarations for A-Prolog: Progress Report.
    In Software Engineering for Answer Set Programming Workshop (SEA07), May 2007.
    (PDF)
  47. Veena S. Mellarkod and Michael Gelfond.
    Enhancing ASP Systems for Planning with Temporal Constraints.
    In LPNMR 2007, pages 309-314, May 2007.
  48. Gregory Gelfond.
    A Declarative Framework For Modeling Multi-Agent Systems.
    Master's thesis, Computer Science Dept., Texas Tech University, Mar 2007.
    (PDF)
  49. Marcello Balduccini.
    Computing Answer Sets of CR-Prolog Programs.
    Technical report, Texas Tech University, 2006.
    (PDF)
  50. Marcello Balduccini.
    Inductive Corrections of Action Descriptions (Extended Abstract).
    In Proceedings of the 16th International Conference on Inductive Logic Programming, ILP 06, 2006.
    (PDF)
  51. Marcello Balduccini, Michael Gelfond, and Monica Nogueira.
    Answer Set Based Design of Knowledge Systems.
    Annals of Mathematics and Artificial Intelligence, 2006.
    (PDF)
  52. Michael Gelfond.
    Going places - notes on a modular development of knowledge about travel.
    In AAAI Spring 2006 Symposium, pages 56-66, 2006.
    (PDF)
  53. Michael Gelfond, Nelson Rushton, and Weijun Zhu.
    Combining Logical and Probabilistic Reasoning.
    In AAAI Spring 2006 Symposium, pages 50-55, 2006.
    (PDF)
  54. Zhijun Lin, Yuanlin Zhang, and H. J. Hernandez.
    Fast SAT-based Answer Set Solver.
    In AAAI'06, 2006.
    (PDF)
  55. Marcello Balduccini and Michael Gelfond.
    Model-Based Reasoning for Complex Flight Systems.
    In Infotech@Aerospace (American Institute of Aeronautics and Astronautics), 2005.
    (PDF)
  56. Chitta Baral, Gregory Gelfond, Michael Gelfond, and Richard Scherl.
    Textual Inference by Combining Multiple Logic Programming Paradigms.
    In AAAI'05 Workshop on Inference for Textual Question Answering, 2005.
    (PDF)
  57. Chitta Baral and Michael Gelfond.
    Handbook of Temporal Reasoning in Artificial Intelligence, chapter 13. Logic Programming and Reasoning about Actions, pages 389-426.
    Elsevier, 2005.
    (PDF)
  58. Chitta Baral and Michael Gelfond.
    Reasoning about intended actions.
    In AAAI'05, pages 689-694, 2005.
    (PDF)
  59. S. Baselice, P. A. Bonatti, and Michael Gelfond.
    Towards an Integration of Answer Set and Constraint Solving.
    In Proceedings of ICLP 2005, pages 52-66, 2005.
    (PDF)
  60. Sandeep Chintabathina, Michael Gelfond, and Richard Watson.
    Modeling Hybrid Domains Using Process Description Language.
    In Proceedings of ASP '05 – Answer Set Programming: Advances in Theory and Implementation, pages 303-318, 2005.
    (Postscript, gzipped Postscript,PDF)
  61. Tran Cao Son, Phan Huy Tu, Michael Gelfond, and Ricardo Morales.
    An Approximation of Action Theories of and its Application to Conformant Planning.
    In LPNMR'05, pages 172-184, 2005.
    (PDF)
  62. Tran Cao Son, Phan Huy Tu, Michael Gelfond, and Ricardo Morales.
    Conformant Planning for Domains with Constraints -- A New Approach.
    In AAAI'05, pages 1211-1216, 2005.
    (PDF)
  63. Marcello Balduccini.
    Answer Set Based Design of Highly Autonomous, Rational Agents.
    PhD thesis, Texas Tech University, Dec 2005.
    (PDF)
  64. Marcello Balduccini, Enrico Pontelli, Omar Elkhatib, and Hung Le.
    Issues in Parallel Execution of Non-monotonic Reasoning Systems.
    Parallel Computing, 31(6):608 - 647, Jun 2005.
    (Postscript, gzipped Postscript,PDF)
  65. Nicholas Gianoutsos.
    Detecting Suspicious Input in Intelligent Systems using Answer Set Programming.
    Master's thesis, Texas Tech University, May 2005.
    (PDF)
  66. Michael Gelfond and Ricardo Morales.
    Encoding Conformant Planning in A-Prolog.
    In DRT'04, 2004.
    (Postscript, gzipped Postscript,PDF)
  67. Sandeep Chintabathina.
    Modeling Hybrid Domains Using Process Description Language.
    Master's thesis, Texas Tech University, Dec 2004.
    (Postscript, gzipped Postscript,PDF)
  68. Loveleen Kolvekar.
    Developing an Inference Engine for CR-Prolog with Preferences.
    Master's thesis, Texas Tech University, Dec 2004.
    (Postscript, gzipped Postscript,PDF)
  69. Michael Gelfond.
    Answer Set Programming and the Design of Deliberative Agents.
    In Bart Demoen and Vladimir Lifschitz, editors, Procs. of 20th International Conference on Logic Programming, number 3132 in Lecture Notes in Artificial Intelligence (LNCS), pages 19-26, Sep 2004.
    (Postscript, gzipped Postscript,PDF)
  70. Marcello Balduccini.
    USA-Smart: Improving the Quality of Plans in Answer Set Planning.
    In PADL'04, Lecture Notes in Artificial Intelligence (LNCS), Jun 2004.
    (Postscript, gzipped Postscript,PDF)
  71. Marcello Balduccini and Veena S. Mellarkod.
    CR-Prolog with Ordered Disjunction.
    In International Workshop on Non-Monotonic Reasoning, NMR2004, Jun 2004.
    (Postscript, gzipped Postscript,PDF)
  72. Chitta Baral, Michael Gelfond, and Richard Scherl.
    Using answer set programming to answer complex queries.
    In Workshop on Pragmatics of Question Answering at HLT-NAAC2004 (Human Language Technology - Annual Meeting for North American Association for Computational Linguistics), May 2004.
    (Postscript, gzipped Postscript,PDF)
  73. Marcello Balduccini and Veena S. Mellarkod.
    A-Prolog with CR-Rules and Ordered Disjunction.
    In ICISIP'04, pages 1-6, Jan 2004.
    (Postscript, gzipped Postscript,PDF)
  74. Chitta Baral, Michael Gelfond, and Nelson Rushton.
    Probabilistic Reasoning with Answer Sets.
    In LPNMR-7, Jan 2004.
    (Postscript, gzipped Postscript,PDF)
  75. Marcello Balduccini and Michael Gelfond.
    Diagnostic reasoning with A-Prolog.
    (extended version of the article in TPLP), 2003.
    (Postscript, gzipped Postscript,PDF)
  76. Marcello Balduccini and Michael Gelfond.
    Logic Programs with Consistency-Restoring Rules.
    In AAAI Spring 2003 Symposium, pages 9-18, 2003.
    (Postscript, gzipped Postscript,PDF)
  77. Michael Gelfond and Richard Watson.
    Non-monotonic Logic.
    Encyclopedia of Cognitive Science, 2003.
    (Postscript, gzipped Postscript,PDF)
  78. Marcello Balduccini and Veena S. Mellarkod.
    CR-Prolog2: CR-Prolog with Ordered Disjunction.
    In ASP03 Answer Set Programming: Advances in Theory and Implementation, volume 78 of CEUR Workshop proceedings, Sep 2003.
    (Postscript, gzipped Postscript,PDF)
  79. Michael Gelfond, Chitta Baral, and Graciela Gonzalez.
    Alan: An Action Language for Non-Markovian Domains.
    In IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'03), Aug 2003.
    (Postscript, gzipped Postscript,PDF)
  80. Marcello Balduccini and Michael Gelfond.
    Diagnostic reasoning with A-Prolog.
    Theory and Practice of Logic Programming, 3(4-5):425-461, Jul 2003.
    (Postscript, gzipped Postscript,PDF)
  81. Monica Nogueira.
    Building Knowledge Systems in A-Prolog.
    PhD thesis, University of Texas at El Paso, May 2003.
    (Postscript, gzipped Postscript,PDF)
  82. Enrico Pontelli, Marcello Balduccini, and F. Bermudez.
    Non-monotonic Reasoning on Beowulf Platforms.
    In Veronica Dahl and Philip Wadler, editors, PADL 2003, volume 2562 of Lecture Notes in Artificial Intelligence (LNCS), pages 37-57, Jan 2003.
    (Postscript, gzipped Postscript,PDF)
  83. Michael Gelfond.
    Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408, chapter Representing Knowledge in A-Prolog, pages 413-451.
    Springer-Verlag, Berlin, 2002.
    (Postscript, gzipped Postscript,PDF)
  84. Michael Gelfond and Nicola Leone.
    Logic Programming and Knowledge Representation - An A-Prolog perspective.
    Artificial Intelligence, 2002.
    (Postscript, gzipped Postscript,PDF)
  85. Marcello Balduccini, Michael Gelfond, Monica Nogueira, and Richard Watson.
    Planning with the USA-Advisor.
    In 3rd International NASA Workshop on Planning and Scheduling for Space, Sep 2002.
    (Postscript, gzipped Postscript,PDF)
  86. Veena S. Mellarkod.
    Optimizing The Computation Of Stable Models Using Merged Rules.
    Master's thesis, Texas Tech University, May 2002.
    (Postscript, gzipped Postscript,PDF)
  87. Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, and Matthew Barry.
    An A-Prolog decision support system for the Space Shuttle.
    In PADL 2001, pages 169-183, 2001.
    (Postscript, gzipped Postscript,PDF)
  88. Mary Lynn Heidt.
    Developing an inference engine for ASET-Prolog.
    Master's thesis, University of Texas at El Paso, Dec 2001.
    (Postscript, gzipped Postscript,PDF)
  89. Marcello Balduccini, Michael Gelfond, Monica Nogueira, and Richard Watson.
    The USA-Advisor: A Case Study in Answer Set Planning.
    In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 439-442, Sep 2001.
    (Postscript, gzipped Postscript,PDF)
  90. Michael Gelfond, Marcello Balduccini, and Joel Galloway.
    Diagnosing physical systems in A-Prolog.
    In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 213-225, Sep 2001.
    (Postscript, gzipped Postscript,PDF)
  91. Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, and Matthew Barry.
    An A-Prolog decision support system for the Space Shuttle.
    In AAAI Spring 2001 Symposium, Mar 2001.
    (Postscript, gzipped Postscript,PDF)
  92. Marcello Balduccini, Michael Gelfond, and Monica Nogueira.
    A-Prolog as a tool for declarative programming.
    In Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE-2000), pages 63-72, 2000.
    (Postscript, gzipped Postscript,PDF)
  93. Chitta Baral and Michael Gelfond.
    Logic Based Artificial Intelligence, chapter Reasoning Agents in Dynamic Domains.
    Kluwer, 2000.
    (Postscript, gzipped Postscript,PDF)