Texas Tech University

Knowledge Representation Lab: Papers

KRLab Papers

  1. Michael Gelfond and Evgenii Balai:
    Causal Analysis of Events Occurring in Trajectories of Dynamic Domains
    CAUSAL 2020
    (Causal Analysis of Events Occurring in Trajectories of Dynamic Domains PDF)
  2. Evgenii Balai, Michael Gelfond, Yuanlin Zhang:
    P-log: Refinement and a New Coherency Condition
    Annals of Mathematics and Artificial Intelligence volume 86, pages149–192(2019)
    (P-log: Refinement and a New Coherency Condition PDF)
  3. Michael Gelfond, Yuanlin Zhang:
    Vicious Circle Principle, Aggregates, and Formation of Sets in ASP Based Languages
    Accepted by Artificial Intelligence journal (2019)
    (Vicious Circle Principle, Aggregates, and Formation of Sets in ASP Based Languages PDF)
  4. Edward Wertz:
    Effective Reasoning Systems for ASP Related Paradigms
    Ph.D. Dissertation, Texas Tech University, August 2019
    (Effective Reasoning Systems for ASP Related Paradigms PDF)
  5. Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy Wyatt:
    REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
    Journal of Artificial Intelligence Research 65 (2019) 1-94
    (REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics PDF)
  6. Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang:
    Introducing Computer Science to High School Students Through Logic Programming
    TPLP 19(2): 204-228 (2019) 
    https://arxiv.org/abs/1808.03274
  7. Elias Marcopoulos, Yuanlin Zhang:
    onlineSPARC: A Programming Environment for Answer Set Programming 
    TPLP 19(2): 262-289 (2019)
    https://arxiv.org/abs/1809.08304
  8. Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray, Wendy Staffen:
    A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming AAAI 2019: 9737-9744 
    (A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming PDF)
  9. Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray:
    LP Based Integration of Computing and Science Education in Middle Schools
    CompEd 2019: 44-50 
    (LP Based Integration of Computing and Science Education in Middle Schools PDF)
  10. Vu Phan:
    Syntactic Conditions for Antichain Property in Consistency Restoring Prolog
    ASPOCP 2018
    (Syntactic Conditions for Antichain Property in Consistency Restoring Prolog PDF)
  11. Michael Gelfond, Yuanlin Zhang:
    Vicious Circle Principle and Logic Programs with Aggregates
    CoRR abs/1808.07050 (2018) 
    (See our AI Journal 2019 publication above for more recent work on this topic.)
    https://arxiv.org/abs/1808.07050
  12. Yan Zhang, Yuanlin Zhang:
    Epistemic Specifications and Conformant Planning 
    AAAI Workshops 2017
    (Epistemic Specifications and Conformant Planning  PDF)
  13. Yuliya Lierler, Daniela Inclezan, Michael Gelfond:
    Action Languages and Question Answering
    IWCS 2017
    (Action Languages and Question Answering PDF)
  14. Evgenii Balai
    Investigating and Extending P-log
    Ph.D. Dissertation, Texas Tech University, December 2017
    (Investigating and Extending P-log PDF)
  15. Evgenii Balai and Michael Gelfond
    Refining and Generalizing P-log - Preliminary Report
    In Proceedings of ASPOCP@LPNMR 2017
    (Refining and Generalizing P-log - Preliminary Report PDF)
  16. Michael Gelfond, Yuanlin Zhang
    Vicious Circle Principle and Formation of Sets in ASP Based Languages
    In Proceedings of LPNMR 2017.
    (Vicious Circle Principle and Formation of Sets in ASP Based Languages PDF)
  17. Christian Reotutar, Mbathio Diagne, Evgenii Balai, Edward Wertz, Peter Lee, Shao-Lon Yeh, and Yuanlin Zhang
    An Online Logic Programming Development Environment.
    In Proceedings of AAAI 2016
    (An Online Logic Programming Development Environment. PDF)
  18. Esra Erdem, Michael Gelfond, Nicola Leone:
    Applications of Answer Set Programming.
    AI Magazine 37(3), 2016
    (Applications of Answer Set Programming. PDF)
  19. Daniela Inclezan, Michael Gelfond:
    Modular action language.
    TPLP 16(2), 2016
    (Modular action language. PDF)
  20. Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
    An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
    In Proceedings of ICLP (Technical Communications), 2016
    (PDF)
  21. Mohan Sridharan, Michael Gelfond:
    Using Knowledge Representation and Reasoning Tools in the Design of Robots.
    In Proceedings of KnowProS@IJCAI 2016
    (Using Knowledge Representation and Reasoning Tools in the Design of Robots PDF)
  22. Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini:
    Reasoning about Truthfulness of Agents Using Answer Set Programming.
    In Proceedings of KR 2016
    (Reasoning about Truthfulness of Agents Using Answer Set Programming PDF)
  23. Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra:
    Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication.
    In Proceedings of PRIMA 2016
    (Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication PDF)
  24. Evgenii Balai and Michael Gelfond
    On the Relationship between P-log and LP^MLN
    In Proceedings of IJCAI-16, 2016.
    (On the Relationship between P-log and LP^MLN PDF)
  25. Daniela Inclezan and Michael Gelfond
    Modular Action Language ALM
    To appear on TPLP, 2015.
    (Modular Action Language ALM PDF)
  26. Qian Liu, Zhiqiang Gao, Bing Liu, and Yuanlin Zhang
    Automated Rule Selection for Aspect Extraction in Opinion Mining
    In Proceedings of IJCAI-15, 2015.
    (PDF)
  27. Shiqi Zhang, Mohan Sridharan, Michael Gelfond, and Jeremy Wyatt
    Towards an Architecture for Knowledge Representation and Reasoning in Robotics
    Sixth International Conference on Social Robotics, 2014.
    (Towards an Architecture for Knowledge Representation and Reasoning in Robotics PDF)
  28. Shiqi Zhang, Mohan Sridharan, Michael Gelfond, and Jeremy Wyatt
    An Architecture for Knowledge Representation and Reasoning in Robotics
    Sixth International Conference on Social Robotics, 2014.
    (An Architecture for Knowledge Representation and Reasoning in Robotics PDF)
  29. 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.
    (Towards a Theory of Intentional Agents PDF)
  30. 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)
  31. Michael Gelfond and Yuanlin Zhang
    Vicious Circle Principle and Logic Programs with Aggregates
    In Proceedings of ICLP-2014
    (Vicious Circle Principle and Logic Programs with Aggregates PDF)
  32. Justin Blount
    An Architecture for Intentional Agents
    Ph.D. Dissertation, Texas Tech University, December 2013
    (An Architecture for Intentional Agents PDF)
  33. Evgenii Balai, Michael Gelfond, Yuanlin Zhang
    Towards Answer Set Programming with Sorts.
    In Proceedings of LPNMR-2013
    (Towards Answer Set Programming with Sorts PDF)
  34. 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
    (A Logic Programming Approach to Aspect Extraction in Opinion Mining PDF)
  35. Wei Li, Yuanlin Zhang and George Fitzmaurice.
    TutorialPlan: Automated Tutorial Generation from CAD Drawings.
    In Proceedings of IJCAI, 2013.
    (TutorialPlan: Automated Tutorial Generation from CAD Drawings PDF)
  36. Marcello Balduccini and Michael Gelfond.
    Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules. 2012
    (Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules PDF)
  37. Michael Gelfond and Daniela Inclezan.
    Some Properties of System Descriptions of ALd. 2012
    (Some Properties of System Descriptions of AL PDF)
  38. Yana Todorova and Michael Gelfond.
    Toward Question Answering in Travel Domains: locations of participants and cardinalites of groups. February 12, 2012
    (Toward Question Answering in Travel Domains: locations of participants and cardinalites of groups PDF)
  39. Daniela Inclezan.
    Modeling a Theory of Second Language Acquisition in ASP
    14th International Workshop on Non-Monotonic Reasoning, 2012
    (Modeling a Theory of Second Language Acquisition in ASP PDF)
  40. Daniela Inclezan.
    Modular Action Language ALM for Dynamic Domain Representation
    Ph.D. Dissertation, Texas Tech University, August 2012
    (Modular Action Language ALM for Dynamic Domain Representation PDF)
  41. Evgenii Balai, Michael Gelfond, and Yuanlin Zhang.
    SPARC – Sorted ASP with Consistency Restoring
    5th Workshop on Answer Set Programming and Other Computing Paradigms, 2012
    (SPARC – Sorted ASP with Consistency Restoring PDF, Long version with proof PDF )
  42. Weijun Zhu.
    PLOG: its Algorithms and Applications
    Ph.D. Dissertation, Texas Tech University, May 2012
    (PLOG: its Algorithms and Applications PDF)
  43. Justin Blount and Michael Gelfond.
    Reasoning about the Intentions of Agents. 2012
    (Reasoning about the Intentions of Agents PDF)
  44. Michael Gelfond and Vladimir Lifschitz.
    The Common Core of Action Languages B and C. 2012
    (The Common Core of Action Languages B and C PDF)
  45. Michael Gelfond.
    New Semantics for Epistemic Specifications.
     In Proceedings of LPNMR 2011
    (New Semantics for Epistemic Specifications PDF)
  46. Michael Gelfond.
    Personal Perspective on the Development of Logic Programming Based KR Languages. 2011
    (Personal Perspective on the Development of Logic Programming Based KR Languages PDF)
  47. Daniela Inclezan and Michael Gelfond.
    Representing Biological Processes in Modular Action Language ALM. 2011
    (Representing Biological Processes in Modular Action Language ALM PDF)
  48. Michael Gelfond and Nelson Rushton.
    Chapter 19. Causal and Probabilistic Reasoning in P-log. 2011
    (Chapter 19. Causal and Probabilistic Reasoning in P-log PDF)
  49. 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
    (Automated Inference of Socio-Cultural Information From Natural Language Conversations PDF)
  50. Daniela Inclezan.
    Computing Trajectories of Dynamic Systems Using ASP and Flora-2.
    In NonMon@30: Thirty Years of Nomonotonic Reasoning, 2010.
    (Computing Trajectories of Dynamic Systems Using ASP and Flora-2 PDF)
  51. Michael Gelfond and Daniela Inclezan.
    Reasoning about Dynamic Domains in Modular Action Language ALM.
    Technical report, Texas Tech University, 2010.
    (Reasoning about Dynamic Domains in Modular Action Language ALM PDF)
  52. Sandeep Chintabathina.
    Towards Answer Set Programming Based Architectures for Intelligent Agents.
    PhD thesis, Texas Tech University, Dec 2010.
    (Towards Answer Set Programming Based Architectures for Intelligent Agents PDF)
  53. Ricardo Morales.
    Improving Efficiency of Solving Computational Problems with ASP.
    PhD thesis, Texas Tech University, Dec 2010.
    (Improving Efficiency of Solving Computational Problems with ASP. PDF)
  54. Marcello Balduccini and Tran Cao Son, editors.
    Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond, Nov 2010.
  55. Michael Gelfond and Daniela Inclezan.
    Yet Another Modular Action Language.
    (draft), 2009.
    (Yet Another Modular Action Language PDF)
  56. Chitta Baral, Michael Gelfond, and Nelson Rushton.
    Probabilistic reasoning with answer sets.
    Theory and Practice of Logic Programming, 2008.
    (Probabilistic reasoning with answer sets PDF)
  57. Michael Gelfond and Jorge Lobo.
    Authorization and Obligation Policies in Dynamic Systems.
    In 24th International Conference on Logic Programming (ICLP08), 2008.
    (Authorization and Obligation Policies in Dynamic Systems PDF)
  58. 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.
    (Integrating Answer Set Reasoning with Constraint Solving Techniques PDF)
  59. Veena S. Mellarkod, Michael Gelfond, and Yuanlin Zhang.
    Integrating Answer Set Programming and Constraint Logic Programming.
    Annals of Mathematics and Artificial Intelligence, 2008.
    (Integrating Answer Set Programming and Constraint Logic Programming PDF)
  60. Ricardo Morales, Michael Gelfond, Tran Cao Son, and Phan Huy Tu.
    Approximation of Action Theories and Its Application to Conformant Planning.
    Artificial Intelligence, 2008.
    (Approximation of Action Theories and Its Application to Conformant Planning PDF)
  61. 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.
    (The AAA Architecture: An Overview PDF)
  62. Marcello Balduccini.
    Learning Action Descriptions with A-Prolog: Action Language C.
    In CommonSense'07, 2007.
    (Learning Action Descriptions with A-Prolog: Action Language C PDF)
  63. Marcello Balduccini, Chitta Baral, and Yuliya Lierler.
    Handbook of Knowledge Representation, chapter 20. Knowledge Representation and Question Answering.
    Elsevier, 2007.
    (Handbook of Knowledge Representation, chapter 20. Knowledge Representation and Question Answering PDF)
  64. Sandeep Chintabathina, Michael Gelfond, and Richard Watson.
    Defeasible laws, parallel actions, and reasoning about resources.
    In CommonSense'07, 2007.
    (Defeasible laws, parallel actions, and reasoning about resources PDF)
  65. Eugene C. Freuder, James Bowen, Scott Shannon, Yuanlin Zhang, and Chavalit Likitvivatanavong.
    Arc Consistency during Search.
    In Proceedings of IJCAI-07, 2007.
    (Arc Consistency during Search PDF)
  66. Michael Gelfond.
    Handbook of Knowledge Representation, chapter 7. Answer Sets.
    Elsevier, 2007.
    (Handbook of Knowledge Representation PDF)
  67. Christophe Lecoutre, Chavalit Likitvivatanavong, Scott Shannon, Roland H. C. Yap, and Yuanlin Zhang.
    Maintaining Arc Consistency with Multiple Residues.
    Constraint Programming Letters, 2007.
    (Maintaining Arc Consistency with Multiple Residues PDF)
  68. Veena S. Mellarkod.
    Integrating ASP and CLP Systems: Computing Answer Sets from Partially Ground Programs.
    PhD thesis, Texas Tech University, 2007.
    (Integrating ASP and CLP Systems: Computing Answer Sets from Partially Ground Programs PDF)
  69. Yuanlin Zhang.
    Fast Algorithm for Connected Row Convex Constraints.
    In Proceedings of IJCAI-07, 2007.
    (Fast Algorithm for Connected Row Convex Constraints PDF)
  70. Yuanlin Zhang and Eugene C. Freuder.
    Properties of Tree Convex Constraints.
    Artificial Intelligence, 2007.
    (Properties of Tree Convex Constraints PDF)
  71. Zhijun Lin.
    Efficient SAT-based Answer Set Solver.
    PhD thesis, Texas Tech University, Dec 2007.
    (Efficient SAT-based Answer Set Solver PDF)
  72. Gregory Gelfond and Richard Watson.
    Modeling Cooperative Multi-Agent Systems.
    In Proceedings of ASP'07, pages 67-81, Sep 2007.
    (Modeling Cooperative Multi-Agent Systems PDF)
  73. Marcello Balduccini.
    CR-MODELS: An Inference Engine for CR-Prolog.
    In LPNMR 2007, May 2007.
    (CR-MODELS: An Inference Engine for CR-Prolog PDF)
  74. Marcello Balduccini.
    Modules and Signature Declarations for A-Prolog: Progress Report.
    In Software Engineering for Answer Set Programming Workshop (SEA07), May 2007.
    (Modules and Signature Declarations for A-Prolog: Progress Report PDF)
  75. Veena S. Mellarkod and Michael Gelfond.
    Enhancing ASP Systems for Planning with Temporal Constraints.
    In LPNMR 2007, pages 309-314, May 2007.
  76. Gregory Gelfond.
    A Declarative Framework For Modeling Multi-Agent Systems.
    Master's thesis, Computer Science Dept., Texas Tech University, Mar 2007.
    (A Declarative Framework For Modeling Multi-Agent Systems PDF)
  77. Marcello Balduccini.
    Computing Answer Sets of CR-Prolog Programs.
    Technical report, Texas Tech University, 2006.
    (Computing Answer Sets of CR-Prolog Programs PDF)
  78. Marcello Balduccini.
    Inductive Corrections of Action Descriptions (Extended Abstract).
    In Proceedings of the 16th International Conference on Inductive Logic Programming, ILP 06, 2006.
    (Inductive Corrections of Action Descriptions (Extended Abstract) PDF)
  79. Marcello Balduccini, Michael Gelfond, and Monica Nogueira.
    Answer Set Based Design of Knowledge Systems.
    Annals of Mathematics and Artificial Intelligence, 2006.
    (Answer Set Based Design of Knowledge Systems PDF)
  80. Michael Gelfond.
    Going places - notes on a modular development of knowledge about travel.
    In AAAI Spring 2006 Symposium, pages 56-66, 2006.
    (Going places - notes on a modular development of knowledge about travel PDF)
  81. Michael Gelfond, Nelson Rushton, and Weijun Zhu.
    Combining Logical and Probabilistic Reasoning.
    In AAAI Spring 2006 Symposium, pages 50-55, 2006.
    (Combining Logical and Probabilistic Reasoning PDF)
  82. Zhijun Lin, Yuanlin Zhang, and H. J. Hernandez.
    Fast SAT-based Answer Set Solver.
    In AAAI'06, 2006.
    (Fast SAT-based Answer Set Solver PDF)
  83. Marcello Balduccini and Michael Gelfond.
    Model-Based Reasoning for Complex Flight Systems.
    In Infotech@Aerospace (American Institute of Aeronautics and Astronautics), 2005.
    (Model-Based Reasoning for Complex Flight Systems PDF)
  84. 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.
    (Textual Inference by Combining Multiple Logic Programming Paradigms PDF)
  85. 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.
    (Handbook of Temporal Reasoning in Artificial Intelligence PDF)
  86. Chitta Baral and Michael Gelfond.
    Reasoning about intended actions.
    In AAAI'05, pages 689-694, 2005.
    (Reasoning about intended actions PDF)
  87. 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.
    (Towards an Integration of Answer Set and Constraint Solving PDF)
  88. 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 Here)
  89. 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.
    (An Approximation of Action Theories of and its Application to Conformant Planning PDF)
  90. 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.
    (Conformant Planning for Domains with Constraints -- A New Approach PDF)
  91. Marcello Balduccini.
    Answer Set Based Design of Highly Autonomous, Rational Agents.
    PhD thesis, Texas Tech University, Dec 2005.
    (Answer Set Based Design of Highly Autonomous, Rational Agents PDF)
  92. 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)
  93. Nicholas Gianoutsos.
    Detecting Suspicious Input in Intelligent Systems using Answer Set Programming.
    Master's thesis, Texas Tech University, May 2005.
    (Detecting Suspicious Input in Intelligent Systems using Answer Set Programming PDF)
  94. Michael Gelfond and Ricardo Morales.
    Encoding Conformant Planning in A-Prolog.
    In DRT'04, 2004.
    (Postscript, gzipped Postscript, PDF version)
  95. Sandeep Chintabathina.
    Modeling Hybrid Domains Using Process Description Language.
    Master's thesis, Texas Tech University, Dec 2004.
    (Postscript, gzipped Postscript, PDF version)
  96. Loveleen Kolvekar.
    Developing an Inference Engine for CR-Prolog with Preferences.
    Master's thesis, Texas Tech University, Dec 2004.
    (Postscript, gzipped Postscript, PDF version)
  97. 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 version)
  98. 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 version)
  99. 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 version)
  100. 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 version)
  101. 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 version)
  102. Chitta Baral, Michael Gelfond, and Nelson Rushton.
    Probabilistic Reasoning with Answer Sets.
    In LPNMR-7, Jan 2004.
    (Postscript, gzipped Postscript, PDF version)
  103. Marcello Balduccini and Michael Gelfond.
    Diagnostic reasoning with A-Prolog.
    (extended version of the article in TPLP), 2003.
    (Postscript, gzipped Postscript, PDF version)
  104. Marcello Balduccini and Michael Gelfond.
    Logic Programs with Consistency-Restoring Rules.
    In AAAI Spring 2003 Symposium, pages 9-18, 2003.
    (Postscript, gzipped Postscript, PDF version)
  105. Michael Gelfond and Richard Watson.
    Non-monotonic Logic.
    Encyclopedia of Cognitive Science, 2003.
    (Postscript, gzipped Postscript, PDF version)
  106. 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 version)
  107. 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 version)
  108. 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 version)
  109. Monica Nogueira.
    Building Knowledge Systems in A-Prolog.
    PhD thesis, University of Texas at El Paso, May 2003.
    (Postscript, gzipped Postscript, PDF version)
  110. 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 version)
  111. 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 version)
  112. Michael Gelfond and Nicola Leone.
    Logic Programming and Knowledge Representation - An A-Prolog perspective.
    Artificial Intelligence, 2002.
    (Postscript, gzipped Postscript, PDF version)
  113. 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 version)
  114. Veena S. Mellarkod.
    Optimizing The Computation Of Stable Models Using Merged Rules.
    Master's thesis, Texas Tech University, May 2002.
    (Postscript, gzipped Postscript, PDF version)
  115. 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 version)
  116. 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 version)
  117. 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 version)
  118. 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 version)
  119. 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 version)
  120. 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 version)
  121. Chitta Baral and Michael Gelfond.
    Logic Based Artificial Intelligence, chapter Reasoning Agents in Dynamic Domains.
    Kluwer, 2000.
    (Postscript, gzipped Postscript, PDF version)

Quick Menu

Department of Computer Science

© 2026  Texas Tech University Jan 30, 2026 8:19 AM