Michael Gelfond - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Frontmatter, Table of Contents, Preface, Conference OrganizationJohn P. Gallagher, Michael Gelfond. ICLP 2011: [doi]

Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USAJohn P. Gallagher, Michael Gelfond, editors, Volume 11 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011.

Introduction to the 27th International Conference on Logic Programming Special IssueJohn P. Gallagher, Michael Gelfond. tplp, 11(4-5):429-432, 2011. [doi]

New Semantics for Epistemic SpecificationsMichael Gelfond. lpnmr 2011: 260-265 [doi]

Approximation of action theories and its application to conformant planningPhan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales. ai, 175(1):79-119, 2011. [doi]

2010

Automated Inference of Socio-Cultural Information from Natural Language ConversationsRichard Scherl, Daniela Inclezan, Michael Gelfond. socialcom 2010: 480-487 [doi]

2009

Probabilistic reasoning with answer setsChitta Baral, Michael Gelfond, J. Nelson Rushton. tplp, 9(1):57-144, 2009. [doi]

2008

Authorization and Obligation Policies in Dynamic SystemsMichael Gelfond, Jorge Lobo. ICLP 2008: 22-36 [doi]

Integrating Answer Set Reasoning with Constraint Solving TechniquesVeena S. Mellarkod, Michael Gelfond. FLOPS 2008: 15-31 [doi]

Integrating answer set programming and constraint logic programmingVeena S. Mellarkod, Michael Gelfond, Yuanlin Zhang. AMAI, 53(1-4):251-287, 2008. [doi]

2006

Answer set based design of knowledge systemsMarcello Balduccini, Michael Gelfond, Monica Nogueira. AMAI, 47(1-2):183-219, 2006. [doi]

2005

Reasoning about Intended ActionsChitta Baral, Michael Gelfond. AAAI 2005: 689-694

A Preliminary Report on Integrating of Answer Set and Constraint SolvingSabrina Baselice, Piero A. Bonatti, Michael Gelfond. asp 2005: [doi]

Towards an Integration of Answer Set and Constraint SolvingSabrina Baselice, Piero A. Bonatti, Michael Gelfond. ICLP 2005: 52-66 [doi]

Modeling Hybrid Domains Using Process Description LanguageSandeep Chintabathina, Michael Gelfond, Richard Watson. asp 2005: [doi]

Alan: An Action Language For Modelling Non-Markovian DomainsGraciela Gonzalez, Chitta Baral, Michael Gelfond. sLogica, 79(1):115-134, 2005. [doi]

An Approximation of Action Theories of and Its Application to Conformant PlanningTran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales. lpnmr 2005: 172-184 [doi]

Conformant Planning for Domains with Constraints-A New ApproachTran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales. AAAI 2005: 1211-1216

2004

Probabilistic Reasoning With Answer SetsChitta Baral, Michael Gelfond, J. Nelson Rushton. lpnmr 2004: 21-33 [doi]

Answer Set Programming and the Design of Deliberative AgentsMichael Gelfond. ICLP 2004: 19-26 [doi]

2003

Diagnostic reasoning with A-PrologMarcello Balduccini, Michael Gelfond. tplp, 3(4-5):425-461, 2003.

2002

2001

1999

On Methodology of Representing Knowledge in Dynamic DomainsMichael Gelfond, Richard Watson. ENTCS, 25, 1999. [doi]

Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR 99, El Paso, Texas, USA, December 2-4, 1999, ProceedingsMichael Gelfond, Nicola Leone, Gerald Pfeifer, editors, Volume 1730 of Lecture Notes in Computer Science, Springer, 1999.

Building a Knowledge Base: An ExampleMichael Gelfond, Alfredo Gabaldon. AMAI, 25(3-4):165-199, 1999.

1998

Expanding Queries to Incomplete Databases by Interpolating General Logic ProgramsChitta Baral, Michael Gelfond, Olga Kosheleva. jlp, 35(3):195-230, 1998.

Action LanguagesMichael Gelfond, Vladimir Lifschitz. etai, 2:193-210, 1998. [doi]

1997

1996

Towards a Theory of Elaboration Tolerance: Logic Programming ApproachMichael Gelfond, Halina Przymusinska. ijseke, 6(1):89-112, 1996. [doi]

1994

Logic Programming and Knowledge RepresentationChitta Baral, Michael Gelfond. jlp, 19/20:73-148, 1994.

Autoepistemic Logic and Introspective CircumscriptionMichael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz. tark 1994: 197-207

Logic Programming and Reasoning with Incomplete InformationMichael Gelfond. AMAI, 12(1-2):89-116, 1994.

Representing Null Values in Logic ProgrammingBonnie Traylor, Michael Gelfond. lfcs 1994: 341-352

1993

Approximating General Logic ProgramsChitta Baral, Michael Gelfond, Olga Kosheleva. slp 1993: 181-198

Representing Concurrent Actions in Extended Logic ProgrammingChitta Baral, Michael Gelfond. IJCAI 1993: 866-873

Representing Action and Change by Logic ProgramsMichael Gelfond, Vladimir Lifschitz. jlp, 17(2/3&4):301-321, 1993.

Reasoning on Open DomainsMichael Gelfond, Halina Przymusinska. lpnmr 1993: 397-413

1992

EditorialMichael Gelfond. logcom, 2(1):1-4, 1992.

Representing Actions in Extended Logic ProgrammingMichael Gelfond, Vladimir Lifschitz. ICLP 1992: 559-573

On consistency and completeness of autoepistemic theoriesMichael Gelfond, Halina Przymusinska. FUIN, 16(1):59-92, 1992.

1991

1990

Logic Programs with Classical NegationMichael Gelfond, Vladimir Lifschitz. ICLP 1990: 579-597

1989

On the Relationship Between Circumscription and Negation as FailureMichael Gelfond, Halina Przymusinska, Teodor C. Przymusinski. ai, 38(1):75-94, 1989.

1988

1987

On Stratified Autoepistemic TheoriesMichael Gelfond. AAAI 1987: 207-211

1986

Negation as Failure: Careful Closure ProcedureMichael Gelfond, Halina Przymusinska. ai, 30(3):273-287, 1986.

The Extended Closed World Assumpution and its Relationship to Parallel CircumscriptionMichael Gelfond, Halina Przymusinska, Teodor C. Przymusinski. pods 1986: 133-139 [doi]