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

Michael Gelfond (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets. TPLP 9(1): 57-144 (2009)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets CoRR abs/0812.0659: (2008)
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond: Reasoning about Intended Actions. AAAI 2005: 689-694
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, Richard B. Scherl: Answer Set Programming as the Basis for a Homeland Security QAS. AAAI Spring Symposium: AI Technologies for Homeland Security 2005: 149-150
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraciela Gonzalez, Chitta Baral, Michael Gelfond: Alan: An Action Language For Modelling Non-Markovian Domains. Studia Logica 79(1): 115-134 (2005)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic Reasoning With Answer Sets. LPNMR 2004: 21-33
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, Olga Kosheleva: Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. J. Log. Program. 35(3): 195-230 (1998)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, Alessandro Provetti: Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243 (1997)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond: Reasoning About Effects of Concurrent Actions. J. Log. Program. 31(1-3): 85-117 (1997)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond: Logic Programming and Knowledge Representation. J. Log. Program. 19/20: 73-148 (1994)
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond: Representing Concurrent Actions in Extended Logic Programming. IJCAI 1993: 866-873
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, Olga Kosheleva: Approximating General Logic Programs. ILPS 1993: 181-198

Selection of 12 from 80 records - Michael Gelfond has 35 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page