Bibliography

1

Veena S. Mellarkod, Michael Gelfond, and Yuanlin Zhang.
Integrating Answer Set Programming and Constraint Logic Programming.
2008.
(submitted).
(PDF)

2

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)

3

Marcello Balduccini.
Learning Action Descriptions with A-Prolog: Action Language C.
In CommonSense'07, 2007.
(PDF)

4

Marcello Balduccini, Chitta Baral, and Yuliya Lierler.
Knowledge Representation and Question Answering, chapter 20.
Handbook of Knowledge Representation. Elsevier, 2007.
(PDF)

5

Sandeep Chintabathina, Michael Gelfond, and Richard Watson.
Defeasible laws, parallel actions, and reasoning about resources.
In CommonSense'07, 2007.
(PDF)

6

Eugene C. Freuder, James Bowen, Scott Shannon, Yuanlin Zhang, and Chavalit Likitvivatanavong.
Arc Consistency during Search.
In Proceedings of IJCAI-07, 2007.
(PDF)

7

Eugene C. Freuder and Yuanlin Zhang.
Properties of Tree Convex Constraints.
Artificial Intelligence, 2007.
(to appear).
(PDF)

8

Michael Gelfond.
Answer Sets, chapter 7.
Handbook of Knowledge Representation. Elsevier, 2007.
(PDF)

9

Veena S. Mellarkod.
Integrating ASP and CLP Systems: Computing Answer Sets from Partially Ground Programs.
PhD thesis, Texas Tech University, 2007.
(PDF)

10

Yuanlin Zhang.
Fast Algorithm for Connected Row Convex Constraints.
In Proceedings of IJCAI-07, 2007.
(PDF)

11

Yuanlin Zhang, Roland H. C. Yap, Scott Shannon, Chavalit Likitvivatanavong, and Christophe Lecoutre.
Maintaining Arc Consistency with Multiple Residues.
Constraint Programming Letters, 2007.
(to appear).
(PDF)

12

Zhijun Lin.
Efficient SAT-based Answer Set Solver.
PhD thesis, Texas Tech University, Dec 2007.
(PDF)

13

Gregory Gelfond and Richard Watson.
Modeling Cooperative Multi-Agent Systems.
In Proceedings of ASP'07, pages 67-81, Sep 2007.
(PDF)

14

Marcello Balduccini.
CR-MODELS: An Inference Engine for CR-Prolog.
In LPNMR 2007, May 2007.
(PDF)

15

Marcello Balduccini.
Modules and Signature Declarations for A-Prolog: Progress Report.
In Software Engineering for Answer Set Programming Workshop (SEA07), May 2007.
(PDF)

16

Veena S. Mellarkod and Michael Gelfond.
Enhancing ASP Systems for Planning with Temporal Constraints.
In LPNMR 2007, pages 309-314, May 2007.

17

Gregory Gelfond.
A Declarative Framework For Modeling Multi-Agent Systems.
Master's thesis, Computer Science Dept., Texas Tech University, Mar 2007.
(PDF)

18

Marcello Balduccini.
Computing Answer Sets of CR-Prolog Programs.
Technical report, Texas Tech University, 2006.
(PDF)

19

Marcello Balduccini.
Inductive Corrections of Action Descriptions (Extended Abstract).
In Proceedings of the 16th International Conference on Inductive Logic Programming, ILP 06, 2006.
(PDF)

20

Marcello Balduccini, Michael Gelfond, and Monica Nogueira.
Answer Set Based Design of Knowledge Systems.
Annals of Mathematics and Artificial Intelligence, 2006.
(PDF)

21

Michael Gelfond.
Going places - notes on a modular development of knowledge about travel.
In AAAI Spring 2006 Symposium, pages 56-66, 2006.
(PDF)

22

Michael Gelfond, Nelson Rushton, and Weijun Zhu.
Combining Logical and Probabilistic Reasoning.
In AAAI Spring 2006 Symposium, pages 50-55, 2006.
(PDF)

23

