Michael Gelfond
https://scholar.google.com/citations?user=IcXx2DkAAAAJ
https://zbmath.org/authors/?q=ai:gelfond.michael
https://mathgenealogy.org/id.php?id=79318
https://en.wikipedia.org/wiki/Michael_Gelfond
https://orcid.org/0000-0003-0574-3092
https://www.wikidata.org/entity/Q6830566
https://id.loc.gov/authorities/names/n99254726
Texas Tech University, Lubbock, USA
Michael Gelfond
Jorge Fandinno
Evgenii Balai
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach.
715-729
2023
July
23
Theory Pract. Log. Program.
4
https://doi.org/10.1017/s1471068423000248
db/journals/tplp/tplp23.html#GelfondFB23
Michael Gelfond
Jorge Fandinno
Evgenii Balai
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach.
2023
abs/2306.03874
CoRR
https://doi.org/10.48550/arXiv.2306.03874
db/journals/corr/corr2306.html#abs-2306-03874
Jorge Fandinno
Wolfgang Faber 0001
Michael Gelfond
Thirty years of Epistemic Specifications.
1043-1083
2022
22
Theory Pract. Log. Program.
6
https://doi.org/10.1017/S147106842100048X
db/journals/tplp/tplp22.html#FandinnoFG22
Jorge Fandinno
Wolfgang Faber 0001
Michael Gelfond
Thirty years of Epistemic Specifications.
2021
abs/2108.07669
CoRR
https://arxiv.org/abs/2108.07669
db/journals/corr/corr2108.html#abs-2108-07669
Patrick Kahl
Richard Watson 0003
Evgenii Balai
Michael Gelfond
Yuanlin Zhang 0002
The language of epistemic specifications (refined) including a prototype solver.
953-989
2020
30
J. Log. Comput.
4
https://doi.org/10.1093/logcom/exv065
db/journals/logcom/logcom30.html#KahlWBG020
Michael Gelfond
Evgenii Balai
Causal Analysis of Events Occurring in Trajectories of Dynamic Domains.
2020
ICLP Workshops
https://ceur-ws.org/Vol-2678/paper6.pdf
conf/iclp/2020w
db/conf/iclp/iclp2020w.html#GelfondB20
Marcello Balduccini
Michael Gelfond
Enrico Pontelli
Tran Cao Son
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.
69-78
2020
KR
https://doi.org/10.24963/kr.2020/8
conf/kr/2020
db/conf/kr/kr2020.html#BalducciniGPS20
Michael Gelfond
Yuanlin Zhang 0002
Vicious circle principle, aggregates, and formation of sets in ASP based languages.
28-77
2019
275
Artif. Intell.
https://doi.org/10.1016/j.artint.2019.04.004
db/journals/ai/ai275.html#GelfondZ19
Evgenii Balai
Michael Gelfond
Yuanlin Zhang 0002
P-log: refinement and a new coherency condition.
149-192
2019
86
Ann. Math. Artif. Intell.
1-3
https://doi.org/10.1007/s10472-019-09620-2
db/journals/amai/amai86.html#BalaiGZ19
Mohan Sridharan
Michael Gelfond
Shiqi Zhang 0001
Jeremy L. Wyatt
REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics.
87-180
2019
65
J. Artif. Intell. Res.
https://doi.org/10.1613/jair.1.11524
db/journals/jair/jair65.html#SridharanGZW19
Michael Gelfond
Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective.
2
2019
Datalog
https://ceur-ws.org/Vol-2368/invited2.pdf
conf/datalog/2019
db/conf/datalog/datalog2019.html#Gelfond19
Michael Gelfond
Yuanlin Zhang 0002
Vicious Circle Principle and Logic Programs with Aggregates.
2018
abs/1808.07050
CoRR
http://arxiv.org/abs/1808.07050
db/journals/corr/corr1808.html#abs-1808-07050
Yuliya Lierler
Daniela Inclezan
Michael Gelfond
Action Languages and Question Answering.
2017
IWCS(2)
https://aclanthology.org/W17-6925/
conf/iwcs/2017-2
db/conf/iwcs/iwcs2017-2.html#LierlerIG17
Evgenii Balai
Michael Gelfond
Refining and Generalizing P-log - Preliminary Report.
2017
ASPOCP@LPNMR
https://ceur-ws.org/Vol-1868/p6.pdf
conf/lpnmr/2017aspocp
db/conf/lpnmr/aspocp2017.html#BalaiG17
Michael Gelfond
Yuanlin Zhang 0002
Vicious Circle Principle and Formation of Sets in ASP Based Languages.
146-159
2017
LPNMR
https://doi.org/10.1007/978-3-319-61660-5_14
conf/lpnmr/2017
db/conf/lpnmr/lpnmr2017.html#GelfondZ17
Esra Erdem 0001
Michael Gelfond
Nicola Leone
Applications of Answer Set Programming.
53-68
2016
37
AI Mag.
3
https://doi.org/10.1609/aimag.v37i3.2678
db/journals/aim/aim37.html#ErdemGL16
Daniela Inclezan
Michael Gelfond
Modular action language.
189-235
2016
16
Theory Pract. Log. Program.
2
https://doi.org/10.1017/S1471068415000095
db/journals/tplp/tplp16.html#InclezanG16
Tran Cao Son
Enrico Pontelli
Michael Gelfond
Marcello Balduccini
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
8:1-8:4
2016
ICLP (Technical Communications)
https://doi.org/10.4230/OASIcs.ICLP.2016.8
conf/iclp/2016
db/conf/iclp/iclp2016.html#SonPGB16
Evgenii Balai
Michael Gelfond
On the Relationship between P-log and LPMLN.
915-921
2016
IJCAI
http://www.ijcai.org/Abstract/16/134
conf/ijcai/2016
db/conf/ijcai/ijcai2016.html#BalaiG16
Mohan Sridharan
Michael Gelfond
Using Knowledge Representation and Reasoning Tools in the Design of Robots.
2016
KnowProS@IJCAI
https://ceur-ws.org/Vol-1648/paper12.pdf
conf/ijcai/2016knowpros
db/conf/ijcai/knowpros2016.html#SridharanG16
Tran Cao Son
Enrico Pontelli
Michael Gelfond
Marcello Balduccini
Reasoning about Truthfulness of Agents Using Answer Set Programming.
605-608
2016
KR
http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12896
conf/kr/2016
db/conf/kr/kr2016.html#SonPGB16
Chitta Baral
Tran Cao Son
Michael Gelfond
Arindam Mitra
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication.
376-386
2016
PRIMA
https://doi.org/10.1007/978-3-319-44832-9_25
conf/prima/2016
db/conf/prima/prima2016.html#BaralSGM16
Michael Gelfond
Yuanlin Zhang 0002
Vicious Circle Principle and Formation of Sets in ASP Based Languages.
2016
abs/1608.08262
CoRR
http://arxiv.org/abs/1608.08262
db/journals/corr/corr1608.html#GelfondZ16
Justin Blount
Michael Gelfond
Marcello Balduccini
A Theory of Intentions for Intelligent Agents - (Extended Abstract).
134-142
2015
LPNMR
https://doi.org/10.1007/978-3-319-23264-5_12
conf/lpnmr/2015
db/conf/lpnmr/lpnmr2015.html#BlountGB15
Daniela Inclezan
Michael Gelfond
Modular Action Language ALM.
2015
abs/1505.05022
CoRR
http://arxiv.org/abs/1505.05022
db/journals/corr/corr1505.html#InclezanG15
Mohan Sridharan
Michael Gelfond
Shiqi Zhang 0001
Jeremy L. Wyatt
A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics.
2015
abs/1508.03891
CoRR
http://arxiv.org/abs/1508.03891
db/journals/corr/corr1508.html#SridharanGZW15
Michael Gelfond
Yuanlin Zhang 0002
Vicious Circle Principle and Logic Programs with Aggregates.
587-601
2014
14
Theory Pract. Log. Program.
4-5
https://doi.org/10.1017/S1471068414000222
db/journals/tplp/tplp14.html#GelfondZ14
Justin Lane Blount
Michael Gelfond
Marcello Balduccini
Towards a Theory of Intentional Agents.
2014
AAAI Spring Symposia
http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7681
conf/aaaiss/2014
db/conf/aaaiss/aaaiss2014.html#BlountGB14
Shiqi Zhang 0001
Mohan Sridharan
Michael Gelfond
Jeremy L. Wyatt
Towards an Architecture for Knowledge Representation and Reasoning in Robotics.
400-410
2014
ICSR
https://doi.org/10.1007/978-3-319-11973-1_41
conf/socrob/2014
db/conf/socrob/icsr2014.html#ZhangSGW14
Shiqi Zhang 0001
Mohan Sridharan
Michael Gelfond
Jeremy L. Wyatt
KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics.
2014
abs/1405.0999
CoRR
http://arxiv.org/abs/1405.0999
db/journals/corr/corr1405.html#ZhangSGW14
Michael Gelfond
Yuanlin Zhang 0002
Vicious Circle Principle and Logic Programs with Aggregates.
2014
abs/1405.3637
CoRR
http://arxiv.org/abs/1405.3637
db/journals/corr/corr1405.html#GelfondZ14
Michael Gelfond
Daniela Inclezan
Some properties of system descriptions of ALd.
105-120
2013
23
J. Appl. Non Class. Logics
1-2
https://doi.org/10.1080/11663081.2013.798954
db/journals/jancl/jancl23.html#GelfondI13
Evgenii Balai
Michael Gelfond
Yuanlin Zhang 0002
Towards Answer Set Programming with Sorts.
135-147
2013
LPNMR
https://doi.org/10.1007/978-3-642-40564-8_14
conf/lpnmr/2013
db/conf/lpnmr/lpnmr2013.html#BalaiGZ13
Evgenii Balai
Michael Gelfond
Yuanlin Zhang 0002
SPARC - Sorted ASP with Consistency Restoring Rules
http://arxiv.org/abs/1301.1386
2013
CoRR
abs/1301.1386
db/journals/corr/corr1301.html#abs-1301-1386
Marcello Balduccini
Michael Gelfond
Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
http://arxiv.org/abs/1301.1387
2013
CoRR
abs/1301.1387
db/journals/corr/corr1301.html#abs-1301-1387
Justin Blount
Michael Gelfond
Reasoning about the Intentions of Agents.
147-171
2012
Logic Programs, Norms and Action
https://doi.org/10.1007/978-3-642-29414-3_9
conf/birthday/2012sergot
db/conf/birthday/sergot2012.html#BlountG12
Yana Todorova
Michael Gelfond
Toward Question Answering in Travel Domains.
311-326
2012
Correct Reasoning
https://doi.org/10.1007/978-3-642-30743-0_21
conf/birthday/2012lifschitz
db/conf/birthday/lifschitz2012.html#TodorovaG12
Phan Huy Tu
Tran Cao Son
Michael Gelfond
A. Ricardo Morales
Approximation of action theories and its application to conformant planning.
79-119
2011
175
Artif. Intell.
1
https://doi.org/10.1016/j.artint.2010.04.007
db/journals/ai/ai175.html#TuSGM11
John P. Gallagher
Michael Gelfond
Introduction to the 27th International Conference on Logic Programming Special Issue.
429-432
2011
11
Theory Pract. Log. Program.
4-5
https://doi.org/10.1017/S1471068411000342
db/journals/tplp/tplp11.html#GallagherG11
Daniela Inclezan
Michael Gelfond
Representing Biological Processes in Modular Action Language ALM.
2011
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2407
conf/aaaiss/2011-6
db/conf/aaaiss/aaaiss2011-6.html#InclezanG11
John P. Gallagher
Michael Gelfond
Frontmatter, Table of Contents, Preface, Conference Organization.
2011
ICLP (Technical Communications)
https://doi.org/10.4230/LIPIcs.ICLP.2011.i
conf/iclp/2011
db/conf/iclp/iclp2011.html#GallagherG11
Michael Gelfond
New Semantics for Epistemic Specifications.
260-265
2011
LPNMR
https://doi.org/10.1007/978-3-642-20895-9_29
conf/lpnmr/2011
db/conf/lpnmr/lpnmr2011.html#Gelfond11
Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA
ICLP (Technical Communications)
John P. Gallagher
Michael Gelfond
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
LIPIcs
11
2011
978-3-939897-31-6
db/conf/iclp/iclp2011.html
http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11006
Michael Gelfond
Knowledge Representation Language P-Log - A Short Introduction.
369-383
2010
Datalog
https://doi.org/10.1007/978-3-642-24206-9_21
conf/datalog/2010
db/conf/datalog/datalog2010.html#Gelfond10
Richard B. Scherl
Daniela Inclezan
Michael Gelfond
Automated Inference of Socio-Cultural Information from Natural Language Conversations.
480-487
2010
SocialCom/PASSAT
https://doi.org/10.1109/SocialCom.2010.76
https://doi.ieeecomputersociety.org/10.1109/SocialCom.2010.76
conf/socialcom/2010
db/conf/socialcom/socialcom2010.html#ScherlIG10
Chitta Baral
Michael Gelfond
J. Nelson Rushton
Probabilistic reasoning with answer sets.
57-144
2009
9
Theory Pract. Log. Program.
1
https://doi.org/10.1017/S1471068408003645
db/journals/tplp/tplp9.html#BaralGR09
Veena S. Mellarkod
Michael Gelfond
Yuanlin Zhang 0002
Integrating answer set programming and constraint logic programming.
251-287
2008
53
Ann. Math. Artif. Intell.
1-4
https://doi.org/10.1007/s10472-009-9116-y
db/journals/amai/amai53.html#MellarkodGZ08
Marcello Balduccini
Michael Gelfond
The AAA Architecture: An Overview.
1-6
2008
AAAI Spring Symposium: Emotion, Personality, and Social Behavior
http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-001.php
conf/aaaiss/2008-2
db/conf/aaaiss/aaaiss2008-2.html#BalducciniG08
Veena S. Mellarkod
Michael Gelfond
Integrating Answer Set Reasoning with Constraint Solving Techniques.
15-31
2008
FLOPS
https://doi.org/10.1007/978-3-540-78969-7_4
conf/flops/2008
db/conf/flops/flops2008.html#MellarkodG08
Michael Gelfond
Jorge Lobo 0001
Authorization and Obligation Policies in Dynamic Systems.
22-36
2008
ICLP
https://doi.org/10.1007/978-3-540-89982-2_7
https://www.wikidata.org/entity/Q109585635
conf/iclp/2008
db/conf/iclp/iclp2008.html#GelfondL08
Veena S. Mellarkod
Michael Gelfond
Yuanlin Zhang 0002
Integrating Answer Programming and Constraint Logic Programming.
2008
ISAIM
http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/MGelfond-ss1.pdf
conf/isaim/2008
db/conf/isaim/isaim2008.html#MellarkodGZ08
Michael Gelfond
Answer Sets.
285-316
2008
Handbook of Knowledge Representation
https://doi.org/10.1016/S1574-6526(07)03007-6
reference/fai/3
db/reference/fai/fai3.html#Gelfond08
Chitta Baral
Michael Gelfond
J. Nelson Rushton
Probabilistic reasoning with answer sets
http://arxiv.org/abs/0812.0659
2008
CoRR
abs/0812.0659
db/journals/corr/corr0812.html#abs-0812-0659
Sandeep Chintabathina
Michael Gelfond
Richard Watson 0003
Defeasible Laws, Parallel Actions, and Reasoning about Resources.
35-40
2007
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-007.php
conf/aaaiss/2007-5
db/conf/aaaiss/aaaiss2007-5.html#ChintabathinaGW07
Marcello Balduccini
Michael Gelfond
Monica L. Nogueira
Answer set based design of knowledge systems.
183-219
2006
47
Ann. Math. Artif. Intell.
1-2
https://doi.org/10.1007/s10472-006-9026-1
db/journals/amai/amai47.html#BalducciniGN06
Michael Gelfond
J. Nelson Rushton
Weijun Zhu
Combining Logical and Probabilistic Reasoning.
50-55
2006
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering
http://www.aaai.org/Library/Symposia/Spring/2006/ss06-05-008.php
conf/aaaiss/2006-5
db/conf/aaaiss/aaaiss2006-5.html#GelfondRZ06
Michael Gelfond
Going Places: Notes on a Modular Development of Knowledge about Travel.
56-66
2006
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering
http://www.aaai.org/Library/Symposia/Spring/2006/ss06-05-009.php
conf/aaaiss/2006-5
db/conf/aaaiss/aaaiss2006-5.html#Gelfond06
Graciela Gonzalez 0001
Chitta Baral
Michael Gelfond
Alan: An Action Language For Modelling Non-Markovian Domains.
115-134
2005
79
Stud Logica
1
https://doi.org/10.1007/s11225-005-0498-5
db/journals/sLogica/sLogica79.html#GonzalezBG05
Chitta Baral
Michael Gelfond
Reasoning about Intended Actions.
689-694
2005
conf/aaai/2005
AAAI
db/conf/aaai/aaai2005.html#BaralG05
http://www.aaai.org/Library/AAAI/2005/aaai05-108.php
Tran Cao Son
Phan Huy Tu
Michael Gelfond
A. Ricardo Morales
Conformant Planning for Domains with Constraints-A New Approach.
1211-1216
2005
conf/aaai/2005
AAAI
db/conf/aaai/aaai2005.html#SonTGM05
http://www.aaai.org/Library/AAAI/2005/aaai05-192.php
Chitta Baral
Michael Gelfond
Richard B. Scherl
Answer Set Programming as the Basis for a Homeland Security QAS.
149-150
2005
AAAI Spring Symposium: AI Technologies for Homeland Security
http://www.aaai.org/Library/Symposia/Spring/2005/ss05-01-029.php
conf/aaaiss/2005-1
db/conf/aaaiss/aaaiss2005-1.html#BaralGS05
Sabrina Baselice
Piero A. Bonatti
Michael Gelfond
A Preliminary Report on Integrating of Answer Set and Constraint Solving.
2005
conf/asp/2005
Answer Set Programming
https://ceur-ws.org/Vol-142/page13-p.pdf
db/conf/asp/asp2005.html#BaseliceBG05
Sandeep Chintabathina
Michael Gelfond
Richard Watson 0003
Modeling Hybrid Domains Using Process Description Language.
2005
conf/asp/2005
Answer Set Programming
https://ceur-ws.org/Vol-142/page303.pdf
db/conf/asp/asp2005.html#ChintabathinaGW05
Sabrina Baselice
Piero A. Bonatti
Michael Gelfond
Towards an Integration of Answer Set and Constraint Solving.
52-66
2005
conf/iclp/2005
ICLP
https://doi.org/10.1007/11562931_7
db/conf/iclp/iclp2005.html#BaseliceBG05
Tran Cao Son
Phan Huy Tu
Michael Gelfond
A. Ricardo Morales
An Approximation of Action Theories of and Its Application to Conformant Planning.
172-184
2005
conf/lpnmr/2005
LPNMR
https://doi.org/10.1007/11546207_14
db/conf/lpnmr/lpnmr2005.html#SonTGM05
Chitta Baral
Michael Gelfond
Logic Programming and Reasoning about Actions.
389-426
2005
Handbook of Temporal Reasoning in Artificial Intelligence
https://doi.org/10.1016/S1574-6526(05)80015-X
reference/fai/1
db/reference/fai/fai1.html#BaralG05
Michael Gelfond
Answer Set Programming and the Design of Deliberative Agents.
19-26
https://doi.org/10.1007/978-3-540-27775-0_2
2004
conf/iclp/2004
ICLP
db/conf/iclp/iclp2004.html#Gelfond04
Chitta Baral
Michael Gelfond
J. Nelson Rushton
Probabilistic Reasoning With Answer Sets.
21-33
https://doi.org/10.1007/978-3-540-24609-1_5
2004
conf/lpnmr/2004
LPNMR
db/conf/lpnmr/lpnmr2004.html#BaralGR04
Marcello Balduccini
Michael Gelfond
Diagnostic reasoning with A-Prolog.
425-461
2003
3
Theory Pract. Log. Program.
4-5
db/journals/tplp/tplp3.html#BalducciniG03
https://doi.org/10.1017/S1471068403001807
Marcello Balduccini
Michael Gelfond
Diagnostic reasoning with A-Prolog
http://arxiv.org/abs/cs/0312040
2003
CoRR
cs.AI/0312040
db/journals/corr/corr0312.html#cs-AI-0312040
Michael Gelfond
Nicola Leone
Knowledge Representation and Logic Programming.
1
2002
138
Artif. Intell.
1-2
db/journals/ai/ai138.html#GelfondL02
https://doi.org/10.1016/S0004-3702(02)00206-0
Michael Gelfond
Nicola Leone
Logic programming and knowledge representation - The A-Prolog perspective.
3-38
2002
138
Artif. Intell.
1-2
db/journals/ai/ai138.html#GelfondL02a
https://doi.org/10.1016/S0004-3702(02)00207-2
Michael Gelfond
Richard Watson 0003
On methodology of representing knowledge in dynamic domains.
87-99
2002
42
Sci. Comput. Program.
1
db/journals/scp/scp42.html#GelfondW02
https://doi.org/10.1016/S0167-6423(01)00030-2
Michael Gelfond
Representing Knowledge in A-Prolog.
413-451
2002
conf/birthday/2002kowalski2
Computational Logic: Logic Programming and Beyond
https://doi.org/10.1007/3-540-45632-5_16
db/conf/birthday/kowalski2002-2.html#Gelfond02
Michael Gelfond
The USA-Advisor: A Case Study in Answer Set Programming.
566-568
2002
conf/jelia/2002
JELIA
https://doi.org/10.1007/3-540-45757-7_55
db/conf/jelia/jelia2002.html#Gelfond02
Michael Gelfond
Joel Galloway
Diagnosing Dynamic Systems in A Prolog.
2001
conf/asp/2001
Answer Set Programming
http://www.cs.nmsu.edu/~tson/ASP2001/9.ps
db/conf/asp/asp2001.html#GelfondG01
Monica L. Nogueira
Marcello Balduccini
Michael Gelfond
Richard Watson 0003
Matthew Barry
An A Prolog decision support system for the Space Shuttle.
2001
conf/asp/2001
Answer Set Programming
http://www.cs.nmsu.edu/~tson/ASP2001/10.ps
db/conf/asp/asp2001.html#NogueiraBGWB01
Michael Gelfond
Marcello Balduccini
Joel Galloway
Diagnosing Physical Systems in A-Prolog.
213-225
2001
conf/lpnmr/2001
LPNMR
https://doi.org/10.1007/3-540-45402-0_16
db/conf/lpnmr/lpnmr2001.html#GelfondBG01
Marcello Balduccini
Michael Gelfond
Richard Watson 0003
Monica L. Nogueira
The USA-Advisor: A Case Study in Answer Set Planning.
439-442
2001
conf/lpnmr/2001
LPNMR
https://doi.org/10.1007/3-540-45402-0_39
db/conf/lpnmr/lpnmr2001.html#BalducciniGWN01
Monica L. Nogueira
Marcello Balduccini
Michael Gelfond
Richard Watson 0003
Matthew Barry
An A-Prolog Decision Support System for the Space Shuttle.
169-183
2001
conf/padl/2001
PADL
https://doi.org/10.1007/3-540-45241-9_12
db/conf/padl/padl2001.html#NogueiraBGWB01
Michael Gelfond
Alfredo Gabaldon
Building a Knowledge Base: An Example.
165-199
1999
25
Ann. Math. Artif. Intell.
3-4
db/journals/amai/amai25.html#GelfondG99
https://doi.org/10.1023/A:1018938324292
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
LPNMR
Lecture Notes in Computer Science
1730
Springer
1999
3-540-66749-0
https://doi.org/10.1007/3-540-46767-X
db/conf/lpnmr/lpnmr99.html
Michael Gelfond
Vladimir Lifschitz
Action Languages.
193-210
1998
2
Electron. Trans. Artif. Intell.
http://www.ep.liu.se/ej/etai/1998/007/
db/journals/etai/etai2.html#GelfondL98
Chitta Baral
Michael Gelfond
Olga Kosheleva
Expanding Queries to Incomplete Databases by Interpolating General Logic Programs.
195-230
1998
35
J. Log. Program.
3
db/journals/jlp/jlp35.html#BaralGK98
https://doi.org/10.1016/S0743-1066(97)10011-5
Michael Gelfond
Richard Watson 0003
On Methodology of Representing Knowledge in Dynamic Domains.
1998
conf/monterey/1998
Monterey Workshop
https://doi.org/10.1016/S1571-0661(04)00137-9
db/journals/entcs/entcs25.html#GelfondW99
121-132
Chitta Baral
Michael Gelfond
Reasoning About Effects of Concurrent Actions.
85-117
1997
31
J. Log. Program.
1-3
db/journals/jlp/jlp31.html#BaralG97
https://doi.org/10.1016/S0743-1066(96)00140-9
Chitta Baral
Michael Gelfond
Alessandro Provetti
Representing Actions: Laws, Observations and Hypotheses.
201-243
1997
31
J. Log. Program.
1-3
db/journals/jlp/jlp31.html#BaralGP97
https://doi.org/10.1016/S0743-1066(96)00141-0
https://www.wikidata.org/entity/Q58946692
Michael Gelfond
Tran Cao Son
Reasoning with Prioritized Defaults.
164-223
https://doi.org/10.1007/BFb0054795
1997
conf/lpkr/1997
LPKR
db/conf/lpkr/lpkr97.html#GelfondS97
Michael Gelfond
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming.
222-223
1997
conf/lpnmr/1997
LPNMR
db/conf/lpnmr/lpnmr97.html#Gelfond97
https://doi.org/10.1007/3-540-63255-7_17
Michael Gelfond
Alfredo Gabaldon
From Functional Specifications to Logic Programms.
355-369
1997
conf/slp/1997
ILPS
db/conf/slp/slp97.html#GelfondG97
Michael Gelfond
Halina Przymusinska
Towards a Theory of Elaboration Tolerance: Logic Programming Approach.
89-112
1996
6
Int. J. Softw. Eng. Knowl. Eng.
1
https://doi.org/10.1142/S0218194096000053
db/journals/ijseke/ijseke6.html#GelfondP96
Michael Gelfond
Logic Programming and Reasoning with Incomplete Information.
89-116
1994
12
Ann. Math. Artif. Intell.
1-2
db/journals/amai/amai12.html#Gelfond94
https://doi.org/10.1007/BF01530762
Chitta Baral
Michael Gelfond
Logic Programming and Knowledge Representation.
73-148
1994
19/20
J. Log. Program.
db/journals/jlp/jlp19.html#BaralG94
https://doi.org/10.1016/0743-1066(94)90025-6
https://www.wikidata.org/entity/Q56050613
Bonnie Traylor
Michael Gelfond
Representing Null Values in Logic Programming.
341-352
1994
conf/lfcs/1994
LFCS
db/conf/lfcs/lfcs1994.html#TraylorG94
https://doi.org/10.1007/3-540-58140-5_32
Michael Gelfond
Vladimir Lifschitz
Halina Przymusinska
Grigori Schwarz
Autoepistemic Logic and Introspective Circumscription.
197-207
1994
conf/tark/1994
TARK
db/conf/tark/tark1994.html#GelfondLPS94
Michael Gelfond
Vladimir Lifschitz
Representing Action and Change by Logic Programs.
301-321
1993
17
J. Log. Program.
2/3&4
db/journals/jlp/jlp17.html#GelfondL93
https://doi.org/10.1016/0743-1066(93)90035-F
https://www.wikidata.org/entity/Q56048229
Chitta Baral
Michael Gelfond
Representing Concurrent Actions in Extended Logic Programming.
866-873
1993
conf/ijcai/1993
IJCAI
db/conf/ijcai/ijcai93.html#BaralG93
http://ijcai.org/Proceedings/93-2/Papers/005.pdf
Michael Gelfond
Halina Przymusinska
Reasoning on Open Domains.
397-413
1993
conf/lpnmr/1993
LPNMR
db/conf/lpnmr/lpnmr93.html#GelfondP93
Chitta Baral
Michael Gelfond
Olga Kosheleva
Approximating General Logic Programs.
181-198
1993
conf/slp/1993
ILPS
db/conf/slp/slp93.html#BaralGK93
Michael Gelfond
Halina Przymusinska
On consistency and completeness of autoepistemic theories.
59-92
1992
16
Fundam. Informaticae
1
db/journals/fuin/fuin16.html#GelfondP92
Michael Gelfond
Editorial.
1-4
1992
2
J. Log. Comput.
1
db/journals/logcom/logcom2.html#Gelfond92
https://doi.org/10.1093/logcom/2.1.1
Michael Gelfond
Vladimir Lifschitz
Representing Actions in Extended Logic Programming.
559-573
1992
conf/iclp/1992
JICSLP
db/conf/iclp/iclp92.html#GelfondL92
Michael Gelfond
Vladimir Lifschitz
Classical Negation in Logic Programs and Disjunctive Databases.
365-386
1991
9
New Gener. Comput.
3/4
db/journals/ngc/ngc9.html#GelfondL91
https://doi.org/10.1007/BF03037169
Michael Gelfond
Strong Introspection.
386-391
1991
conf/aaai/1991-1
AAAI
db/conf/aaai/aaai91-1.html#Gelfond91
http://www.aaai.org/Library/AAAI/1991/aaai91-060.php
Michael Gelfond
Vladimir Lifschitz
Arkady Rabinov
What are the Limitations of the Situation Calculus?
167-180
1991
conf/birthday/1991bledsoe
Automated Reasoning: Essays in Honor of Woody Bledsoe
db/conf/birthday/bledsoe1991.html#GelfondLR91
Michael Gelfond
Halina Przymusinska
Vladimir Lifschitz
Miroslaw Truszczynski
Disjective Defaults.
230-237
1991
conf/kr/1991
KR
db/conf/kr/kr91.html#GelfondPLT91
Michael Gelfond
Halina Przymusinska
Definitions in Epistemic Specifications.
245-259
1991
conf/lpnmr/1991
LPNMR
db/conf/lpnmr/lpnmr91.html#GelfondP91
Michael Gelfond
Halina Przymusinska
Teodor C. Przymusinski
On the relationship between CWA, minimal model, and minimal herbrand model semantics.
549-564
1990
5
Int. J. Intell. Syst.
5
https://doi.org/10.1002/int.4550050507
db/journals/ijis/ijis5.html#GelfondPP90
Michael Gelfond
Vladimir Lifschitz
Logic Programs with Classical Negation.
579-597
1990
conf/iclp/1990
ICLP
db/conf/iclp/iclp90.html#GelfondL90
Michael Gelfond
Halina Przymusinska
Teodor C. Przymusinski
On the Relationship Between Circumscription and Negation as Failure.
75-94
1989
38
Artif. Intell.
1
db/journals/ai/ai38.html#GelfondPP89
https://doi.org/10.1016/0004-3702(89)90068-4
Michael Gelfond
Vladimir Lifschitz
Compiling Circumscriptive Theories into Logic Programs.
455-449
1988
conf/aaai/1988
AAAI
db/conf/aaai/aaai88.html#GelfondL88
http://www.aaai.org/Library/AAAI/1988/aaai88-080.php
Michael Gelfond
Vladimir Lifschitz
The Stable Model Semantics for Logic Programming.
1070-1080
1988
conf/iclp/1988
ICLP/SLP
db/conf/iclp/iclp88.html#GelfondL88
Michael Gelfond
Halina Przymusinska
Teodor C. Przymusinski
Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics.
435-443
1988
conf/ismis/1988
ISMIS
db/conf/ismis/ismis88.html#GelfondPP88
Michael Gelfond
Vladimir Lifschitz
Compiling Circumscriptive Theories into Logic Programs.
74-99
1988
conf/nmr/1988
NMR
db/conf/nmr/nmr88.html#GelfondL88
https://doi.org/10.1007/3-540-50701-9_21
Michael Gelfond
Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report.
176-186
1988
conf/nmr/1988
NMR
db/conf/nmr/nmr88.html#Gelfond88
https://doi.org/10.1007/3-540-50701-9_27
Michael Gelfond
On Stratified Autoepistemic Theories.
207-211
1987
conf/aaai/1987
AAAI
db/conf/aaai/aaai87.html#Gelfond87
http://www.aaai.org/Library/AAAI/1987/aaai87-037.php
Michael Gelfond
Halina Przymusinska
Negation as Failure: Careful Closure Procedure.
273-287
1986
30
Artif. Intell.
3
db/journals/ai/ai30.html#GelfondP86
https://doi.org/10.1016/0004-3702(86)90001-9
Michael Gelfond
Halina Przymusinska
On the relationship between autoepistemic logic and parallel circumscription.
256-261
1986
ISMIS
https://doi.org/10.1145/12808.12836
conf/ismis/1986
db/conf/ismis/ismis1986.html#GelfondP86
conf/pods/86
Michael Gelfond
Halina Przymusinska
Teodor C. Przymusinski
The Extended Closed World Assumpution and its Relationship to Parallel Circumscription.
133-139
1986
PODS
db/conf/pods/pods86.html#GelfondPP86
https://doi.org/10.1145/6012.15410
...
...
journals/ai/GelfondP86
conf/ijcai/Imielinski85
conf/ijcai/Lifschitz85
...
journals/ai/McCarthy80
...
journals/jacm/McDermott82
conf/cade/Minker82
...
...
journals/ai/Reiter80
...
journals/jlp/Shepherdson84
journals/jar/YahyaH85
Evgenii Balai
Marcello Balduccini
Chitta Baral
Matthew Barry
Sabrina Baselice
Justin BlountJustin Lane Blount
Piero A. Bonatti
Sandeep Chintabathina
Esra Erdem 0001
Wolfgang Faber 0001
Jorge Fandinno
Alfredo Gabaldon
John P. Gallagher
Joel Galloway
Graciela Gonzalez-HernandezGraciela Gonzalez 0001
Daniela Inclezan
Patrick Kahl
Olga Kosheleva
Nicola Leone
Yuliya Lierler
Vladimir Lifschitz
Jorge Lobo 0001
Veena S. Mellarkod
Arindam Mitra
A. Ricardo Morales
Monica L. Nogueira
Gerald Pfeifer
Enrico Pontelli
Alessandro Provetti
Halina Przymusinska
Teodor C. Przymusinski
Arkady Rabinov
J. Nelson Rushton
Richard B. Scherl
Grigori Schwarz
Tran Cao Son
Mohan Sridharan
Yana Todorova
Bonnie Traylor
Miroslaw Truszczynski
Phan Huy Tu
Richard Watson 0003
Jeremy L. Wyatt
Shiqi Zhang 0001
Yuanlin Zhang 0002
Weijun Zhu