The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Gelfond: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Gelfond, Vladimir Lifschitz
    The Stable Model Semantics for Logic Programming. [Citation Graph (58, 0)][DBLP]
    ICLP/SLP, 1988, pp:1070-1080 [Conf]
  2. Michael Gelfond, Vladimir Lifschitz
    Logic Programs with Classical Negation. [Citation Graph (9, 0)][DBLP]
    ICLP, 1990, pp:579-597 [Conf]
  3. Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
    The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. [Citation Graph (4, 9)][DBLP]
    PODS, 1986, pp:133-139 [Conf]
  4. Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
    On the Relationship Between Circumscription and Negation as Failure. [Citation Graph (4, 0)][DBLP]
    Artif. Intell., 1989, v:38, n:1, pp:75-94 [Journal]
  5. Michael Gelfond, Vladimir Lifschitz
    Classical Negation in Logic Programs and Disjunctive Databases. [Citation Graph (4, 0)][DBLP]
    New Generation Comput., 1991, v:9, n:3/4, pp:365-386 [Journal]
  6. Michael Gelfond
    On Stratified Autoepistemic Theories. [Citation Graph (3, 0)][DBLP]
    AAAI, 1987, pp:207-211 [Conf]
  7. Michael Gelfond, Halina Przymusinska
    Negation as Failure: Careful Closure Procedure. [Citation Graph (3, 0)][DBLP]
    Artif. Intell., 1986, v:30, n:3, pp:273-287 [Journal]
  8. Michael Gelfond, Halina Przymusinska
    Definitions in Epistemic Specifications. [Citation Graph (1, 0)][DBLP]
    LPNMR, 1991, pp:245-259 [Conf]
  9. Michael Gelfond, Vladimir Lifschitz
    Compiling Circumscriptive Theories into Logic Programs. [Citation Graph (1, 0)][DBLP]
    NMR, 1988, pp:74-99 [Conf]
  10. Chitta Baral, Michael Gelfond
    Logic Programming and Knowledge Representation. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:73-148 [Journal]
  11. Chitta Baral, Michael Gelfond, Alessandro Provetti
    Representing Actions: Laws, Observations and Hypotheses. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1997, v:31, n:1-3, pp:201-243 [Journal]
  12. Michael Gelfond, Vladimir Lifschitz
    Representing Action and Change by Logic Programs. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1993, v:17, n:2/3&4, pp:301-321 [Journal]
  13. Chitta Baral, Michael Gelfond
    Reasoning about Intended Actions. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:689-694 [Conf]
  14. Michael Gelfond
    Strong Introspection. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:386-391 [Conf]
  15. Michael Gelfond, Vladimir Lifschitz
    Compiling Circumscriptive Theories into Logic Programs. [Citation Graph (0, 0)][DBLP]
    AAAI, 1988, pp:455-449 [Conf]
  16. Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales
    Conformant Planning for Domains with Constraints-A New Approach. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:1211-1216 [Conf]
  17. Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
    A Preliminary Report on Integrating of Answer Set and Constraint Solving. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  18. Sandeep Chintabathina, Michael Gelfond, Richard Watson
    Modeling Hybrid Domains Using Process Description Language. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  19. Michael Gelfond, Joel Galloway
    Diagnosing Dynamic Systems in A Prolog. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  20. Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
    An A Prolog decision support system for the Space Shuttle. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  21. Michael Gelfond
    Representing Knowledge in A-Prolog. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:413-451 [Conf]
  22. Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov
    What are the Limitations of the Situation Calculus? [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:167-180 [Conf]
  23. Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
    Towards an Integration of Answer Set and Constraint Solving. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:52-66 [Conf]
  24. Michael Gelfond
    Answer Set Programming and the Design of Deliberative Agents. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:19-26 [Conf]
  25. Michael Gelfond, Vladimir Lifschitz
    Representing Actions in Extended Logic Programming. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:559-573 [Conf]
  26. Chitta Baral, Michael Gelfond
    Representing Concurrent Actions in Extended Logic Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:866-873 [Conf]
  27. Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
    Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1988, pp:435-443 [Conf]
  28. Michael Gelfond
    The USA-Advisor: A Case Study in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:566-568 [Conf]
  29. Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski
    Disjective Defaults. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:230-237 [Conf]
  30. Bonnie Traylor, Michael Gelfond
    Representing Null Values in Logic Programming. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:341-352 [Conf]
  31. Michael Gelfond, Tran Cao Son
    Reasoning with Prioritized Defaults. [Citation Graph (0, 0)][DBLP]
    LPKR, 1997, pp:164-223 [Conf]
  32. Marcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira
    The USA-Advisor: A Case Study in Answer Set Planning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:439-442 [Conf]
  33. Chitta Baral, Michael Gelfond, J. Nelson Rushton
    Probabilistic Reasoning With Answer Sets. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:21-33 [Conf]
  34. Michael Gelfond
    Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:222-223 [Conf]
  35. Michael Gelfond, Marcello Balduccini, Joel Galloway
    Diagnosing Physical Systems in A-Prolog. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:213-225 [Conf]
  36. Michael Gelfond, Halina Przymusinska
    Reasoning on Open Domains. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1993, pp:397-413 [Conf]
  37. Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales
    An Approximation of Action Theories of and Its Application to Conformant Planning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:172-184 [Conf]
  38. Michael Gelfond
    Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    NMR, 1988, pp:176-186 [Conf]
  39. Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
    An A-Prolog Decision Support System for the Space Shuttle. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:169-183 [Conf]
  40. Chitta Baral, Michael Gelfond, Olga Kosheleva
    Approximating General Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:181-198 [Conf]
  41. Michael Gelfond, Alfredo Gabaldon
    From Functional Specifications to Logic Programms. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:355-369 [Conf]
  42. Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz
    Autoepistemic Logic and Introspective Circumscription. [Citation Graph (0, 0)][DBLP]
    TARK, 1994, pp:197-207 [Conf]
  43. Michael Gelfond, Nicola Leone
    Knowledge Representation and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:138, n:1-2, pp:1- [Journal]
  44. Michael Gelfond, Nicola Leone
    Logic programming and knowledge representation - The A-Prolog perspective. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:138, n:1-2, pp:3-38 [Journal]
  45. Michael Gelfond
    Logic Programming and Reasoning with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1994, v:12, n:1-2, pp:89-116 [Journal]
  46. Michael Gelfond, Alfredo Gabaldon
    Building a Knowledge Base: An Example. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:165-199 [Journal]
  47. Marcello Balduccini, Michael Gelfond, Monica Nogueira
    Answer set based design of knowledge systems. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2006, v:47, n:1-2, pp:183-219 [Journal]
  48. Marcello Balduccini, Michael Gelfond
    Diagnostic reasoning with A-Prolog [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  49. Michael Gelfond, Richard Watson
    On Methodology of Representing Knowledge in Dynamic Domains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  50. Michael Gelfond, Vladimir Lifschitz
    Action Languages. [Citation Graph (0, 0)][DBLP]
    Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:193-210 [Journal]
  51. Michael Gelfond, Halina Przymusinska
    On consistency and completeness of autoepistemic theories. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:16, n:1, pp:59-92 [Journal]
  52. Chitta Baral, Michael Gelfond
    Reasoning About Effects of Concurrent Actions. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:31, n:1-3, pp:85-117 [Journal]
  53. Chitta Baral, Michael Gelfond, Olga Kosheleva
    Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:35, n:3, pp:195-230 [Journal]
  54. Michael Gelfond
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:1, pp:1-4 [Journal]
  55. Graciela Gonzalez, Chitta Baral, Michael Gelfond
    Alan: An Action Language For Modelling Non-Markovian Domains. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:79, n:1, pp:115-134 [Journal]
  56. Michael Gelfond, Richard Watson
    On methodology of representing knowledge in dynamic domains. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:87-99 [Journal]
  57. Marcello Balduccini, Michael Gelfond
    Diagnostic reasoning with A-Prolog. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:4-5, pp:425-461 [Journal]

  58. Integrating Answer Set Reasoning with Constraint Solving Techniques. [Citation Graph (, )][DBLP]


  59. Authorization and Obligation Policies in Dynamic Systems. [Citation Graph (, )][DBLP]


  60. Integrating answer set programming and constraint logic programming. [Citation Graph (, )][DBLP]


  61. Probabilistic reasoning with answer sets [Citation Graph (, )][DBLP]


Search in 0.194secs, Finished in 0.196secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002