Zhijun Lin, Yuanlin Zhang, and H. J. Hernandez.
Fast SAT-based Answer Set Solver.
In AAAI'06, 2006.
(PDF)

24

Marcello Balduccini and Michael Gelfond.
Model-Based Reasoning for Complex Flight Systems.
In Infotech@Aerospace (American Institute of Aeronautics and Astronautics), 2005.
(PDF)

25

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)

26

Chitta Baral and Michael Gelfond.
Logic Programming and Reasoning about Actions, chapter 13, pages 389-426.
Handbook of Temporal Reasoning in Artificial Intelligence. Elsevier, 2005.
(PDF)

27

Chitta Baral and Michael Gelfond.
Reasoning about intended actions.
In AAAI'05, pages 689-694, 2005.
(PDF)

28

Chitta Baral, Michael Gelfond, and Nelson Rushton.
Probabilistic reasoning with answer sets.
Theory and Practice of Logic Programming, 2005.
(submitted).
(PDF)

29

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)

30

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)

31

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)

32

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)

33

Marcello Balduccini.
Answer Set Based Design of Highly Autonomous, Rational Agents.
PhD thesis, Texas Tech University, Dec 2005.
(PDF)

34

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)

35

Nicholas Gianoutsos.
Detecting Suspicious Input in Intelligent Systems using Answer Set Programming.
Master's thesis, Texas Tech University, May 2005.
(PDF)

36

Michael Gelfond and Ricardo Morales.
Encoding Conformant Planning in A-Prolog.
In DRT'04, 2004.
(Postscript, gzipped Postscript,PDF)

37

Sandeep Chintabathina.
Modeling Hybrid Domains Using Process Description Language.
Master's thesis, Texas Tech University, Dec 2004.
(Postscript, gzipped Postscript,PDF)

38

Loveleen Kolvekar.
Developing an Inference Engine for CR-Prolog with Preferences.
Master's thesis, Texas Tech University, Dec 2004.
(Postscript, gzipped Postscript,PDF)

39

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)

40

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)

41

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)

42

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)

43

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)

44

Chitta Baral, Michael Gelfond, and Nelson Rushton.
Probabilistic Reasoning with Answer Sets.
In LPNMR-7, Jan 2004.
(Postscript, gzipped Postscript,PDF)

45

Marcello Balduccini and Michael Gelfond.
Diagnostic reasoning with A-Prolog.
(extended version of the article in TPLP), 2003.
(Postscript, gzipped Postscript,PDF)

46

Marcello Balduccini and Michael Gelfond.
Logic Programs with Consistency-Restoring Rules.
In AAAI Spring 2003 Symposium, pages 9-18, 2003.
(Postscript, gzipped Postscript,PDF)

47

Michael Gelfond and Richard Watson.
Non-monotonic Logic.
Encyclopedia of Cognitive Science, 2003.
(Postscript, gzipped Postscript,PDF)

48

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)

49

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)

50

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)

51

Monica Nogueira.
Building Knowledge Systems in A-Prolog.
PhD thesis, University of Texas at El Paso, May 2003.
(Postscript, gzipped Postscript,PDF)

52

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)

53

Michael Gelfond.
Representing Knowledge in A-Prolog, volume 2408 of Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pages 413-451.
Springer-Verlag, Berlin, 2002.
(Postscript, gzipped Postscript,PDF)

54

Michael Gelfond and Nicola Leone.
Logic Programming and Knowledge Representation - An A-Prolog perspective.
Artificial Intelligence, 2002.
(Postscript, gzipped Postscript,PDF)

55

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)

56

Veena S. Mellarkod.
Optimizing The Computation Of Stable Models Using Merged Rules.
Master's thesis, Texas Tech University, May 2002.
(Postscript, gzipped Postscript,PDF)

57

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)

58

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)

59

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)

60

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)

61

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)

62

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)

63

Chitta Baral and Michael Gelfond.
Reasoning Agents in Dynamic Domains.
Logic Based Artificial Intelligence. Kluwer, 2000.
(Postscript, gzipped Postscript,PDF)

Back to KRLab Home