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
    (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)
    (PDF)
  3. Michael Gelfond, Yuanlin Zhang:
    Vicious Circle Principle, Aggregates, and Formation of Sets in ASP Based Languages
    Accepted by Artificial Intelligence journal (2019)
    (PDF)
  4. Edward Wertz:
    Effective Reasoning Systems for ASP Related Paradigms
    Ph.D. Dissertation, Texas Tech University, August 2019
    (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
    (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 
    (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 
    (PDF)
  10. Vu Phan:
    Syntactic Conditions for Antichain Property in Consistency Restoring Prolog
    ASPOCP 2018
    (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
    (PDF)
  13. Yuliya Lierler, Daniela Inclezan, Michael Gelfond:
    Action Languages and Question Answering
    IWCS 2017
    (PDF)
  14. Evgenii Balai
    Investigating and Extending P-log
    Ph.D. Dissertation, Texas Tech University, December 2017
    (PDF)
  15. Evgenii Balai and Michael Gelfond
    Refining and Generalizing P-log - Preliminary Report
    In Proceedings of ASPOCP@LPNMR 2017
    (PDF)
  16. Michael Gelfond, Yuanlin Zhang
    Vicious Circle Principle and Formation of Sets in ASP Based Languages
    In Proceedings of LPNMR 2017.
    (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
    (PDF)
  18. Esra Erdem, Michael Gelfond, Nicola Leone:
    Applications of Answer Set Programming.
    AI Magazine 37(3), 2016
    (PDF)
  19. Daniela Inclezan, Michael Gelfond:
    Modular action language.
    TPLP 16(2), 2016
    (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
    (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
    (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
    (PDF)
  24. Evgenii Balai and Michael Gelfond
    On the Relationship between P-log and LP^MLN
    In Proceedings of IJCAI-16, 2016.
    (PDF)
  25. Daniela Inclezan and Michael Gelfond
    Modular Action Language ALM
    To appear on TPLP, 2015.
    (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.
    (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.
    (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.
    (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
    (PDF)
  32. Justin Blount
    An Architecture for Intentional Agents
    Ph.D. Dissertation, Texas Tech University, December 2013
    (PDF)
  33. Evgenii Balai, Michael Gelfond, Yuanlin Zhang
    Towards Answer Set Programming with Sorts.
    In Proceedings of LPNMR-2013
    (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
    (PDF)
  35. Wei Li, Yuanlin Zhang and George Fitzmaurice.
    TutorialPlan: Automated Tutorial Generation from CAD Drawings.
    In Proceedings of IJCAI, 2013.
    (PDF)
  36. Marcello Balduccini and Michael Gelfond.
    Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules. 2012
    (PDF)
  37. Michael Gelfond and Daniela Inclezan.
    Some Properties of System Descriptions of ALd. 2012
    (PDF)
  38. Yana Todorova and Michael Gelfond.
    Toward Question Answering in Travel Domains: locations of participants and cardinalites of groups. February 12, 2012
    (PDF)
  39. Daniela Inclezan.
    Modeling a Theory of Second Language Acquisition in ASP
    14th International Workshop on Non-Monotonic Reasoning, 2012
    (PDF)
  40. Daniela Inclezan.
    Modular Action Language ALM for Dynamic Domain Representation
    Ph.D. Dissertation, Texas Tech University, August 2012
    (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
    (PDF, Long version with proof PDF )
  42. Weijun Zhu.
    PLOG: its Algorithms and Applications
    Ph.D. Dissertation, Texas Tech University, May 2012
    (PDF)
  43. Justin Blount and Michael Gelfond.
    Reasoning about the Intentions of Agents. 2012
    (PDF)
  44. Michael Gelfond and Vladimir Lifschitz.
    The Common Core of Action Languages B and C. 2012
    (PDF)
  45. Michael Gelfond.
    New Semantics for Epistemic Specifications.
     In Proceedings of LPNMR 2011
    (PDF)
  46. Michael Gelfond.
    Personal Perspective on the Development of Logic Programming Based KR Languages. 2011
    (PDF)
  47. Daniela Inclezan and Michael Gelfond.
    Representing Biological Processes in Modular Action Language ALM. 2011
    (PDF)
  48. Michael Gelfond and Nelson Rushton.
    Chapter 19. Causal and Probabilistic Reasoning in P-log. 2011
    (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
    (PDF)
  50. Daniela Inclezan.
    Computing Trajectories of Dynamic Systems Using ASP and Flora-2.
    In NonMon@30: Thirty Years of Nomonotonic Reasoning, 2010.
    (PDF)
  51. Michael Gelfond and Daniela Inclezan.
    Reasoning about Dynamic Domains in Modular Action Language ALM.
    Technical report, Texas Tech University, 2010.
    (PDF)
  52. Sandeep Chintabathina.
    Towards Answer Set Programming Based Architectures for Intelligent Agents.
    PhD thesis, Texas Tech University, Dec 2010.
    (PDF)
  53. Ricardo Morales.
    Improving Efficiency of Solving Computational Problems with ASP.
    PhD thesis, Texas Tech University, Dec 2010.
    (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.
    (PDF)
  56. Chitta Baral, Michael Gelfond, and Nelson Rushton.
    Probabilistic reasoning with answer sets.
    Theory and Practice of Logic Programming, 2008.
    (PDF)
  57. Michael Gelfond and Jorge Lobo.
    Authorization and Obligation Policies in Dynamic Systems.
    In 24th International Conference on Logic Programming (ICLP08), 2008.
    (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.
    (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.
    (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.
    (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.
    (PDF)
  62. Marcello Balduccini.
    Learning Action Descriptions with A-Prolog: Action Language C.
    In CommonSense'07, 2007.
    (PDF)
  63. Marcello Balduccini, Chitta Baral, and Yuliya Lierler.
    Handbook of Knowledge Representation, chapter 20. Knowledge Representation and Question Answering.
    Elsevier, 2007.
    (PDF)
  64. Sandeep Chintabathina, Michael Gelfond, and Richard Watson.
    Defeasible laws, parallel actions, and reasoning about resources.
    In CommonSense'07, 2007.
    (PDF)
  65. Eugene C. Freuder, James Bowen, Scott Shannon, Yuanlin Zhang, and Chavalit Likitvivatanavong.
    Arc Consistency during Search.
    In Proceedings of IJCAI-07, 2007.
    (PDF)
  66. Michael Gelfond.
    Handbook of Knowledge Representation, chapter 7. Answer Sets.
    Elsevier, 2007.
    (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.
    (PDF)
  68. Veena S. Mellarkod.
    Integrating ASP and CLP Systems: Computing Answer Sets from Partially Ground Programs.
    PhD thesis, Texas Tech University, 2007.
    (PDF)
  69. Yuanlin Zhang.
    Fast Algorithm for Connected Row Convex Constraints.
    In Proceedings of IJCAI-07, 2007.
    (PDF)
  70. Yuanlin Zhang and Eugene C. Freuder.
    Properties of Tree Convex Constraints.
    Artificial Intelligence, 2007.
    (PDF)
  71. Zhijun Lin.
    Efficient SAT-based Answer Set Solver.
    PhD thesis, Texas Tech University, Dec 2007.
    (PDF)
  72. Gregory Gelfond and Richard Watson.
    Modeling Cooperative Multi-Agent Systems.
    In Proceedings of ASP'07, pages 67-81, Sep 2007.
    (PDF)
  73. Marcello Balduccini.
    CR-MODELS: An Inference Engine for CR-Prolog.
    In LPNMR 2007, May 2007.
    (PDF)
  74. Marcello Balduccini.
    Modules and Signature Declarations for A-Prolog: Progress Report.
    In Software Engineering for Answer Set Programming Workshop (SEA07), May 2007.
    (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.
    (PDF)
  77. Marcello Balduccini.
    Computing Answer Sets of CR-Prolog Programs.
    Technical report, Texas Tech University, 2006.
    (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.
    (PDF)
  79. Marcello Balduccini, Michael Gelfond, and Monica Nogueira.
    Answer Set Based Design of Knowledge Systems.
    Annals of Mathematics and Artificial Intelligence, 2006.
    (PDF)
  80. Michael Gelfond.
    Going places - notes on a modular development of knowledge about travel.
    In AAAI Spring 2006 Symposium, pages 56-66, 2006.
    (PDF)
  81. Michael Gelfond, Nelson Rushton, and Weijun Zhu.
    Combining Logical and Probabilistic Reasoning.
    In AAAI Spring 2006 Symposium, pages 50-55, 2006.
    (PDF)
  82. Zhijun Lin, Yuanlin Zhang, and H. J. Hernandez.
    Fast SAT-based Answer Set Solver.
    In AAAI'06, 2006.
    (PDF)
  83. Marcello Balduccini and Michael Gelfond.
    Model-Based Reasoning for Complex Flight Systems.
    In Infotech@Aerospace (American Institute of Aeronautics and Astronautics), 2005.
    (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.
    (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.
    (PDF)
  86. Chitta Baral and Michael Gelfond.
    Reasoning about intended actions.
    In AAAI'05, pages 689-694, 2005.
    (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.
    (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)
  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.
    (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.
    (PDF)
  91. Marcello Balduccini.
    Answer Set Based Design of Highly Autonomous, Rational Agents.
    PhD thesis, Texas Tech University, Dec 2005.
    (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.
    (PDF)
  94. Michael Gelfond and Ricardo Morales.
    Encoding Conformant Planning in A-Prolog.
    In DRT'04, 2004.
    (Postscript, gzipped Postscript, PDF)
  95. Sandeep Chintabathina.
    Modeling Hybrid Domains Using Process Description Language.
    Master's thesis, Texas Tech University, Dec 2004.
    (Postscript, gzipped Postscript, PDF)
  96. Loveleen Kolvekar.
    Developing an Inference Engine for CR-Prolog with Preferences.
    Master's thesis, Texas Tech University, Dec 2004.
    (Postscript, gzipped Postscript, PDF)
  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)
  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)
  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)
  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)
  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)
  102. Chitta Baral, Michael Gelfond, and Nelson Rushton.
    Probabilistic Reasoning with Answer Sets.
    In LPNMR-7, Jan 2004.
    (Postscript, gzipped Postscript, PDF)
  103. Marcello Balduccini and Michael Gelfond.
    Diagnostic reasoning with A-Prolog.
    (extended version of the article in TPLP), 2003.
    (Postscript, gzipped Postscript, PDF)
  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)
  105. Michael Gelfond and Richard Watson.
    Non-monotonic Logic.
    Encyclopedia of Cognitive Science, 2003.
    (Postscript, gzipped Postscript, PDF)
  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)
  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)
  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)
  109. Monica Nogueira.
    Building Knowledge Systems in A-Prolog.
    PhD thesis, University of Texas at El Paso, May 2003.
    (Postscript, gzipped Postscript, PDF)
  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)
  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)
  112. Michael Gelfond and Nicola Leone.
    Logic Programming and Knowledge Representation - An A-Prolog perspective.
    Artificial Intelligence, 2002.
    (Postscript, gzipped Postscript, PDF)
  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)
  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)
  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)
  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)
  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)
  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)
  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)
  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)
  121. Chitta Baral and Michael Gelfond.
    Logic Based Artificial Intelligence, chapter Reasoning Agents in Dynamic Domains.
    Kluwer, 2000.
    (Postscript, gzipped Postscript, PDF)

Quick Menu

Department of Computer Science

© 2024  Texas Tech UniversityNov 1, 2021  9:02 AM