dblp.uni-trier.dewww.uni-trier.de

Michael Gelfond Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Marcello Balduccini [38] [39] [40] [42] [48] [49] [59]
2Chitta Baral [21] [22] [23] [28] [29] [33] [50] [52] [57] [60] [64]
3Matthew Barry [38] [42]
4Sabrina Baselice [54] [56]
5Piero A. Bonatti [54] [56]
6Sandeep Chintabathina [55]
7Alfredo Gabaldon [32] [36]
8Joel Galloway [40] [41]
9Graciela Gonzalez [52]
10Olga Kosheleva [21] [33]
11Nicola Leone [37] [44] [45]
12Vladimir Lifschitz [4] [7] [8] [10] [11] [13] [14] [18] [19] [25] [34]
13Jorge Lobo [62]
14Veena S. Mellarkod [61] [63]
15A. Ricardo Morales [53] [58]
16Monica Nogueira [38] [39] [42] [59]
17Gerald Pfeifer [37]
18Alessandro Provetti [29]
19Halina Przymusinska [1] [2] [6] [9] [12] [13] [17] [20] [25] [27]
20Teodor C. Przymusinski [2] [6] [9]
21Arkady Rabinov [14]
22J. Nelson Rushton [50] [60] [64]
23Grigori Schwarz [25]
24Tran Cao Son [31] [53] [58]
25Bonnie Traylor [26]
26Miroslaw Truszczynski [13]
27Phan Huy Tu [53] [58]
28Richard Watson [35] [38] [39] [42] [43] [55]
29Yuanlin Zhang [61]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)